Java FreezerLabelの例

コード例 #1

ファイル: KILtoBackendJavaKILTransformer.java プロジェクト: jianqili/k

 @Override
 public ASTNode visit(org.kframework.kil.FreezerLabel node, Void _void) {
   Term term = (Term) this.visitNode(node.getTerm());
   return new KLabelFreezer(term);
 }

コード例 #2

ファイル: KILtoBackendJavaKILTransformer.java プロジェクト: JoeOsborn/k

 @Override
 public ASTNode transform(org.kframework.kil.FreezerLabel node) throws TransformerException {
   Term term = (Term) node.getTerm().accept(this);
   return new KLabelFreezer(term);
 }