private fun visited_class: nullable AClassdef

nitc :: ContractsVisitor :: visited_class

Actual visited class

Property definitions

nitc $ ContractsVisitor :: visited_class 
	# Actual visited class
	var visited_class: nullable AClassdef
src/contracts.nit:98,2--99,38
Nit tools. Version v0.8-3595-g3f58b4f.