コード例 #1
0
 @Override
 public ASTNode visit(org.kframework.kil.FreezerLabel node, Void _void) {
   Term term = (Term) this.visitNode(node.getTerm());
   return new KLabelFreezer(term);
 }
コード例 #2
0
 @Override
 public ASTNode transform(org.kframework.kil.FreezerLabel node) throws TransformerException {
   Term term = (Term) node.getTerm().accept(this);
   return new KLabelFreezer(term);
 }