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 virtual void BeforeVisit(UseStatementList node)
{
this.BeforeVisitCatchAll(node);
}
public override void AfterVisit(UseStatementList node)
{
base.AfterVisit(node);
PopAndAssert(node.GetExtension<ScopeExtension>().SymbolTable);
}
public virtual void AfterVisit(UseStatementList node)
{
this.AfterVisitCatchAll(node);
}
public override void BeforeVisit(UseStatementList node)
{
base.BeforeVisit(node);
_scopeStack.Push(node.GetExtension<ScopeExtension>().SymbolTable);
}
