Class UnificationEquivalenceRegistry

java.lang.Object

ca.mcscert.jpipe.operators.UnificationEquivalenceRegistry

public final class UnificationEquivalenceRegistry
extends Object

Name-to-EquivalenceRelation registry used by Unifier for the automatic post-composition unification phase.

Populated at compiler startup with built-in relations; looked up at model-build time via the unifyBy config parameter. SameShortId is intentionally not registered here — it is reserved for Phase 1 operator equivalence only.

Constructor Summary

Constructors

Constructor	Description
UnificationEquivalenceRegistry()

Method Summary

Modifier and Type	Method	Description
Optional<EquivalenceRelation>	find(String name)	Returns the value registered under name, or empty if none was registered.
protected final void	put(String name, EquivalenceRelation value)	Stores value under name.
void	register(String name, EquivalenceRelation relation)	Registers relation under name.
Set<String>	registeredNames()	Read-only view of all registered names.

Methods inherited from class Object

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

Constructor Details

UnificationEquivalenceRegistry

public UnificationEquivalenceRegistry()

Method Details

register

public void register(String name,
 EquivalenceRelation relation)

Registers relation under name.

put

protected final void put(String name,
 EquivalenceRelation value)

Stores value under name.

find

public Optional<EquivalenceRelation> find(String name)

Returns the value registered under name, or empty if none was registered.

registeredNames

public Set<String> registeredNames()

Read-only view of all registered names.