Module dev.civl.sarl

Package dev.civl.sarl.IF.expr.valueSetReference

Interface VSTupleComponentReference

All Superinterfaces:

NTValueSetReference, SymbolicExpression, SymbolicObject, ValueSetReference

public interface VSTupleComponentReference
extends NTValueSetReference

A reference into a (set-of) specified field(s) of a (set-of) tuple value(s). This reference contains a reference to a "parent" tuple object(s) and a concrete field index.

Nested Class Summary

Nested classes/interfaces inherited from interface dev.civl.sarl.IF.expr.SymbolicExpression

SymbolicExpression.SymbolicOperator

Nested classes/interfaces inherited from interface dev.civl.sarl.IF.object.SymbolicObject

SymbolicObject.SymbolicObjectKind

Nested classes/interfaces inherited from interface dev.civl.sarl.IF.expr.valueSetReference.ValueSetReference

ValueSetReference.VSReferenceKind

Method Summary

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

Methods inherited from interface dev.civl.sarl.IF.expr.valueSetReference.NTValueSetReference

getParent

Methods inherited from interface dev.civl.sarl.IF.expr.SymbolicExpression

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

Methods inherited from interface dev.civl.sarl.IF.object.SymbolicObject

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

Methods inherited from interface dev.civl.sarl.IF.expr.valueSetReference.ValueSetReference

isArrayElementReference, isArraySectionReference, isIdentityReference, isOffsetReference, isTupleComponentReference, isUnionMemberReference, valueSetReferenceKind

Method Details

getIndex

IntObject getIndex()

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

Returns:

the field index