public ModelBuilderProto(VCGenerator gen, MathSymbolTable symtab) {
this.symtab = symtab;
this.tr = gen.getModule();
this.g = symtab.getTypeGraph();
this.gen = gen;
this.outputFile = new VCOutputFile(gen.getCompiler());
}
@Override
public void enterModuleDecl(ResolveParser.ModuleDeclContext ctx) {
try {
moduleScope = symtab.getModuleScope(tr.getModuleIdentifier());
} catch (NoSuchModuleException e) { // shouldn't happen, but eh.
gen.getCompiler().errMgr.semanticError(ErrorKind.NO_SUCH_MODULE, Utils.getModuleCtxName(ctx));
}
}