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

All Known Implementing Classes:

AbstractValueFactory, EcoreValueFactory, ExecutorValueFactory, PivotValueFactory

public interface ValueFactory

Method Summary

BooleanValue	booleanValueOf(boolean value)
BagValue	createBagOf(java.lang.Iterable<?> objects)
BagValue	createBagOf(java.lang.Object... objects)
BagValue	createBagValue(DomainCollectionType type, Bag<? extends Value> values)
BagValue	createBagValue(DomainCollectionType type, java.util.Collection<? extends Value> values)
BagValue	createBagValue(DomainCollectionType type, Value... values)
BagValue	createBagValue(Value... values)
BooleanValue.Accumulator	createBooleanAccumulatorValue()
CollectionValue.Accumulator	createCollectionAccumulatorValue(DomainCollectionType type)
CollectionValue	createCollectionValue(boolean isOrdered, boolean isUnique, java.util.Collection<Value> values)
CollectionValue	createCollectionValue(boolean isOrdered, boolean isUnique, DomainType elementType, java.util.Collection<Value> values)
CollectionValue	createCollectionValue(boolean isOrdered, boolean isUnique, DomainType elementType, Value... values)
CollectionValue	createCollectionValue(boolean isOrdered, boolean isUnique, Value... values) Creates a new OCL Collection of the specified ordering and uniqueness.
ElementValue	createElementValue(DomainElement element)
EnumerationLiteralValue	createEnumerationLiteralValue(DomainEnumerationLiteral element)
EnumerationLiteralValue	createEnumerationLiteralValue(org.eclipse.emf.ecore.EEnumLiteral eEnumLiteral)
EnumerationLiteralValue	createEnumerationLiteralValue(org.eclipse.emf.common.util.Enumerator enumerator, org.eclipse.emf.ecore.EEnum eEnum)
ObjectValue	createEObjectValue(org.eclipse.emf.ecore.EObject eObject)
InvalidValue	createInvalidValue(InvalidEvaluationException exception)
InvalidValue	createInvalidValue(InvalidValueException exception)
ObjectValue	createObjectValue(java.lang.Object object)
OrderedSetValue	createOrderedSetOf(java.lang.Iterable<?> objects)
OrderedSetValue	createOrderedSetOf(java.lang.Object... objects)
OrderedSetValue	createOrderedSetValue(DomainCollectionType type, java.util.Collection<? extends Value> values)
OrderedSetValue	createOrderedSetValue(DomainCollectionType type, OrderedSet<? extends Value> values)
OrderedSetValue	createOrderedSetValue(DomainCollectionType type, Value... values)
OrderedSetValue	createOrderedSetValue(Value... value)
IntegerRange	createRange(IntegerValue firstInteger, IntegerValue lastInteger)
SequenceValue	createSequenceAccumulatorValue(DomainCollectionType type, java.util.List<Value> values)
SequenceValue	createSequenceOf(java.lang.Iterable<?> objects)
SequenceValue	createSequenceOf(java.lang.Object... objects)
SequenceValue	createSequenceRange(DomainCollectionType type, IntegerRange range)
SequenceValue	createSequenceValue(DomainCollectionType type, java.util.Collection<? extends Value> values)
SequenceValue	createSequenceValue(DomainCollectionType type, java.util.List<? extends Value> values)
SequenceValue	createSequenceValue(DomainCollectionType type, Value... values)
SequenceValue	createSequenceValue(Value... value)
SetValue	createSetOf(java.lang.Iterable<?> objects)
SetValue	createSetOf(java.lang.Object... objects)
SetValue	createSetValue(DomainCollectionType type, java.util.Collection<? extends Value> values)
SetValue	createSetValue(DomainCollectionType type, java.util.Set<? extends Value> values)
SetValue	createSetValue(DomainCollectionType type, Value... values)
SetValue	createSetValue(Value... value)
TupleValue	createTupleValue(DomainTupleType type, java.util.Map<? extends DomainTypedElement,Value> values)
Value	createTypeValue(DomainType type)
void	dispose()
java.lang.Object	getEcoreValueOf(Value result)
DomainType	getElementType(java.lang.Iterable<Value> values)
DomainType	getElementType(Value... values)
BooleanValue	getFalse()
InvalidValue	getInvalid()
NullValue	getNull()
IntegerValue	getOne()
DomainStandardLibrary	getStandardLibrary()
BooleanValue	getTrue()
UnlimitedValue	getUnlimited()
IntegerValue	getZero()
IntegerValue	integerValueOf(java.math.BigInteger value)
IntegerValue	integerValueOf(int value)
IntegerValue	integerValueOf(long value)
IntegerValue	integerValueOf(java.lang.String aValue)
RealValue	realValueOf(java.math.BigDecimal value)
RealValue	realValueOf(double value)
RealValue	realValueOf(IntegerValue integerValue)
RealValue	realValueOf(java.lang.String aValue)
StringValue	stringValueOf(java.lang.String value)
InvalidValue	throwInvalidValueException(java.lang.String message, java.lang.Object... bindings)
DomainType	typeOf(Value value, Value... values)
Value	valueOf(java.lang.Object object)
Value	valueOf(java.lang.Object eValue, org.eclipse.emf.ecore.EClassifier eClassifier)
Value	valueOf(java.lang.Object eValue, org.eclipse.emf.ecore.ETypedElement eFeature)

Method Detail

booleanValueOf

BooleanValue booleanValueOf(boolean value)

createBagOf

BagValue createBagOf(java.lang.Object... objects)

createBagOf

BagValue createBagOf(java.lang.Iterable<?> objects)

createBagValue

BagValue createBagValue(DomainCollectionType type,
                        Value... values)

createBagValue

BagValue createBagValue(DomainCollectionType type,
                        Bag<? extends Value> values)

createBagValue

BagValue createBagValue(DomainCollectionType type,
                        java.util.Collection<? extends Value> values)

createBagValue

BagValue createBagValue(Value... values)

createBooleanAccumulatorValue

BooleanValue.Accumulator createBooleanAccumulatorValue()

createCollectionAccumulatorValue

CollectionValue.Accumulator createCollectionAccumulatorValue(DomainCollectionType type)

createCollectionValue

CollectionValue createCollectionValue(boolean isOrdered,
                                      boolean isUnique,
                                      Value... values)

Creates a new OCL Collection of the specified ordering and uniqueness.

Parameters:

isOrdered - the required collection ordering

isUnique - the required collection uniqueness

Returns:

the new collection

createCollectionValue

CollectionValue createCollectionValue(boolean isOrdered,
                                      boolean isUnique,
                                      java.util.Collection<Value> values)

createCollectionValue

CollectionValue createCollectionValue(boolean isOrdered,
                                      boolean isUnique,
                                      DomainType elementType,
                                      Value... values)

createCollectionValue

CollectionValue createCollectionValue(boolean isOrdered,
                                      boolean isUnique,
                                      DomainType elementType,
                                      java.util.Collection<Value> values)

createEObjectValue

ObjectValue createEObjectValue(org.eclipse.emf.ecore.EObject eObject)

createElementValue

ElementValue createElementValue(DomainElement element)

createEnumerationLiteralValue

EnumerationLiteralValue createEnumerationLiteralValue(DomainEnumerationLiteral element)

createEnumerationLiteralValue

EnumerationLiteralValue createEnumerationLiteralValue(org.eclipse.emf.ecore.EEnumLiteral eEnumLiteral)

createEnumerationLiteralValue

EnumerationLiteralValue createEnumerationLiteralValue(org.eclipse.emf.common.util.Enumerator enumerator,
                                                      org.eclipse.emf.ecore.EEnum eEnum)

createInvalidValue

InvalidValue createInvalidValue(InvalidEvaluationException exception)

createInvalidValue

InvalidValue createInvalidValue(InvalidValueException exception)

createObjectValue

ObjectValue createObjectValue(java.lang.Object object)

createOrderedSetOf

OrderedSetValue createOrderedSetOf(java.lang.Object... objects)

createOrderedSetOf

OrderedSetValue createOrderedSetOf(java.lang.Iterable<?> objects)

createOrderedSetValue

OrderedSetValue createOrderedSetValue(DomainCollectionType type,
                                      Value... values)

createOrderedSetValue

OrderedSetValue createOrderedSetValue(DomainCollectionType type,
                                      OrderedSet<? extends Value> values)

createOrderedSetValue

OrderedSetValue createOrderedSetValue(DomainCollectionType type,
                                      java.util.Collection<? extends Value> values)

createOrderedSetValue

OrderedSetValue createOrderedSetValue(Value... value)

createRange

IntegerRange createRange(IntegerValue firstInteger,
                         IntegerValue lastInteger)
                         throws InvalidValueException

Throws:

InvalidValueException

createSequenceAccumulatorValue

SequenceValue createSequenceAccumulatorValue(DomainCollectionType type,
                                             java.util.List<Value> values)

createSequenceOf

SequenceValue createSequenceOf(java.lang.Object... objects)

createSequenceOf

SequenceValue createSequenceOf(java.lang.Iterable<?> objects)

createSequenceRange

SequenceValue createSequenceRange(DomainCollectionType type,
                                  IntegerRange range)

createSequenceValue

SequenceValue createSequenceValue(DomainCollectionType type,
                                  Value... values)

createSequenceValue

SequenceValue createSequenceValue(DomainCollectionType type,
                                  java.util.List<? extends Value> values)

createSequenceValue

SequenceValue createSequenceValue(DomainCollectionType type,
                                  java.util.Collection<? extends Value> values)

createSequenceValue

SequenceValue createSequenceValue(Value... value)

createSetOf

SetValue createSetOf(java.lang.Object... objects)

createSetOf

SetValue createSetOf(java.lang.Iterable<?> objects)

createSetValue

SetValue createSetValue(DomainCollectionType type,
                        Value... values)

createSetValue

SetValue createSetValue(DomainCollectionType type,
                        java.util.Set<? extends Value> values)

createSetValue

SetValue createSetValue(DomainCollectionType type,
                        java.util.Collection<? extends Value> values)

createSetValue

SetValue createSetValue(Value... value)

createTupleValue

TupleValue createTupleValue(DomainTupleType type,
                            java.util.Map<? extends DomainTypedElement,Value> values)

createTypeValue

Value createTypeValue(DomainType type)

dispose

void dispose()

getEcoreValueOf

java.lang.Object getEcoreValueOf(Value result)

getElementType

DomainType getElementType(Value... values)

getElementType

DomainType getElementType(java.lang.Iterable<Value> values)

getFalse

BooleanValue getFalse()

getInvalid

InvalidValue getInvalid()

getNull

NullValue getNull()

getOne

IntegerValue getOne()

getStandardLibrary

DomainStandardLibrary getStandardLibrary()

getTrue

BooleanValue getTrue()

getUnlimited

UnlimitedValue getUnlimited()

getZero

IntegerValue getZero()

integerValueOf

IntegerValue integerValueOf(int value)

integerValueOf

IntegerValue integerValueOf(long value)

integerValueOf

IntegerValue integerValueOf(java.math.BigInteger value)

integerValueOf

IntegerValue integerValueOf(java.lang.String aValue)
                            throws InvalidValueException

Throws:

InvalidValueException

realValueOf

RealValue realValueOf(double value)

realValueOf

RealValue realValueOf(java.math.BigDecimal value)

realValueOf

RealValue realValueOf(IntegerValue integerValue)

realValueOf

RealValue realValueOf(java.lang.String aValue)
                      throws InvalidValueException

Throws:

InvalidValueException

stringValueOf

StringValue stringValueOf(java.lang.String value)

throwInvalidValueException

InvalidValue throwInvalidValueException(java.lang.String message,
                                        java.lang.Object... bindings)
                                        throws InvalidValueException

Throws:

InvalidValueException

typeOf

DomainType typeOf(Value value,
                  Value... values)

valueOf

Value valueOf(java.lang.Object object)

valueOf

Value valueOf(java.lang.Object eValue,
              org.eclipse.emf.ecore.EClassifier eClassifier)

valueOf

Value valueOf(java.lang.Object eValue,
              org.eclipse.emf.ecore.ETypedElement eFeature)