Pegase Code : execution

If((_SE.top()).terminal-operator?) {

operator := _SE.top();

operator.call(initialization_RB);

operator.specialization();

if(!operator.preconditions()) error(..);

operator.execute();

operator.execute-effects();

if(!operator.postconditions()) error(..);

}

Previous slide

Next slide

Back to first slide

View graphic version