Uses of Class
ca.mcscert.jpipe.model.JustificationModel
Packages that use JustificationModel
Package
Description
-
Uses of JustificationModel in ca.mcscert.jpipe.compiler.steps.transformations
Subclasses with type arguments of type JustificationModel in ca.mcscert.jpipe.compiler.steps.transformationsModifier and TypeClassDescriptionclassCompilation step that serialises aJustificationModelto Graphviz DOT text.classCompilation step that serialises aJustificationModelto.jdsource text.classCompilation step that serialises aJustificationModelto JSON text.classCompilation step that serialises aJustificationModelto Python source text.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 JustificationModelModifier and TypeMethodDescriptionprotected JustificationModel<?> SelectModel.run(Unit unit, CompilationContext ctx) Methods in ca.mcscert.jpipe.compiler.steps.transformations with parameters of type JustificationModelModifier and TypeMethodDescriptionprotected StringExportToDot.run(JustificationModel<?> input, CompilationContext ctx) protected StringExportToJpipe.run(JustificationModel<?> input, CompilationContext ctx) protected StringExportToJson.run(JustificationModel<?> input, CompilationContext ctx) protected StringExportToPython.run(JustificationModel<?> input, CompilationContext ctx) -
Uses of JustificationModel in ca.mcscert.jpipe.model
Subclasses of JustificationModel in ca.mcscert.jpipe.modelModifier and TypeClassDescriptionfinal classA concrete justification model.final classA reusable justification template (pattern).Methods in ca.mcscert.jpipe.model that return JustificationModelMethods in ca.mcscert.jpipe.model that return types with arguments of type JustificationModelMethods in ca.mcscert.jpipe.model with parameters of type JustificationModel -
Uses of JustificationModel in ca.mcscert.jpipe.model.validation
Methods in ca.mcscert.jpipe.model.validation with parameters of type JustificationModelModifier and TypeMethodDescriptionCompletenessValidator.validateModel(JustificationModel<?> model) Validates a single model without location data.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 JustificationModelModifier and TypeMethodDescriptionSourcedElement.source()Returns the value of thesourcerecord component.Methods in ca.mcscert.jpipe.operators with parameters of type JustificationModelModifier and TypeMethodDescriptionModelReplicator.replicate(String targetModelName, JustificationModel<?> source, String prefix) Returns commands that replicatesourceintotargetModelNamewith element ids qualified byprefix.Method parameters in ca.mcscert.jpipe.operators with type arguments of type JustificationModelModifier and TypeMethodDescriptionCompositionOperator.additionalCommands(String resultName, List<JustificationModel<?>> sources, AliasRegistry aliases, Map<String, String> args) Returns additional commands to append after Phase 2 edge reconstruction.CompositionOperator.apply(String resultName, List<JustificationModel<?>> sources, Map<String, String> arguments) Applies this operator tosourcesand returns the complete list of commands needed to build the result model namedresultName.CompositionOperator.apply(String resultName, List<JustificationModel<?>> sources, Map<String, String> arguments, SourceLocation location) Applies this operator tosourcesand returns the complete list of commands needed to build the result model namedresultName.CompositionOperator.apply(String resultName, List<JustificationModel<?>> sources, Map<String, String> arguments, SourceLocation location, Map<String, SourceLocation> knownLocations) Applies this operator tosourcesand returns the complete list of commands needed to build the result model namedresultName.protected abstract CommandCompositionOperator.createResultModel(String name, SourceLocation location, List<JustificationModel<?>> sources, Map<String, String> arguments) Returns the command that creates the result model (typicallyCreateJustificationorCreateTemplate).protected abstract EquivalenceRelationCompositionOperator.equivalenceRelation(List<JustificationModel<?>> sources, Map<String, String> arguments) Returns the equivalence relation to use for partitioning elements fromsourcesandarguments.protected abstract MergeFunctionCompositionOperator.mergeFunction(List<JustificationModel<?>> sources, Map<String, String> arguments) Returns the merge function to use for creating result elements fromsourcesandarguments.CompositionOperator.resultKind(List<JustificationModel<?>> sources, Map<String, String> args) Constructors in ca.mcscert.jpipe.operators with parameters of type JustificationModelModifierConstructorDescriptionSourcedElement(JustificationElement element, JustificationModel<?> source, SourceLocation location) Creates an instance of aSourcedElementrecord class. -
Uses of JustificationModel in ca.mcscert.jpipe.operators.builtin
Method parameters in ca.mcscert.jpipe.operators.builtin with type arguments of type JustificationModelModifier and TypeMethodDescriptionAssembleOperator.additionalCommands(String resultName, List<JustificationModel<?>> sources, AliasRegistry aliases, Map<String, String> args) protected CommandAssembleOperator.createResultModel(String name, SourceLocation location, List<JustificationModel<?>> sources, Map<String, String> arguments) protected CommandRefineOperator.createResultModel(String name, SourceLocation location, List<JustificationModel<?>> sources, Map<String, String> arguments) protected EquivalenceRelationAssembleOperator.equivalenceRelation(List<JustificationModel<?>> sources, Map<String, String> arguments) protected EquivalenceRelationRefineOperator.equivalenceRelation(List<JustificationModel<?>> sources, Map<String, String> arguments) protected MergeFunctionAssembleOperator.mergeFunction(List<JustificationModel<?>> sources, Map<String, String> arguments) protected MergeFunctionRefineOperator.mergeFunction(List<JustificationModel<?>> sources, Map<String, String> arguments) 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 JustificationModelModifier and TypeMethodDescriptionDotExporter.export(JustificationModel<?> model) Serialisemodelto DOT text.JpipeExporter.export(JustificationModel<?> model) Serialise a singlemodelto.jdsource text.JsonExporter.export(JustificationModel<?> model) Serialisemodelto JSON text.PythonExporter.export(JustificationModel<?> model) Serialisemodelto Python source text without a file header.PythonExporter.export(JustificationModel<?> model, String sourcePath) Serialisemodelto Python source text, optionally prefixed with a generated-file header comment.protected abstract voidAbstractModelExporter.exportModel(JustificationModel<?> model) Performs the actual serialisation ofmodel.protected voidDotExporter.exportModel(JustificationModel<?> model) protected voidJsonExporter.exportModel(JustificationModel<?> model) protected voidPythonExporter.exportModel(JustificationModel<?> model)