Java KLabel Examples

Example #1

File: TestConfiguration.java Project: 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;
   }
 }

Example #2

File: ConvertDataStructureToLookup.java Project: kframework/k

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

Example #3

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

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