private fun visited_class=(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:102,2--103,38
Nit tools. Version .