private String getType(Node fe) {
String t = fe.getTextualName();
String nt = NAME_MAPPINGS.get(t);
if (nt == null) {
return t;
} else {
return nt;
}
}
@Override
protected void runBody(LWThread thr) {
int i = thr.checkSliceAndPopState(1);
try {
switch (i) {
case 0:
remove(thr.getStack());
i++;
default:
body.run(thr);
}
} catch (Yield y) {
y.getState().push(i, 1);
throw y;
}
}
private int findLine(Node fe) {
return fe.getLine();
}