org.eclipse.ocl.pivot.values

Interface TupleValue

All Superinterfaces:

Value

All Known Subinterfaces:

InvalidValue, NullValue

All Known Implementing Classes:

EvaluationHaltedException, InvalidValueException, NullValueImpl, TupleValueImpl, UndefinedValueImpl, VMException, VMInterruptedExecutionException, VMRuntimeException, VMStackOverFlowError

public interface TupleValue
extends Value

Interface of a tuple instance value. OCL expressions resulting in tuples yield instances of this interface.

Field Summary

Fields inherited from interface org.eclipse.ocl.pivot.values.Value

INVALID_NAME

Method Summary

Modifier and Type	Method and Description
TupleTypeId	getTypeId() Obtains the tuple's type.
Object	getValue(int index) Queries the value of the specified tuple part at 0-based index corresponding to the position of the required part-name in the alphabetically sorted list of all part-names.
Object	getValue(TuplePartId partId) Queries the value of the specified tuple part.

Methods inherited from interface org.eclipse.ocl.pivot.values.Value

asBagValue, asCollectionValue, asDouble, asEcoreObject, asElement, asInteger, asIntegerValue, asMapValue, asNavigableObject, asObject, asObjectValue, asOrderedCollectionValue, asOrderedSetValue, asRealValue, asSequenceValue, asSetValue, asTupleValue, asUnboxedObject, asUniqueCollectionValue, asUnlimitedNaturalValue, isInvalid, isUndefined, toString

Method Detail

getTypeId

TupleTypeId getTypeId()

Obtains the tuple's type.

Specified by:

getTypeId in interface Value

Returns:

its type

EMF generated code

NOT

getValue

Object getValue(TuplePartId partId)

Queries the value of the specified tuple part.

Parameters:

partId - the tuple part (as an attribute)

Returns:

the corresponding value

Throws:

InvalidValueException

EMF generated code

NOT

getValue

Object getValue(int index)

Queries the value of the specified tuple part at 0-based index corresponding to the position of the required part-name in the alphabetically sorted list of all part-names.