@Override public JavaSymbolicObject transform(KItem kItem) { if (kItem.kLabel() instanceof KLabelConstant && ((KLabelConstant) kItem.kLabel()).name().equals(Strategy.strategyCellName())) { return strategyCellPlaceholder; } else { return super.transform(kItem); } } });
.andThen(resolveFreshConstants) .andThen(generatedTopFormat) .andThen(new Strategy(kompileOptions.experimental.heatCoolStrategies).addStrategyCellToRulesTransformer()) .andThen(d -> Strategy.addStrategyRuleToMainModule(def.mainModule().name()).apply(d)) .andThen(ConcretizeCells::transformDefinition) .andThen(subsortKItem)
.andThen(generatedTopFormat) .andThen(AddImplicitComputationCell::transformDefinition) .andThen(new Strategy(kompileOptions.experimental.heatCoolStrategies).addStrategyCellToRulesTransformer()) .andThen(ConcretizeCells::transformDefinition) .andThen(genCoverage)
public scala.collection.Set<K> apply(KApply k) { if (k.klabel().name().equals(Strategy.strategyCellName())) return org.kframework.Collections.Set(k); else return super.apply(k); } }.apply(theNew).head();
.filter(t -> t instanceof KApply && ((KApply) t).klabel().name().contains(Strategy.strategyCellName())) .findFirst(); Term entireConf = constructor.KApply1(((KApply) subject.term()).klabel(), constructor.KList(((KApply) subject.term()).klist().stream().map(k -> k instanceof KApply && ((KApply) k).klabel().name().contains(Strategy.strategyCellName()) ? s : k).collect(Collectors.toList())), emptyAtt); return Optional.of(new ConstrainedTerm(entireConf, subject.termContext()));