Package ca.mcscert.jpipe.operators

package ca.mcscert.jpipe.operators

Related Packages

Package	Description
ca.mcscert.jpipe.operators.builtin
ca.mcscert.jpipe.operators.equivalences

Class	Description
AliasRegistry	Mutable registry that maps original element ids to the merged id chosen during Phase 1 of CompositionOperator.apply(String, List, Map).
ApplyOperator	A deferred MacroCommand that expands an operator call into the Commands needed to build the result model.
CompositionOperator	Base class for all composition operators.
ElementGroup	One cell of the partition computed by CompositionOperator: a non-empty list of SourcedElements that are all equivalent under the operator's EquivalenceRelation.
EquivalenceRelation	Binary predicate that decides whether two ElementViews belong to the same equivalence class and should therefore be merged.
InvalidOperatorCallException	Thrown by CompositionOperator.apply(String, List, Map) when one or more required argument keys are missing from the provided argument map.
MergeFunction	Describes how to create the merged element for one ElementGroup.
ModelKind	Discriminates between the two concrete subtypes of JustificationModel that a CompositionOperator can produce.
ModelReplicator	Produces a List of Commands that copy all elements and support edges from a source model into a target model, without mutating the source.
OperatorCallConfig	Describes a single operator call: what result to produce, which operator to invoke, the source models, call-site arguments, source location, and the declared result kind.
OperatorRegistry	Name-to-CompositionOperator registry.
SourcedElement	Pairs a JustificationElement with the model it was taken from and its original source location, so merge functions can inspect the element in its original context and forward the location to creation commands.
UnificationEquivalenceRegistry	Name-to-EquivalenceRelation registry used by Unifier for the automatic post-composition unification phase.
Unifier	Phase 4 post-processor for composition operators.