Java KLabelConstant.getLabel Examples

Example #1

File: CoqLabelUnparser.java Project: kszr/k

 @Override
 public Void visit(KLabelConstant t, Void _) {
     builder.append("#label{\"");
     builder.append(t.getLabel());
     builder.append("\"}");
     return null;
 }

Example #2

File: CoqLabelUnparser.java Project: kszr/k

 public void printLabel(Term t) {
     if (t instanceof Variable) {
         Variable v = (Variable) t;
         builder.append(v.getName());
     } else {
         KLabelConstant l = (KLabelConstant)t;
         builder.append('`');
         builder.append(l.getLabel());
         builder.append('`');
     }
 }