Uses of Class
ca.mcscert.jpipe.model.Unit

Packages that use Unit

Package	Description
ca.mcscert.jpipe.commands
ca.mcscert.jpipe.commands.creation
ca.mcscert.jpipe.commands.linking
ca.mcscert.jpipe.compiler
ca.mcscert.jpipe.compiler.steps.checkers
ca.mcscert.jpipe.compiler.steps.transformations
ca.mcscert.jpipe.model.validation
ca.mcscert.jpipe.operators
ca.mcscert.jpipe.visitor

Uses of Unit in ca.mcscert.jpipe.commands

Methods in ca.mcscert.jpipe.commands that return Unit

Modifier and Type	Method	Description
Unit	ExecutionEngine.enrich(Unit context, List<Command> commands)
Unit	CommandExecutionException.partialUnit()	The unit as it was at the moment of failure.
Unit	DeadlockException.partialUnit()	The unit as it was at the moment of deadlock.
Unit	ExecutionEngine.spawn(String source, List<Command> commands)

Methods in ca.mcscert.jpipe.commands that return types with arguments of type Unit

Modifier and Type	Method	Description
default Predicate<Unit>	Command.condition()

Methods in ca.mcscert.jpipe.commands with parameters of type Unit

Modifier and Type	Method	Description
protected abstract void	RegularCommand.doExecute(Unit context)
Unit	ExecutionEngine.enrich(Unit context, List<Command> commands)
void	Command.execute(Unit context)
default void	MacroCommand.execute(Unit context)
final void	RegularCommand.execute(Unit context)
List<Command>	MacroCommand.expand(Unit context)	Expands this macro into a sequence of atomic commands to be executed in order.

Constructors in ca.mcscert.jpipe.commands with parameters of type Unit

Modifier	Constructor	Description
	CommandExecutionException(Command failedCommand, Unit partialUnit, Throwable cause)
	DeadlockException(String message, List<Command> stuckCommands, Unit partialUnit)

Uses of Unit in ca.mcscert.jpipe.commands.creation

Methods in ca.mcscert.jpipe.commands.creation with parameters of type Unit

Modifier and Type	Method	Description
void	CreateAbstractSupport.doExecute(Unit context)
void	CreateConclusion.doExecute(Unit context)
void	CreateEvidence.doExecute(Unit context)
void	CreateJustification.doExecute(Unit context)
void	CreateStrategy.doExecute(Unit context)
void	CreateSubConclusion.doExecute(Unit context)
void	CreateTemplate.doExecute(Unit context)

Uses of Unit in ca.mcscert.jpipe.commands.linking

Methods in ca.mcscert.jpipe.commands.linking that return types with arguments of type Unit

Modifier and Type	Method	Description
Predicate<Unit>	AddElement.condition()
Predicate<Unit>	AddSupport.condition()
Predicate<Unit>	ImplementsTemplate.condition()
Predicate<Unit>	OverrideAbstractSupport.condition()
Predicate<Unit>	RemoveElement.condition()
Predicate<Unit>	RewireStrategySupport.condition()

Methods in ca.mcscert.jpipe.commands.linking with parameters of type Unit

Modifier and Type	Method	Description
protected void	AddElement.doExecute(Unit context)
void	AddSupport.doExecute(Unit context)
void	ImplementsTemplate.doExecute(Unit context)
void	RegisterAlias.doExecute(Unit context)
protected void	RemoveElement.doExecute(Unit context)
protected void	RewireStrategySupport.doExecute(Unit context)
List<Command>	OverrideAbstractSupport.expand(Unit unit)

Uses of Unit in ca.mcscert.jpipe.compiler

Methods in ca.mcscert.jpipe.compiler that return types with arguments of type Unit

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 Unit in ca.mcscert.jpipe.compiler.steps.checkers

Subclasses with type arguments of type Unit 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.

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

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

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

Subclasses with type arguments of type Unit 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	DiagnosticReport	Produces a human-readable diagnostic report from the compiled Unit and the CompilationContext.
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.

Methods in ca.mcscert.jpipe.compiler.steps.transformations that return Unit

Modifier and Type	Method	Description
protected Unit	ActionListInterpretation.run(List<Command> input, CompilationContext ctx)

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

Modifier and Type	Method	Description
protected String	DiagnosticReport.run(Unit input, CompilationContext ctx)
protected JustificationModel<?>	SelectModel.run(Unit unit, CompilationContext ctx)

Uses of Unit in ca.mcscert.jpipe.model.validation

Methods in ca.mcscert.jpipe.model.validation with parameters of type Unit

Modifier and Type	Method	Description
List<Violation>	CompletenessValidator.validate(Unit unit)	Validates all models in the unit.
List<Violation>	ConsistencyValidator.validate(Unit unit)	Validates all models in the unit.

Uses of Unit in ca.mcscert.jpipe.operators

Methods in ca.mcscert.jpipe.operators that return types with arguments of type Unit

Modifier and Type	Method	Description
Predicate<Unit>	ApplyOperator.condition()

Methods in ca.mcscert.jpipe.operators with parameters of type Unit

Modifier and Type	Method	Description
List<Command>	ApplyOperator.expand(Unit context)

Uses of Unit in ca.mcscert.jpipe.visitor

Methods in ca.mcscert.jpipe.visitor with parameters of type Unit

Modifier and Type	Method	Description
String	JpipeExporter.export(Unit unit)	Serialise unit to .jd source text.
final Void	AbstractModelExporter.visit(Unit unit)	Rejects Unit — single-model exporters require a specific model.
Void	JpipeExporter.visit(Unit unit)
R	JustificationVisitor.visit(Unit unit)
R	NoOpJustificationVisitor.visit(Unit unit)