Class LeftInheritanceTuple3
- java.lang.Object
-
- org.eclipse.viatra.query.runtime.matchers.tuple.AbstractTuple
-
- org.eclipse.viatra.query.runtime.matchers.tuple.Tuple
-
- org.eclipse.viatra.query.runtime.matchers.tuple.BaseLeftInheritanceTuple
-
- org.eclipse.viatra.query.runtime.matchers.tuple.LeftInheritanceTuple3
-
- All Implemented Interfaces:
ITuple
public final class LeftInheritanceTuple3 extends BaseLeftInheritanceTuple
- Since:
- 1.7
-
-
Field Summary
-
Fields inherited from class org.eclipse.viatra.query.runtime.matchers.tuple.BaseLeftInheritanceTuple
ancestor, inheritedIndex
-
Fields inherited from class org.eclipse.viatra.query.runtime.matchers.tuple.Tuple
cachedHash
-
-
Constructor Summary
Constructors Modifier Constructor Description protectedLeftInheritanceTuple3(Tuple ancestor, java.lang.Object localElement0, java.lang.Object localElement1, java.lang.Object localElement2)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.Objectget(int index)intgetLocalSize()intgetSize()protected booleanlocalEquals(BaseLeftInheritanceTuple other)Checks the equivalence of local elements only, after ancestor tuple has been determined to be equal.-
Methods inherited from class org.eclipse.viatra.query.runtime.matchers.tuple.BaseLeftInheritanceTuple
internalEquals
-
Methods inherited from class org.eclipse.viatra.query.runtime.matchers.tuple.Tuple
equals, hashCode, replaceAll, toImmutable
-
Methods inherited from class org.eclipse.viatra.query.runtime.matchers.tuple.AbstractTuple
doCalcHash, getDistinctElements, getElements, invertIndex, invertIndexWithMupliplicity, raiseIndexingError, toString
-
-
-
-
Constructor Detail
-
LeftInheritanceTuple3
protected LeftInheritanceTuple3(Tuple ancestor, java.lang.Object localElement0, java.lang.Object localElement1, java.lang.Object localElement2)
-
-
Method Detail
-
getLocalSize
public int getLocalSize()
- Specified by:
getLocalSizein classBaseLeftInheritanceTuple- Returns:
- the number of local (non-inherited) elements
-
getSize
public int getSize()
- Returns:
- number of elements
-
get
public java.lang.Object get(int index)
- Returns:
- the element at the specified index
-
localEquals
protected boolean localEquals(BaseLeftInheritanceTuple other)
Description copied from class:BaseLeftInheritanceTupleChecks the equivalence of local elements only, after ancestor tuple has been determined to be equal.- Specified by:
localEqualsin classBaseLeftInheritanceTuple
-
-