Java Definition.configurationInfo Beispiele

Beispiel #1

Datei: CellCollection.java Projekt: gitter-badger/k-1

 @Override
 public Term unit() {
   org.kframework.kore.KApply kApply = definition.configurationInfo().getUnit(cellSort);
   return new KItem(
       KLabelConstant.of(kApply.klabel().name(), definition), KList.EMPTY, sort(), true);
 }

Beispiel #2

Datei: CellCollection.java Projekt: gitter-badger/k-1

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