Uses of Package
org.eclipse.ocl.examples.domain.values

Packages that use org.eclipse.ocl.examples.domain.values

org.eclipse.ocl.examples.domain.elements
org.eclipse.ocl.examples.domain.evaluation
org.eclipse.ocl.examples.domain.library
org.eclipse.ocl.examples.domain.types
org.eclipse.ocl.examples.domain.values
org.eclipse.ocl.examples.domain.values.impl
org.eclipse.ocl.examples.library.classifier
org.eclipse.ocl.examples.library.collection
org.eclipse.ocl.examples.library.ecore
org.eclipse.ocl.examples.library.enumeration
org.eclipse.ocl.examples.library.executor
org.eclipse.ocl.examples.library.integer
org.eclipse.ocl.examples.library.iterator
org.eclipse.ocl.examples.library.logical
org.eclipse.ocl.examples.library.numeric
org.eclipse.ocl.examples.library.oclany
org.eclipse.ocl.examples.library.oclinvalid
org.eclipse.ocl.examples.library.oclvoid
org.eclipse.ocl.examples.library.real
org.eclipse.ocl.examples.library.string
org.eclipse.ocl.examples.pivot
org.eclipse.ocl.examples.pivot.bodies
org.eclipse.ocl.examples.pivot.ecore
org.eclipse.ocl.examples.pivot.evaluation
org.eclipse.ocl.examples.pivot.internal.impl
org.eclipse.ocl.examples.pivot.library
org.eclipse.ocl.examples.pivot.manager
org.eclipse.ocl.examples.pivot.prettyprint
org.eclipse.ocl.examples.pivot.utilities
org.eclipse.ocl.examples.pivot.values
org.eclipse.ocl.examples.xtext.console

Classes in org.eclipse.ocl.examples.domain.values used by org.eclipse.ocl.examples.domain.elements

ObjectValue

Value
asXXX returns an XXX if self is an XXX and not Null (and is not Invalid), Null (and Invalid) throw an InvalidValueException.

ValueFactory

Classes in org.eclipse.ocl.examples.domain.values used by org.eclipse.ocl.examples.domain.evaluation

CollectionValue

NullValue

Value
asXXX returns an XXX if self is an XXX and not Null (and is not Invalid), Null (and Invalid) throw an InvalidValueException.

ValueFactory

Classes in org.eclipse.ocl.examples.domain.values used by org.eclipse.ocl.examples.domain.library

CollectionValue

NullValue

Value
asXXX returns an XXX if self is an XXX and not Null (and is not Invalid), Null (and Invalid) throw an InvalidValueException.

ValueFactory

Classes in org.eclipse.ocl.examples.domain.values used by org.eclipse.ocl.examples.domain.types

ObjectValue

Value
asXXX returns an XXX if self is an XXX and not Null (and is not Invalid), Null (and Invalid) throw an InvalidValueException.

ValueFactory

Classes in org.eclipse.ocl.examples.domain.values used by org.eclipse.ocl.examples.domain.values

Bag
A bag is a collection that is non-unique and unordered.

BagValue

BooleanValue

BooleanValue.Accumulator

CollectionValue

CollectionValue.Accumulator

ElementValue

EnumerationLiteralValue

IntegerRange
A range of integer values from the first up to and including the last.

IntegerValue

InvalidValue

MapValue

NullValue

NumericValue

ObjectValue

OrderedSet
An ordered set is a collection that is unique and ordered.

OrderedSetValue

RealValue

SequenceValue

SetValue

StringValue

TupleValue
Interface of a tuple instance value.

TypeValue
A TypeValue is a value object whose value is a type, such as Boolean.

UniqueCollectionValue

UnlimitedValue

Value
asXXX returns an XXX if self is an XXX and not Null (and is not Invalid), Null (and Invalid) throw an InvalidValueException.

ValueFactory

Classes in org.eclipse.ocl.examples.domain.values used by org.eclipse.ocl.examples.domain.values.impl

Bag
A bag is a collection that is non-unique and unordered.

BagValue

BooleanValue

BooleanValue.Accumulator

ClassifierTypeValue

CollectionTypeValue

CollectionValue

CollectionValue.Accumulator

ElementValue

EnumerationLiteralValue

EnumerationTypeValue

IntegerRange
A range of integer values from the first up to and including the last.

IntegerValue

InvalidValue

NullValue

NumericValue

ObjectValue

OrderedSet
An ordered set is a collection that is unique and ordered.

OrderedSetValue

RealValue

SequenceValue

SetValue

SimpleTypeValue

StringValue

TupleValue
Interface of a tuple instance value.

TypeValue
A TypeValue is a value object whose value is a type, such as Boolean.

UniqueCollectionValue

UnlimitedValue

Value
asXXX returns an XXX if self is an XXX and not Null (and is not Invalid), Null (and Invalid) throw an InvalidValueException.

ValueFactory

Classes in org.eclipse.ocl.examples.domain.values used by org.eclipse.ocl.examples.library.classifier

Value
asXXX returns an XXX if self is an XXX and not Null (and is not Invalid), Null (and Invalid) throw an InvalidValueException.

Classes in org.eclipse.ocl.examples.domain.values used by org.eclipse.ocl.examples.library.collection

Value
asXXX returns an XXX if self is an XXX and not Null (and is not Invalid), Null (and Invalid) throw an InvalidValueException.

Classes in org.eclipse.ocl.examples.domain.values used by org.eclipse.ocl.examples.library.ecore

ElementValue

ObjectValue

Value
asXXX returns an XXX if self is an XXX and not Null (and is not Invalid), Null (and Invalid) throw an InvalidValueException.

ValueFactory

Classes in org.eclipse.ocl.examples.domain.values used by org.eclipse.ocl.examples.library.enumeration

Value
asXXX returns an XXX if self is an XXX and not Null (and is not Invalid), Null (and Invalid) throw an InvalidValueException.

Classes in org.eclipse.ocl.examples.domain.values used by org.eclipse.ocl.examples.library.executor

CollectionValue

NullValue

ObjectValue

Value
asXXX returns an XXX if self is an XXX and not Null (and is not Invalid), Null (and Invalid) throw an InvalidValueException.

ValueFactory

Classes in org.eclipse.ocl.examples.domain.values used by org.eclipse.ocl.examples.library.integer

Value
asXXX returns an XXX if self is an XXX and not Null (and is not Invalid), Null (and Invalid) throw an InvalidValueException.

Classes in org.eclipse.ocl.examples.domain.values used by org.eclipse.ocl.examples.library.iterator

BooleanValue.Accumulator

CollectionValue.Accumulator

Value
asXXX returns an XXX if self is an XXX and not Null (and is not Invalid), Null (and Invalid) throw an InvalidValueException.

Classes in org.eclipse.ocl.examples.domain.values used by org.eclipse.ocl.examples.library.logical

BooleanValue

Value
asXXX returns an XXX if self is an XXX and not Null (and is not Invalid), Null (and Invalid) throw an InvalidValueException.

Classes in org.eclipse.ocl.examples.domain.values used by org.eclipse.ocl.examples.library.numeric

BooleanValue

IntegerValue

NumericValue

RealValue

Value
asXXX returns an XXX if self is an XXX and not Null (and is not Invalid), Null (and Invalid) throw an InvalidValueException.

Classes in org.eclipse.ocl.examples.domain.values used by org.eclipse.ocl.examples.library.oclany

BooleanValue

Value
asXXX returns an XXX if self is an XXX and not Null (and is not Invalid), Null (and Invalid) throw an InvalidValueException.

Classes in org.eclipse.ocl.examples.domain.values used by org.eclipse.ocl.examples.library.oclinvalid

Value
asXXX returns an XXX if self is an XXX and not Null (and is not Invalid), Null (and Invalid) throw an InvalidValueException.

Classes in org.eclipse.ocl.examples.domain.values used by org.eclipse.ocl.examples.library.oclvoid

BooleanValue

Value
asXXX returns an XXX if self is an XXX and not Null (and is not Invalid), Null (and Invalid) throw an InvalidValueException.

Classes in org.eclipse.ocl.examples.domain.values used by org.eclipse.ocl.examples.library.real

Value
asXXX returns an XXX if self is an XXX and not Null (and is not Invalid), Null (and Invalid) throw an InvalidValueException.

Classes in org.eclipse.ocl.examples.domain.values used by org.eclipse.ocl.examples.library.string

Value
asXXX returns an XXX if self is an XXX and not Null (and is not Invalid), Null (and Invalid) throw an InvalidValueException.

Classes in org.eclipse.ocl.examples.domain.values used by org.eclipse.ocl.examples.pivot

Value
asXXX returns an XXX if self is an XXX and not Null (and is not Invalid), Null (and Invalid) throw an InvalidValueException.

ValueFactory

Classes in org.eclipse.ocl.examples.domain.values used by org.eclipse.ocl.examples.pivot.bodies

Value
asXXX returns an XXX if self is an XXX and not Null (and is not Invalid), Null (and Invalid) throw an InvalidValueException.

Classes in org.eclipse.ocl.examples.domain.values used by org.eclipse.ocl.examples.pivot.ecore

Value
asXXX returns an XXX if self is an XXX and not Null (and is not Invalid), Null (and Invalid) throw an InvalidValueException.

Classes in org.eclipse.ocl.examples.domain.values used by org.eclipse.ocl.examples.pivot.evaluation

BooleanValue

NullValue

Value
asXXX returns an XXX if self is an XXX and not Null (and is not Invalid), Null (and Invalid) throw an InvalidValueException.

ValueFactory

Classes in org.eclipse.ocl.examples.domain.values used by org.eclipse.ocl.examples.pivot.internal.impl

ObjectValue

Value
asXXX returns an XXX if self is an XXX and not Null (and is not Invalid), Null (and Invalid) throw an InvalidValueException.

ValueFactory

Classes in org.eclipse.ocl.examples.domain.values used by org.eclipse.ocl.examples.pivot.library

Value
asXXX returns an XXX if self is an XXX and not Null (and is not Invalid), Null (and Invalid) throw an InvalidValueException.

Classes in org.eclipse.ocl.examples.domain.values used by org.eclipse.ocl.examples.pivot.manager

ValueFactory

Classes in org.eclipse.ocl.examples.domain.values used by org.eclipse.ocl.examples.pivot.prettyprint

Value
asXXX returns an XXX if self is an XXX and not Null (and is not Invalid), Null (and Invalid) throw an InvalidValueException.

Classes in org.eclipse.ocl.examples.domain.values used by org.eclipse.ocl.examples.pivot.utilities

Value
asXXX returns an XXX if self is an XXX and not Null (and is not Invalid), Null (and Invalid) throw an InvalidValueException.

Classes in org.eclipse.ocl.examples.domain.values used by org.eclipse.ocl.examples.pivot.values

ValueFactory

Classes in org.eclipse.ocl.examples.domain.values used by org.eclipse.ocl.examples.xtext.console

BagValue

BooleanValue

CollectionValue

ElementValue

IntegerValue

InvalidValue

NullValue

NumericValue

ObjectValue

OrderedSetValue

RealValue

SequenceValue

SetValue

StringValue

TypeValue
A TypeValue is a value object whose value is a type, such as Boolean.

UniqueCollectionValue

UnlimitedValue

Value
asXXX returns an XXX if self is an XXX and not Null (and is not Invalid), Null (and Invalid) throw an InvalidValueException.

ValueFactory