public override void EnterTypesDef(pddlParser.TypesDefContext ctx) { /* * self.scopes.append(Obj()) */ this.scopes.Push(new Obj()); }
public override void ExitTypesDef(pddlParser.TypesDefContext ctx) { /* * self.typesdef = True * self.scopes.pop() */ this.typesdef = true; this.scopes.Pop(); }