nitc :: AModule :: do_weaving_contracts
# Entry point to execute the weaving in order to redirect the calls to the contract sides if it's needed.
fun do_weaving_contracts(toolcontext: ToolContext)
do
var ast_builder = new ASTBuilder(mmodule.as(not null))
var callsite_visitor = new CallSiteVisitor(toolcontext, ast_builder)
callsite_visitor.enter_visit(self)
end
src/contracts.nit:63,2--69,4