Java KLabel примеры использования

Пример #1

Файл: TestConfiguration.java Проект: gitter-badger/k-1

 @Override
 public Sort getCellSort(KLabel kLabel) {
   if (kLabel != null) {
     return cellLabels
         .entrySet()
         .stream()
         .filter(e -> kLabel.equals(e.getValue()))
         .map(Map.Entry::getKey)
         .findAny()
         .orElseGet(null);
   } else {
     return null;
   }
 }

Пример #2

Файл: ConvertDataStructureToLookup.java Проект: kframework/k

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

Пример #3

Файл: CellCollection.java Проект: gitter-badger/k-1

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