Example #1
0
 private String getType(Node fe) {
   String t = fe.getTextualName();
   String nt = NAME_MAPPINGS.get(t);
   if (nt == null) {
     return t;
   } else {
     return nt;
   }
 }
Example #2
0
 @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;
   }
 }
Example #3
0
 private int findLine(Node fe) {
   return fe.getLine();
 }