Exemplos de KLabelConstant.getLabel em Java

Exemplo n.º 1

Arquivo: CoqLabelUnparser.java Projeto: kszr/k

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

Exemplo n.º 2

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