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

Interface TupleComponentReference

All Superinterfaces:

NTReferenceExpression, ReferenceExpression, SymbolicExpression, SymbolicObject

All Known Implementing Classes:

CommonTupleComponentReference

public interface TupleComponentReference
extends NTReferenceExpression

A reference into a specified field of a tuple value. A tuple reference contains a reference to a "parent" tuple object and a concrete field index.

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

Method Summary

Modifier and Type	Method	Description
IntObject	getIndex()	Returns the index of the referenced field (i.e., component).

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, isTupleComponentReference, isUnionMemberReference, referenceKind

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, size, 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

Method Details

getIndex

IntObject getIndex()

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

Returns:

the field index