Toggle menu
Nitlanguage.org
Nitdoc
nitc
contracts
ContractsVisitor
_toolcontext
private
var
_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