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(); }