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