Java KItem.kListの例

コード例 #1

ファイル: GenerateRHSInstructions.java プロジェクト: kframework/k

 @Override
 public void visit(KItem node) {
   if (node.isGround() && node.isNormal()) {
     rhsSchedule.add(RHSInstruction.PUSH(node));
   } else {
     node.kList().accept(this);
     node.kLabel().accept(this);
     rhsSchedule.add(
         RHSInstruction.CONSTRUCT(
             new Constructor(ConstructorType.KITEM, node.getSource(), node.getLocation())));
     rhsSchedule.add(RHSInstruction.EVAL);
   }
 }

コード例 #2

ファイル: BottomUpVisitor.java プロジェクト: hsingh23/k

 @Override
 public void visit(KItem kItem) {
   kItem.kLabel().accept(this);
   kItem.kList().accept(this);
   visit((Term) kItem);
 }