org.eclipse.incquery.runtime.matchers.tuple

Class LeftInheritanceTuple

java.lang.Object

org.eclipse.incquery.runtime.matchers.tuple.Tuple

org.eclipse.incquery.runtime.matchers.tuple.LeftInheritanceTuple

public class LeftInheritanceTuple
extends Tuple

Tuple that inherits another tuple on the left.

Author:

Gabor Bergmann

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()

Methods inherited from class org.eclipse.incquery.runtime.matchers.tuple.Tuple

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

Methods inherited from class java.lang.Object

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