Class AssembleOperator

java.lang.Object

ca.mcscert.jpipe.operators.CompositionOperator

ca.mcscert.jpipe.operators.builtin.AssembleOperator

public final class AssembleOperator
extends CompositionOperator

Built-in assemble composition operator.

Syntax:

justification assembled is assemble(a, b, c) {
    conclusionLabel: "A global conclusion"
    strategyLabel:   "An aggregating strategy"
}

Semantics: each source model's conclusion is demoted to a SubConclusion (preserving its label and source-prefixed id). All demoted sub-conclusions feed a newly created Strategy (id "assembleStrategy"), which in turn supports a newly created Conclusion (id "assembleConclusion"). All other elements are copied with sourceName:elementId prefixed ids.

If any source is a Template, the result model is also a Template; otherwise it is a Justification.

Field Summary

Fields

Modifier and Type	Field	Description
static final String	CONCLUSION_ID	Id of the synthesized global conclusion in the result model.
static final String	STRATEGY_ID	Id of the synthesized aggregating strategy in the result model.

Constructor Summary

Constructors

Constructor	Description
AssembleOperator()

Method Summary

Modifier and Type	Method	Description
protected List<Command>	additionalCommands(String resultName, List<JustificationModel<?>> sources, AliasRegistry aliases, Map<String,String> args)	Returns additional commands to append after Phase 2 edge reconstruction.
protected Command	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 EquivalenceRelation	equivalenceRelation(List<JustificationModel<?>> sources, Map<String,String> arguments)	Returns the equivalence relation to use for partitioning elements from sources and arguments.
protected MergeFunction	mergeFunction(List<JustificationModel<?>> sources, Map<String,String> arguments)	Returns the merge function to use for creating result elements from sources and arguments.
protected Set<String>	requiredArguments()	Declares which argument keys this operator requires.
ModelKind	resultKind(List<JustificationModel<?>> sources, Map<String,String> args)	Returns the ModelKind of the model produced by this operator for the given sources and args.

Methods inherited from class CompositionOperator

apply, apply, apply

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

STRATEGY_ID

public static final String STRATEGY_ID

Id of the synthesized aggregating strategy in the result model.

See Also:

• Constant Field Values

CONCLUSION_ID

public static final String CONCLUSION_ID

Id of the synthesized global conclusion in the result model.

See Also:

• Constant Field Values

Constructor Details

AssembleOperator

public AssembleOperator()

Method Details

resultKind

public ModelKind resultKind(List<JustificationModel<?>> sources,
 Map<String,String> args)

Description copied from class: CompositionOperator

Returns the ModelKind of the model produced by this operator for the given sources and args. Defaults to ModelKind.JUSTIFICATION. Override in subclasses whose result kind depends on the input models (e.g. an operator that produces a Template when any source is a Template).

Overrides:

resultKind in class CompositionOperator

requiredArguments

protected Set<String> requiredArguments()

Description copied from class: CompositionOperator

Declares which argument keys this operator requires. The framework validates their presence at the start of CompositionOperator.apply(String, List, Map) and throws InvalidOperatorCallException listing any missing keys. Default: empty set (no required arguments).

Overrides:

requiredArguments in class CompositionOperator

createResultModel

protected Command createResultModel(String name,
 SourceLocation location,
 List<JustificationModel<?>> sources,
 Map<String,String> arguments)

Description copied from class: CompositionOperator

Returns the command that creates the result model (typically CreateJustification or CreateTemplate).

Specified by:

createResultModel in class CompositionOperator

Parameters:

location - the source location of the operator call; forwarded to the creation command so the result model appears in the symbol table.

sources - the source models being composed; provided so operators can choose the result model type (e.g. Template vs Justification) based on the source types.

equivalenceRelation

protected EquivalenceRelation equivalenceRelation(List<JustificationModel<?>> sources,
 Map<String,String> arguments)

Description copied from class: CompositionOperator

Returns the equivalence relation to use for partitioning elements from sources and arguments.

Specified by:

equivalenceRelation in class CompositionOperator

mergeFunction

protected MergeFunction mergeFunction(List<JustificationModel<?>> sources,
 Map<String,String> arguments)

Description copied from class: CompositionOperator

Returns the merge function to use for creating result elements from sources and arguments.

Specified by:

mergeFunction in class CompositionOperator

additionalCommands

protected List<Command> additionalCommands(String resultName,
 List<JustificationModel<?>> sources,
 AliasRegistry aliases,
 Map<String,String> args)

Description copied from class: CompositionOperator

Returns additional commands to append after Phase 2 edge reconstruction. Override to inject synthesized elements and their edges that have no counterpart in any source model. Default: empty.

Overrides:

additionalCommands in class CompositionOperator