How to use

fromRuleBodyTransformerWithRule

method

in

org.kframework.definition.DefinitionTransformer

DefinitionTransformer subsortKItem = DefinitionTransformer.from(Kompile::subsortKItem, "subsort all sorts to KItem");
GenerateCoverage cov = new GenerateCoverage(kompileOptions.coverage, files);
DefinitionTransformer genCoverage = DefinitionTransformer.fromRuleBodyTransformerWithRule(cov::gen, "generate coverage instrumentation");
DefinitionTransformer numberSentences = DefinitionTransformer.fromSentenceTransformer(new NumberSentences()::number, "number sentences uniquely");
Function1<Definition, Definition> resolveIO = (d -> Kompile.resolveIOStreams(kem, d));