public override void ExitActionDef(pddlParser.ActionDefContext ctx)
{
/*
* action = self.scopes.pop()
* self.operators[action.operator_name] = action
*/
var action = (Operator)this.scopes.Pop();
this.operators.Add(action.operator_name, action);
}
public override void EnterActionDef(pddlParser.ActionDefContext ctx)
{
/*
* opname = ctx.actionSymbol().getText()
* opvars = {}
* self.scopes.append(Operator(opname))
*/
var opname = ctx.actionSymbol().GetText();
this.scopes.Push(new Operator(opname));
}
