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

Пример #1

Файл: KItemRepresentation.java Проект: edgar-pek/k

 @Override
 default org.kframework.kore.KList klist() {
   if (kLabel() instanceof KLabelInjection) {
     return ((KApply) ((KLabelInjection) kLabel()).term()).klist();
   } else {
     return (KList) KCollection.upKind(kList(), Kind.KLIST);
   }
 }