internal Module(LoadDirective[] loadStmts, UseStatementList useStmts, DefStatement[] globalDefStmts, Function[] functions)
: base(HappySourceLocation.None, HappySourceLocation.None)
{
ContractUtils.RequiresNotNull(loadStmts, "loadStmts");
ContractUtils.RequiresNotNull(useStmts, "useStmts");
ContractUtils.RequiresNotNull(globalDefStmts, "globalDefStmts");
ContractUtils.RequiresNotNull(functions, "functions");
this.LoadDirectives = loadStmts;
this.UseStatements = useStmts;
this.GlobalDefStatements = globalDefStmts;
this.Functions = functions;
}
public override void Visit(LoadDirective node)
{
var assemblyName = node.AssemblyName;
_expressionStack.Push(node, getLoadAssemblyCall(assemblyName));
base.Visit(node);
}
public virtual void Visit(LoadDirective node)
{
this.BeforeVisitCatchAll(node);
}
