Java FreezerLabel Examples

Example #1

File: KILtoBackendJavaKILTransformer.java Project: jianqili/k

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

Example #2

File: KILtoBackendJavaKILTransformer.java Project: JoeOsborn/k

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