Toggle menu
Nitlanguage.org
Nitdoc
nitc
contracts
ContractsVisitor
toolcontext=
private
fun
toolcontext=
(toolcontext:
ToolContext
)
nitc
::
ContractsVisitor
::
toolcontext=
Doc
Linearization
Summary
Instance of the toolcontext
Instance of the toolcontext
Summary
Property definitions
nitc::contracts$ContractsVisitor$toolcontext=
Property definitions
nitc
$
ContractsVisitor
::
toolcontext=
# Instance of the toolcontext
var
toolcontext
:
ToolContext
src/contracts.nit:76,2--77,29