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

Packages that use JustificationModel

Package	Description
ca.mcscert.jpipe.compiler.steps.transformations
ca.mcscert.jpipe.model
ca.mcscert.jpipe.model.validation
ca.mcscert.jpipe.operators
ca.mcscert.jpipe.operators.builtin
ca.mcscert.jpipe.visitor

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

Subclasses with type arguments of type JustificationModel in ca.mcscert.jpipe.compiler.steps.transformations

Modifier and Type	Class	Description
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.
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 JustificationModel

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

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

Modifier and Type	Method	Description
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)

Uses of JustificationModel in ca.mcscert.jpipe.model

Subclasses of JustificationModel in ca.mcscert.jpipe.model

Modifier and Type	Class	Description
final class	Justification	A concrete justification model.
final class	Template	A reusable justification template (pattern).

Methods in ca.mcscert.jpipe.model that return JustificationModel

Modifier and Type	Method	Description
JustificationModel<?>	Unit.get(String name)

Methods in ca.mcscert.jpipe.model that return types with arguments of type JustificationModel

Modifier and Type	Method	Description
Optional<JustificationModel<?>>	Unit.findModel(String name)
Collection<JustificationModel<?>>	Unit.getModels()

Methods in ca.mcscert.jpipe.model with parameters of type JustificationModel

Modifier and Type	Method	Description
void	Unit.add(JustificationModel<?> model)

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

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

Modifier and Type	Method	Description
List<Violation>	CompletenessValidator.validateModel(JustificationModel<?> model)	Validates a single model without location data.
List<Violation>	ConsistencyValidator.validateModel(JustificationModel<?> model)	Validates a single model without location data.

Uses of JustificationModel in ca.mcscert.jpipe.operators

Methods in ca.mcscert.jpipe.operators that return JustificationModel

Modifier and Type	Method	Description
JustificationModel<?>	SourcedElement.source()	Returns the value of the source record component.

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

Modifier and Type	Method	Description
static List<Command>	ModelReplicator.replicate(String targetModelName, JustificationModel<?> source, String prefix)	Returns commands that replicate source into targetModelName with element ids qualified by prefix.

Method parameters in ca.mcscert.jpipe.operators with type arguments of type JustificationModel

Modifier and Type	Method	Description
protected List<Command>	CompositionOperator.additionalCommands(String resultName, List<JustificationModel<?>> sources, AliasRegistry aliases, Map<String,String> args)	Returns additional commands to append after Phase 2 edge reconstruction.
final List<Command>	CompositionOperator.apply(String resultName, List<JustificationModel<?>> sources, Map<String,String> arguments)	Applies this operator to sources and returns the complete list of commands needed to build the result model named resultName.
final List<Command>	CompositionOperator.apply(String resultName, List<JustificationModel<?>> sources, Map<String,String> arguments, SourceLocation location)	Applies this operator to sources and returns the complete list of commands needed to build the result model named resultName.
final List<Command>	CompositionOperator.apply(String resultName, List<JustificationModel<?>> sources, Map<String,String> arguments, SourceLocation location, Map<String, SourceLocation> knownLocations)	Applies this operator to sources and returns the complete list of commands needed to build the result model named resultName.
protected abstract Command	CompositionOperator.createResultModel(String name, SourceLocation location, List<JustificationModel<?>> sources, Map<String,String> arguments)	Returns the command that creates the result model (typically CreateJustification or CreateTemplate).
protected abstract EquivalenceRelation	CompositionOperator.equivalenceRelation(List<JustificationModel<?>> sources, Map<String,String> arguments)	Returns the equivalence relation to use for partitioning elements from sources and arguments.
protected abstract MergeFunction	CompositionOperator.mergeFunction(List<JustificationModel<?>> sources, Map<String,String> arguments)	Returns the merge function to use for creating result elements from sources and arguments.
ModelKind	CompositionOperator.resultKind(List<JustificationModel<?>> sources, Map<String,String> args)	Returns the ModelKind of the model produced by this operator for the given sources and args.

Constructors in ca.mcscert.jpipe.operators with parameters of type JustificationModel

Modifier	Constructor	Description
	SourcedElement(JustificationElement element, JustificationModel<?> source, SourceLocation location)	Creates an instance of a SourcedElement record class.

Uses of JustificationModel in ca.mcscert.jpipe.operators.builtin

Method parameters in ca.mcscert.jpipe.operators.builtin with type arguments of type JustificationModel

Modifier and Type	Method	Description
protected List<Command>	AssembleOperator.additionalCommands(String resultName, List<JustificationModel<?>> sources, AliasRegistry aliases, Map<String,String> args)
protected Command	AssembleOperator.createResultModel(String name, SourceLocation location, List<JustificationModel<?>> sources, Map<String,String> arguments)
protected Command	RefineOperator.createResultModel(String name, SourceLocation location, List<JustificationModel<?>> sources, Map<String,String> arguments)
protected EquivalenceRelation	AssembleOperator.equivalenceRelation(List<JustificationModel<?>> sources, Map<String,String> arguments)
protected EquivalenceRelation	RefineOperator.equivalenceRelation(List<JustificationModel<?>> sources, Map<String,String> arguments)
protected MergeFunction	AssembleOperator.mergeFunction(List<JustificationModel<?>> sources, Map<String,String> arguments)
protected MergeFunction	RefineOperator.mergeFunction(List<JustificationModel<?>> sources, Map<String,String> arguments)
ModelKind	AssembleOperator.resultKind(List<JustificationModel<?>> sources, Map<String,String> args)

Uses of JustificationModel in ca.mcscert.jpipe.visitor

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

Modifier and Type	Method	Description
String	DotExporter.export(JustificationModel<?> model)	Serialise model to DOT text.
String	JpipeExporter.export(JustificationModel<?> model)	Serialise a single model to .jd source text.
String	JsonExporter.export(JustificationModel<?> model)	Serialise model to JSON text.
String	PythonExporter.export(JustificationModel<?> model)	Serialise model to Python source text without a file header.
String	PythonExporter.export(JustificationModel<?> model, String sourcePath)	Serialise model to Python source text, optionally prefixed with a generated-file header comment.
protected abstract void	AbstractModelExporter.exportModel(JustificationModel<?> model)	Performs the actual serialisation of model.
protected void	DotExporter.exportModel(JustificationModel<?> model)
protected void	JsonExporter.exportModel(JustificationModel<?> model)
protected void	PythonExporter.exportModel(JustificationModel<?> model)