|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Classes in org.eclipse.ocl.examples.pivot.values used by org.eclipse.ocl.examples.library | |
---|---|
CollectionValue
|
|
CollectionValue.Accumulator
|
|
NullValue
|
|
Value
asXXX returns an XXX if self is an XXX and not Null (and is not Invalid), Null (and Invalid) throw an InvalidValueException. |
|
Value.BinaryOperation
|
|
ValueFactory
|
Classes in org.eclipse.ocl.examples.pivot.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.pivot.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. |
|
Value.BinaryOperation
|
|
ValueFactory
|
Classes in org.eclipse.ocl.examples.pivot.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.pivot.values used by org.eclipse.ocl.examples.library.iterator | |
---|---|
CollectionValue
|
|
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. |
|
Value.BinaryOperation
|
Classes in org.eclipse.ocl.examples.pivot.values used by org.eclipse.ocl.examples.library.logical | |
---|---|
BooleanValue
|
|
SetValue
|
|
Value
asXXX returns an XXX if self is an XXX and not Null (and is not Invalid), Null (and Invalid) throw an InvalidValueException. |
|
Value.BinaryOperation
|
|
ValueFactory
|
Classes in org.eclipse.ocl.examples.pivot.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. |
|
Value.BinaryOperation
|
|
ValueFactory
|
Classes in org.eclipse.ocl.examples.pivot.values used by org.eclipse.ocl.examples.library.oclany | |
---|---|
BooleanValue
|
|
SetValue
|
|
Value
asXXX returns an XXX if self is an XXX and not Null (and is not Invalid), Null (and Invalid) throw an InvalidValueException. |
|
Value.BinaryOperation
|
|
ValueFactory
|
Classes in org.eclipse.ocl.examples.pivot.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.pivot.values used by org.eclipse.ocl.examples.library.oclvoid | |
---|---|
BooleanValue
|
|
SetValue
|
|
Value
asXXX returns an XXX if self is an XXX and not Null (and is not Invalid), Null (and Invalid) throw an InvalidValueException. |
|
Value.BinaryOperation
|
|
ValueFactory
|
Classes in org.eclipse.ocl.examples.pivot.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. |
|
Value.BinaryOperation
|
|
ValueFactory
|
Classes in org.eclipse.ocl.examples.pivot.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.pivot.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.pivot.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.pivot.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. |
|
Value.BinaryOperation
|
|
ValueFactory
|
Classes in org.eclipse.ocl.examples.pivot.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. |
|
ValueFactory
|
Classes in org.eclipse.ocl.examples.pivot.values used by org.eclipse.ocl.examples.pivot.values | |
---|---|
Bag
A bag is a collection that is non-unique and unordered. |
|
BagValue
|
|
BooleanValue
|
|
CollectionValue
|
|
ElementValue
|
|
IntegerValue
|
|
InvalidValue
|
|
MapValue
|
|
NonOrderedCollectionValue
|
|
NonUniqueCollectionValue
|
|
NullValue
|
|
NumericValue
|
|
ObjectValue
|
|
OrderedCollectionValue
|
|
OrderedSetValue
|
|
RealValue
|
|
SequenceValue
|
|
SetValue
|
|
StringValue
|
|
TupleValue
Interface of a tuple instance value. |
|
TypeValue
|
|
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. |
|
Value.BinaryOperation
|
|
ValueFactory
|
Classes in org.eclipse.ocl.examples.pivot.values used by org.eclipse.ocl.examples.pivot.values.impl | |
---|---|
Bag
A bag is a collection that is non-unique and unordered. |
|
BagValue
|
|
BooleanValue
|
|
CollectionValue
|
|
CollectionValue.Accumulator
|
|
ElementValue
|
|
IntegerValue
|
|
InvalidValue
|
|
NonOrderedCollectionValue
|
|
NonUniqueCollectionValue
|
|
NullValue
|
|
NumericValue
|
|
ObjectValue
|
|
OrderedCollectionValue
|
|
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
|
|
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. |
|
Value.BinaryOperation
|
|
ValueFactory
|
Classes in org.eclipse.ocl.examples.pivot.values used by org.eclipse.ocl.examples.xtext.console | |
---|---|
BagValue
|
|
BooleanValue
|
|
CollectionValue
|
|
ElementValue
|
|
IntegerValue
|
|
InvalidValue
|
|
NonOrderedCollectionValue
|
|
NonUniqueCollectionValue
|
|
NullValue
|
|
NumericValue
|
|
ObjectValue
|
|
OrderedCollectionValue
|
|
OrderedSetValue
|
|
RealValue
|
|
SequenceValue
|
|
SetValue
|
|
StringValue
|
|
TypeValue
|
|
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
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |