Uses of Class
ca.mcscert.jpipe.compiler.model.Transformation

Packages that use Transformation

Package	Description
ca.mcscert.jpipe.compiler
ca.mcscert.jpipe.compiler.model
ca.mcscert.jpipe.compiler.steps.checkers
ca.mcscert.jpipe.compiler.steps.transformations

Uses of Transformation in ca.mcscert.jpipe.compiler

Methods in ca.mcscert.jpipe.compiler that return Transformation

Modifier and Type	Method	Description
static Transformation<List<Command>, Unit>	CompilerFactory.unitBuilder()	Full unit builder: extends the parsing chain with model construction, consistency checking, and completeness checking.

Uses of Transformation in ca.mcscert.jpipe.compiler.model

Subclasses of Transformation in ca.mcscert.jpipe.compiler.model

Modifier and Type	Class	Description
class	Checker<I>	An idempotent pipeline step: inspects the value without modifying it.

Methods in ca.mcscert.jpipe.compiler.model that return Transformation

Modifier and Type	Method	Description
final <R> Transformation<I,R>	Transformation.andThen(Transformation<O,R> next)	Compose this transformation with next, producing a new transformation that runs both in sequence.
Transformation<I,O>	ChainBuilder.asTransformation()	Expose the accumulated chain as a plain Transformation, useful when the chain is embedded inside a larger pipeline rather than used standalone.
static <I,O> Transformation<I,O>	Transformation.of(Transformation.Step<I,O> step)	Create a Transformation from a lambda or method reference.

Methods in ca.mcscert.jpipe.compiler.model with parameters of type Transformation

Modifier and Type	Method	Description
<R> ChainBuilder<I,R>	ChainBuilder.andThen(Transformation<O,R> next)	Append a transformation to the end of the current chain.
final <R> ChainBuilder<I,R>	Source.andThen(Transformation<I,R> next)	DSL entry-point: combine this source with the first transformation to start building a compilation chain.
final <R> Transformation<I,R>	Transformation.andThen(Transformation<O,R> next)	Compose this transformation with next, producing a new transformation that runs both in sequence.

Uses of Transformation in ca.mcscert.jpipe.compiler.steps.checkers

Subclasses of Transformation in ca.mcscert.jpipe.compiler.steps.checkers

Modifier and Type	Class	Description
final class	CompletenessChecker	Pipeline step that checks all models in a Unit for structural completeness.
final class	ConsistencyChecker	Pipeline step that checks all models in a Unit for structural consistency.
final class	HaltAndCatchFire<T>	Converts accumulated non-fatal errors into a fatal signal, aborting the pipeline at the next step boundary.

Uses of Transformation in ca.mcscert.jpipe.compiler.steps.transformations

Subclasses of Transformation in ca.mcscert.jpipe.compiler.steps.transformations

Modifier and Type	Class	Description
final class	ActionListInterpretation	Interprets a list of Commands into a Unit by executing them through the ExecutionEngine.
final class	ActionListProvider	Create a list of commands to build a model out of a parse tree.
final class	CharStreamProvider	Delegate to ANTLR the transformation of an input stream into a character-based one.
final class	DiagnosticReport	Produces a human-readable diagnostic report from the compiled Unit and the CompilationContext.
class	ExportToDot	Compilation step that serialises a JustificationModel to Graphviz DOT text.
class	ExportToJpipe	Compilation step that serialises a JustificationModel to .jd source text.
class	ExportToJson	Compilation step that serialises a JustificationModel to JSON text.
class	ExportToPython	Compilation step that serialises a JustificationModel to Python source text.
final class	Lexer	Delegate to ANTLR the task of "lexing" the character stream into relevant tokens.
final class	LoadResolver	Eliminates all LoadResolver.LoadDirectives from the command list by recursively parsing each referenced file and splicing its prefixed commands in place.
final class	Parser	Delegate to ANTLR the transformation of a token stream into a parse tree.
class	RenderWithDot	Compilation step that renders DOT text to a binary image format by invoking the dot command-line tool.
class	SelectModel	Extracts a single JustificationModel from a Unit by name, or auto-selects it when the unit contains exactly one model and no name is given.