org.eclipse.ocl.examples.domain.values
Interface Value

All Known Subinterfaces:

BagValue, BooleanValue, BooleanValue.Accumulator, ClassifierTypeValue, CollectionTypeValue, CollectionValue, CollectionValue.Accumulator, ElementValue, EnumerationLiteralValue, EnumerationTypeValue, IntegerValue, IntegerValue.Accumulator, InvalidValue, MapValue, MapValue.Accumulator, NullValue, NumericValue, ObjectValue, OrderedSetValue, RealValue, SequenceValue, SetValue, SimpleTypeValue, StringValue, TupleValue, TypeValue, UniqueCollectionValue, UnlimitedValue

All Known Implementing Classes:

AbstractCollectionValue, AbstractedCollectionValue, AbstractEnumerationLiteralValueImpl, AbstractIntegerValue, AbstractObjectValue, AbstractSequenceValue, AbstractTypeValueImpl, AbstractUndefinedCollectionValue, AbstractUndefinedValue, AbstractValue, BagValueImpl, BagValueImpl.Accumulator, BooleanValueImpl, BooleanValueImpl.Accumulator, ClassifierTypeValueImpl, CollectionTypeValueImpl, ElementValueImpl, EnumerationLiteralValueImpl, EnumerationTypeValueImpl, EObjectValueImpl, IntegerIntValueImpl, IntegerLongValueImpl, IntegerValueImpl, InvalidValueImpl, NullValueImpl, ObjectValueImpl, OCLConsolePage.ExceptionValue, OrderedSetValueImpl, OrderedSetValueImpl.Accumulator, RealValueImpl, SequenceRangeImpl, SequenceValueImpl, SequenceValueImpl.Accumulator, SetValueImpl, SetValueImpl.Accumulator, SimpleTypeValueImpl, SortedByIteration.SortingValue, StringValueImpl, TupleValueImpl, UnlimitedValueImpl

public interface Value

asXXX returns an XXX if self is an XXX and not Null (and is not Invalid), Null (and Invalid) throw an InvalidValueException. isXXX returns an XXX-related value if self is an XXX and is not Null (and is not Invalid). toXXX returns an XXX if self is or can be converted to an XXX; Invalid otherwise.

Field Summary

static java.lang.String

INVALID_NAME

Method Summary

BagValue	asBagValue()
boolean	asBoolean()
BooleanValue	asBooleanValue()
CollectionValue	asCollectionValue()
java.lang.Double	asDouble()
java.lang.Object	asEcoreObject() Return the Ecore representation of this value.
DomainElement	asElement()
ElementValue	asElementValue()
java.lang.Integer	asInteger()
IntegerValue	asIntegerValue()
org.eclipse.emf.ecore.EObject	asNavigableObject()
java.lang.Object	asObject()
ObjectValue	asObjectValue()
OrderedSetValue	asOrderedSetValue()
RealValue	asRealValue()
SequenceValue	asSequenceValue()
SetValue	asSetValue()
java.lang.String	asString()
StringValue	asStringValue()
TypeValue	asTypeValue()
UniqueCollectionValue	asUniqueCollectionValue()
Value	asValidValue()
DomainType	getActualType() Return the type of this value determined from its content.
DomainType	getType() Return the type of this value determined from its construction context.
ValueFactory	getValueFactory()
CollectionValue	isCollectionValue()
boolean	isFalse()
IntegerValue	isIntegerValue()
boolean	isInvalid()
boolean	isNull()
RealValue	isRealValue()
boolean	isTrue()
boolean	isUndefined()
boolean	isUnlimited()
boolean	isUnlimitedNatural()
java.lang.String	oclToString()
IntegerValue	toIntegerValue()
java.util.Iterator<Value>	toIteratorValue()
RealValue	toRealValue()
void	toString(java.lang.StringBuilder s, int sizeLimit)

Field Detail

INVALID_NAME

static final java.lang.String INVALID_NAME

See Also:

Constant Field Values

Method Detail

asBagValue

BagValue asBagValue()
                    throws InvalidValueException

Throws:

InvalidValueException

asBoolean

boolean asBoolean()
                  throws InvalidValueException

Throws:

InvalidValueException

asBooleanValue

BooleanValue asBooleanValue()
                            throws InvalidValueException

Throws:

InvalidValueException

asCollectionValue

CollectionValue asCollectionValue()
                                  throws InvalidValueException

Throws:

InvalidValueException

asDouble

java.lang.Double asDouble()
                          throws InvalidValueException

Throws:

InvalidValueException

asEcoreObject

java.lang.Object asEcoreObject()

Return the Ecore representation of this value.

asElement

DomainElement asElement()

asElementValue

ElementValue asElementValue()
                            throws InvalidValueException

Throws:

InvalidValueException

asInteger

java.lang.Integer asInteger()
                            throws InvalidValueException

Throws:

InvalidValueException

asIntegerValue

IntegerValue asIntegerValue()
                            throws InvalidValueException

Throws:

InvalidValueException

asNavigableObject

org.eclipse.emf.ecore.EObject asNavigableObject()
                                                throws InvalidValueException

Throws:

InvalidValueException

asObject

java.lang.Object asObject()

asObjectValue

ObjectValue asObjectValue()
                          throws InvalidValueException

Throws:

InvalidValueException

asOrderedSetValue

OrderedSetValue asOrderedSetValue()
                                  throws InvalidValueException

Throws:

InvalidValueException

asRealValue

RealValue asRealValue()
                      throws InvalidValueException

Throws:

InvalidValueException

asSequenceValue

SequenceValue asSequenceValue()
                              throws InvalidValueException

Throws:

InvalidValueException

asSetValue

SetValue asSetValue()
                    throws InvalidValueException

Throws:

InvalidValueException

asString

java.lang.String asString()
                          throws InvalidValueException

Throws:

InvalidValueException

asStringValue

StringValue asStringValue()
                          throws InvalidValueException

Throws:

InvalidValueException

asTypeValue

TypeValue asTypeValue()
                      throws InvalidValueException

Throws:

InvalidValueException

asUniqueCollectionValue

UniqueCollectionValue asUniqueCollectionValue()
                                              throws InvalidValueException

Throws:

InvalidValueException

asValidValue

Value asValidValue()
                   throws InvalidValueException

Throws:

InvalidValueException

getActualType

DomainType getActualType()

Return the type of this value determined from its content. In the case of collections this may differ from the constructed type. The actual type is used for validating oclAsType conversions.

getType

DomainType getType()

Return the type of this value determined from its construction context. In the case of collections this may differ from the actual type.

getValueFactory

ValueFactory getValueFactory()

isCollectionValue

CollectionValue isCollectionValue()

isFalse

boolean isFalse()

isIntegerValue

IntegerValue isIntegerValue()

isInvalid

boolean isInvalid()

isNull

boolean isNull()

isRealValue

RealValue isRealValue()

isTrue

boolean isTrue()

isUndefined

boolean isUndefined()

isUnlimited

boolean isUnlimited()

isUnlimitedNatural

boolean isUnlimitedNatural()

oclToString

java.lang.String oclToString()

toIntegerValue

IntegerValue toIntegerValue()
                            throws InvalidValueException

Throws:

InvalidValueException

toIteratorValue

java.util.Iterator<Value> toIteratorValue()
                                          throws InvalidValueException

Throws:

InvalidValueException

toRealValue

RealValue toRealValue()
                      throws InvalidValueException

Throws:

InvalidValueException

toString

void toString(java.lang.StringBuilder s,
              int sizeLimit)