Uses of Package
ca.mcscert.jpipe.operators

Packages that use ca.mcscert.jpipe.operators

Package	Description
ca.mcscert.jpipe.compiler.steps.transformations
ca.mcscert.jpipe.operators
ca.mcscert.jpipe.operators.builtin
ca.mcscert.jpipe.operators.equivalences

Classes in ca.mcscert.jpipe.operators used by ca.mcscert.jpipe.compiler.steps.transformations

Class	Description
OperatorRegistry	Name-to-CompositionOperator registry.
UnificationEquivalenceRegistry	Name-to-EquivalenceRelation registry used by Unifier for the automatic post-composition unification phase.

Classes in ca.mcscert.jpipe.operators used by ca.mcscert.jpipe.operators

Class	Description
AliasRegistry	Mutable registry that maps original element ids to the merged id chosen during Phase 1 of CompositionOperator.apply(String, List, Map).
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.
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.
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.

Classes in ca.mcscert.jpipe.operators used by ca.mcscert.jpipe.operators.builtin

Class	Description
AliasRegistry	Mutable registry that maps original element ids to the merged id chosen during Phase 1 of CompositionOperator.apply(String, List, Map).
CompositionOperator	Base class for all composition operators.
EquivalenceRelation	Binary predicate that decides whether two ElementViews belong to the same equivalence class and should therefore be merged.
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.

Classes in ca.mcscert.jpipe.operators used by ca.mcscert.jpipe.operators.equivalences

Class	Description
EquivalenceRelation	Binary predicate that decides whether two ElementViews belong to the same equivalence class and should therefore be merged.