Java KLabelInjection Examples

Example #1

File: GenerateRHSInstructions.java Project: kframework/k

 @Override
 public void visit(KLabelInjection node) {
   if (node.isGround() && node.isNormal()) {
     rhsSchedule.add(RHSInstruction.PUSH(node));
   } else {
     node.term().accept(this);
     rhsSchedule.add(RHSInstruction.CONSTRUCT(new Constructor(ConstructorType.KLABEL_INJECTION)));
   }
 }

Example #2

File: BottomUpVisitor.java Project: hsingh23/k

 @Override
 public void visit(KLabelInjection kLabelInjection) {
   kLabelInjection.term().accept(this);
   visit((KLabel) kLabelInjection);
 }