Toggle menu
Nitlanguage.org
Nitdoc
nitc
contracts
CallSiteVisitor
toolcontext
private
fun
toolcontext
:
ToolContext
nitc
::
CallSiteVisitor
::
toolcontext
Doc
Linearization
Summary
Instance of the toolcontext
Instance of the toolcontext
Summary
Property definitions
nitc::contracts$CallSiteVisitor$toolcontext
Property definitions
nitc
$
CallSiteVisitor
::
toolcontext
# Instance of the toolcontext
var
toolcontext
:
ToolContext
src/contracts.nit:222,2--223,29