// extension of the visitor that contains gui-specific code
class enterGspec {
public void processOptid( ) {
if (opt.equals("eqn")) {
currentVar.eqn = true;
foundOpt = true;
}
if (opt.equals("reverse")) {
currentVar.reverse = true;
foundOpt = true;
}
original();
}
public void processStrlit() {
if (opt.equals("out")) {
currentVar.out = optVal.substring(1,optVal.length()-1);
foundOpt = true;
return;
}
original();
}
}