Package edu.udel.cis.vsl.sarl.expr.common

Class CommonTupleComponentReference

java.lang.Object

edu.udel.cis.vsl.sarl.object.common.CommonSymbolicObject

edu.udel.cis.vsl.sarl.expr.common.HomogeneousExpression<SymbolicObject>

edu.udel.cis.vsl.sarl.expr.common.CommonReferenceExpression

edu.udel.cis.vsl.sarl.expr.common.CommonNTReference

edu.udel.cis.vsl.sarl.expr.common.CommonTupleComponentReference

All Implemented Interfaces:

NTReferenceExpression, ReferenceExpression, SymbolicExpression, TupleComponentReference, SymbolicObject

public class CommonTupleComponentReference
extends CommonNTReference
implements TupleComponentReference

Implementation of a non-trivial reference to a TupleComponent

Nested Class Summary

Nested classes/interfaces inherited from interface edu.udel.cis.vsl.sarl.IF.expr.ReferenceExpression

ReferenceExpression.ReferenceKind

Nested classes/interfaces inherited from interface edu.udel.cis.vsl.sarl.IF.expr.SymbolicExpression

SymbolicExpression.SymbolicOperator

Nested classes/interfaces inherited from interface edu.udel.cis.vsl.sarl.IF.object.SymbolicObject

SymbolicObject.SymbolicObjectKind

Field Summary

Fields inherited from class edu.udel.cis.vsl.sarl.expr.common.HomogeneousExpression

debug

Constructor Summary

Constructors

Constructor	Description
CommonTupleComponentReference(SymbolicType referenceType, SymbolicConstant tupleComponentReferenceFunction, SymbolicSequence<SymbolicExpression> parentIndexSequence, IntObject fieldIndex)	Constructor asserts that parentIndexSequnce is a valid and Concrete IntegerNumber

Method Summary

Modifier and Type	Method	Description
IntObject	getIndex()	Returns the index of the referenced field (i.e., component).
boolean	isTupleComponentReference()	Is this a tuple component reference?
ReferenceExpression.ReferenceKind	referenceKind()	Gets the kind of this reference.
int	size()

Methods inherited from class edu.udel.cis.vsl.sarl.expr.common.CommonNTReference

getParent

Methods inherited from class edu.udel.cis.vsl.sarl.expr.common.CommonReferenceExpression

isArrayElementReference, isIdentityReference, isNullReference, isOffsetReference, isUnionMemberReference

Methods inherited from class edu.udel.cis.vsl.sarl.expr.common.HomogeneousExpression

argument, arguments, atomString, canonizeChildren, containsQuantifier, containsSubobject, getArguments, getFreeVars, isFalse, isNull, isNumeric, isOne, isTrue, isZero, numArguments, operator, printCompressedTree, symbolicObjectKind, toStringBuffer, toStringBuffer1, toStringBufferLong, type

Methods inherited from class edu.udel.cis.vsl.sarl.object.common.CommonSymbolicObject

equals, getOrder, hashCode, id, isCanonic, setInCanonic, setOrder, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface edu.udel.cis.vsl.sarl.IF.expr.NTReferenceExpression

getParent

Methods inherited from interface edu.udel.cis.vsl.sarl.IF.expr.ReferenceExpression

isArrayElementReference, isIdentityReference, isNullReference, isOffsetReference, isUnionMemberReference

Methods inherited from interface edu.udel.cis.vsl.sarl.IF.expr.SymbolicExpression

argument, atomString, getArguments, getFreeVars, isFalse, isNull, isNumeric, isOne, isTrue, isZero, numArguments, operator, printCompressedTree, type

Methods inherited from interface edu.udel.cis.vsl.sarl.IF.object.SymbolicObject

containsQuantifier, containsSubobject, equals, getOrder, hashCode, id, isCanonic, setInCanonic, setOrder, symbolicObjectKind, toString, toStringBuffer, toStringBufferLong

Constructor Details

CommonTupleComponentReference

public CommonTupleComponentReference(SymbolicType referenceType,
 SymbolicConstant tupleComponentReferenceFunction,
 SymbolicSequence<SymbolicExpression> parentIndexSequence,
 IntObject fieldIndex)

Constructor asserts that parentIndexSequnce is a valid and Concrete IntegerNumber

Parameters:

referenceType -

tupleComponentReferenceFunction -

parentIndexSequence -

fieldIndex -

Method Details

getIndex

public IntObject getIndex()

Description copied from interface: TupleComponentReference

Returns the index of the referenced field (i.e., component).

Specified by:

getIndex in interface TupleComponentReference

Returns:

fieldIndex

isTupleComponentReference

public boolean isTupleComponentReference()

Description copied from interface: ReferenceExpression

Is this a tuple component reference?

Specified by:

isTupleComponentReference in interface ReferenceExpression

Overrides:

isTupleComponentReference in class CommonReferenceExpression

Returns:

True

referenceKind

public ReferenceExpression.ReferenceKind referenceKind()

Description copied from interface: ReferenceExpression

Gets the kind of this reference.

Specified by:

referenceKind in interface ReferenceExpression

Returns:

ReferenceKind.TUPLE_COMPONENT

size

public int size()

Specified by:

size in interface SymbolicExpression

Overrides:

size in class HomogeneousExpression<SymbolicObject>

Returns:

the size of this SymbolicExpression. The size of a symbolic expression is the total number of "node"s in the "tree". A symbolic expression is essentially a tree of (sub-)symbolic expressions.