Uses of Class
ca.mcscert.jpipe.model.Unit
Packages that use Unit
Package
Description
-
Uses of Unit in ca.mcscert.jpipe.commands
Methods in ca.mcscert.jpipe.commands that return UnitModifier and TypeMethodDescriptionCommandExecutionException.partialUnit()The unit as it was at the moment of failure.DeadlockException.partialUnit()The unit as it was at the moment of deadlock.Methods in ca.mcscert.jpipe.commands that return types with arguments of type UnitMethods in ca.mcscert.jpipe.commands with parameters of type UnitModifier and TypeMethodDescriptionprotected abstract voidvoiddefault voidfinal voidExpands this macro into a sequence of atomic commands to be executed in order.Constructors in ca.mcscert.jpipe.commands with parameters of type UnitModifierConstructorDescriptionCommandExecutionException(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 UnitModifier and TypeMethodDescriptionvoidvoidvoidvoidvoidvoidvoid -
Uses of Unit in ca.mcscert.jpipe.commands.linking
Methods in ca.mcscert.jpipe.commands.linking that return types with arguments of type UnitModifier and TypeMethodDescriptionAddElement.condition()AddSupport.condition()ImplementsTemplate.condition()OverrideAbstractSupport.condition()RemoveElement.condition()RewireStrategySupport.condition()Methods in ca.mcscert.jpipe.commands.linking with parameters of type UnitModifier and TypeMethodDescriptionprotected voidvoidvoidvoidprotected voidprotected void -
Uses of Unit in ca.mcscert.jpipe.compiler
Methods in ca.mcscert.jpipe.compiler that return types with arguments of type UnitModifier and TypeMethodDescriptionstatic 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.checkersModifier and TypeClassDescriptionfinal classPipeline step that checks all models in aUnitfor structural completeness.final classPipeline step that checks all models in aUnitfor structural consistency.Methods in ca.mcscert.jpipe.compiler.steps.checkers with parameters of type UnitModifier and TypeMethodDescriptionprotected voidCompletenessChecker.check(Unit unit, CompilationContext ctx) protected voidConsistencyChecker.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.transformationsModifier and TypeClassDescriptionfinal classfinal classProduces a human-readable diagnostic report from the compiledUnitand theCompilationContext.classExtracts a singleJustificationModelfrom aUnitby 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 UnitModifier and TypeMethodDescriptionprotected UnitActionListInterpretation.run(List<Command> input, CompilationContext ctx) Methods in ca.mcscert.jpipe.compiler.steps.transformations with parameters of type UnitModifier and TypeMethodDescriptionprotected StringDiagnosticReport.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 -
Uses of Unit in ca.mcscert.jpipe.operators
Methods in ca.mcscert.jpipe.operators that return types with arguments of type UnitMethods in ca.mcscert.jpipe.operators with parameters of type Unit -
Uses of Unit in ca.mcscert.jpipe.visitor
Methods in ca.mcscert.jpipe.visitor with parameters of type Unit