org.eclipse.viatra.query.runtime.matchers.tuple

Class LeftInheritanceTuple

java.lang.Object

org.eclipse.viatra.query.runtime.matchers.tuple.Tuple

org.eclipse.viatra.query.runtime.matchers.tuple.LeftInheritanceTuple

public class LeftInheritanceTuple
extends Tuple

Tuple that inherits another tuple on the left.

Field Summary

Fields inherited from class org.eclipse.viatra.query.runtime.matchers.tuple.Tuple

cachedHash

Constructor Summary

Constructors

Constructor and Description
LeftInheritanceTuple(Tuple ancestor, java.lang.Object[] localElements) Creates a Tuple instance, lets it inherit from an ancestor, extends it with a given array.

Method Summary

Modifier and Type	Method and Description
java.lang.Object	get(int index)
int	getSize()
protected boolean	internalEquals(Tuple other) Optimized equals calculation (prediction: true, since hash values match)

Methods inherited from class org.eclipse.viatra.query.runtime.matchers.tuple.Tuple

equals, getDistinctElements, getElements, hashCode, invertIndex, invertIndexWithMupliplicity, replaceAll, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

LeftInheritanceTuple

public LeftInheritanceTuple(Tuple ancestor,
                            java.lang.Object[] localElements)

Creates a Tuple instance, lets it inherit from an ancestor, extends it with a given array. @pre: no elements are null

Parameters:

localElements - array of substitution values

Method Detail

getSize

public int getSize()

Specified by:

getSize in class Tuple

Returns:

number of elements

get

public java.lang.Object get(int index)

Specified by:

get in class Tuple

Returns:

the element at the specified index

internalEquals

protected boolean internalEquals(Tuple other)

Optimized equals calculation (prediction: true, since hash values match)

Overrides:

internalEquals in class Tuple