org.eclipse.ocl.pivot.internal.ids

Class BindingsIdImpl

java.lang.Object

org.eclipse.ocl.pivot.internal.ids.BindingsIdImpl

All Implemented Interfaces:

Iterable<ElementId>, BindingsId, WeakHashMapOfListOfWeakReference2.MatchableId<ElementId[]>, IndexableIterable<ElementId>

public class BindingsIdImpl
extends Object
implements BindingsId, WeakHashMapOfListOfWeakReference2.MatchableId<ElementId[]>

BindingsIdImpl provides a hashable list of elementIds suitable for use when indexing specializations.

Constructor Summary

Constructors

Constructor and Description
BindingsIdImpl(IdManager idManager, Integer hashCode, ElementId[] elementIds) Construct a BindingsId for an idManager that has computed the hashCode for the typeIds.

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object o)
ElementId	get(int i)
int	hashCode()
Iterator<ElementId>	iterator()
boolean	matches(ElementId[] thoseElementIds)
int	size()
String	toString()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

BindingsIdImpl

public BindingsIdImpl(IdManager idManager,
                      Integer hashCode,
                      ElementId[] elementIds)

Construct a BindingsId for an idManager that has computed the hashCode for the typeIds.

Method Detail

equals

public final boolean equals(Object o)

Overrides:

equals in class Object

get

public ElementId get(int i)

Specified by:

get in interface IndexableIterable<ElementId>

hashCode

public int hashCode()

Overrides:

hashCode in class Object

iterator

public Iterator<ElementId> iterator()

Specified by:

iterator in interface Iterable<ElementId>

matches

public boolean matches(ElementId[] thoseElementIds)

Specified by:

matches in interface WeakHashMapOfListOfWeakReference2.MatchableId<ElementId[]>

size

public int size()

Specified by:

size in interface IndexableIterable<ElementId>

toString

public String toString()

Overrides:

toString in class Object