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

Packages that use CompilationContext

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

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

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

Modifier and Type	Method	Description
void	Checker.Check.apply(I input, CompilationContext ctx)
O	Transformation.Step.apply(I input, CompilationContext ctx)
protected abstract void	Checker.check(I input, CompilationContext ctx)	Perform the check.
final O	Transformation.fire(I in, CompilationContext ctx)	Public entry-point: runs this step with logging and error handling.
protected final I	Checker.run(I input, CompilationContext ctx)
protected abstract O	Transformation.run(I input, CompilationContext ctx)	Business logic of this step.

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

Methods in ca.mcscert.jpipe.compiler.steps.checkers with parameters of type CompilationContext

Modifier and Type	Method	Description
protected void	CompletenessChecker.check(Unit unit, CompilationContext ctx)
protected void	ConsistencyChecker.check(Unit unit, CompilationContext ctx)
protected void	HaltAndCatchFire.check(T input, CompilationContext ctx)

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

Methods in ca.mcscert.jpipe.compiler.steps.transformations with parameters of type CompilationContext

Modifier and Type	Method	Description
protected Unit	ActionListInterpretation.run(List<Command> input, CompilationContext ctx)
protected List<Command>	ActionListProvider.run(org.antlr.v4.runtime.tree.ParseTree input, CompilationContext ctx)
protected org.antlr.v4.runtime.CharStream	CharStreamProvider.run(InputStream input, CompilationContext ctx)
protected String	DiagnosticReport.run(Unit input, CompilationContext ctx)
protected String	ExportToDot.run(JustificationModel<?> input, CompilationContext ctx)
protected String	ExportToJpipe.run(JustificationModel<?> input, CompilationContext ctx)
protected String	ExportToJson.run(JustificationModel<?> input, CompilationContext ctx)
protected String	ExportToPython.run(JustificationModel<?> input, CompilationContext ctx)
protected org.antlr.v4.runtime.CommonTokenStream	Lexer.run(org.antlr.v4.runtime.CharStream input, CompilationContext ctx)
protected List<Command>	LoadResolver.run(List<Command> commands, CompilationContext ctx)
protected org.antlr.v4.runtime.tree.ParseTree	Parser.run(org.antlr.v4.runtime.CommonTokenStream tokens, CompilationContext ctx)
protected byte[]	RenderWithDot.run(String dotSource, CompilationContext ctx)
protected JustificationModel<?>	SelectModel.run(Unit unit, CompilationContext ctx)