Ejemplos de KLabelConstant.getLabel en Java

Ejemplo n.º 1

Archivo: CoqLabelUnparser.java Proyecto: kszr/k

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

Ejemplo n.º 2

Archivo: CoqLabelUnparser.java Proyecto: 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('`');
     }
 }