Entry point to execute the weaving in order to redirect the calls to the contract sides if it's needed.

Property definitions

nitc :: contracts $ 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