Esempi in Java per KLabel.name

Esempio n. 1

File: ConvertDataStructureToLookup.java Progetto: kframework/k

 public static boolean isLookupKLabel(KLabel k) {
   return k.name().equals("#match")
       || k.name().equals("#mapChoice")
       || k.name().equals("#setChoice");
 }

Esempio n. 2

File: CellCollection.java Progetto: gitter-badger/k-1

 @Override
 public KLabel constructorLabel() {
   org.kframework.kore.KLabel kLabel = definition.configurationInfo().getConcat(cellSort);
   return KLabelConstant.of(kLabel.name(), definition);
 }