org.eclipse.ocl.examples.domain.values.impl
Class AbstractedCollectionValue

java.lang.Object
  org.eclipse.ocl.examples.domain.values.impl.AbstractValue
      org.eclipse.ocl.examples.domain.values.impl.AbstractedCollectionValue

All Implemented Interfaces:

java.lang.Iterable<Value>, CollectionValue, Value

Direct Known Subclasses:

AbstractCollectionValue

public abstract class AbstractedCollectionValue
extends AbstractValue
implements CollectionValue

Nested Class Summary

Nested classes/interfaces inherited from interface org.eclipse.ocl.examples.domain.values.CollectionValue

CollectionValue.Accumulator

Field Summary

protected DomainCollectionType

type

Fields inherited from class org.eclipse.ocl.examples.domain.values.impl.AbstractValue

valueFactory

Fields inherited from interface org.eclipse.ocl.examples.domain.values.Value

INVALID_NAME

Constructor Summary

protected

AbstractedCollectionValue(ValueFactory valueFactory, DomainCollectionType type)

Method Summary

java.util.Collection<Value>	asCollection()
CollectionValue	asCollectionValue()
java.util.List<Value>	asList()
java.lang.Object	asObject()
Value	asValidValue()
DomainType	getActualType() Return the type of this value determined from its content.
protected abstract java.util.Collection<Value>	getElements()
DomainCollectionType	getType() Return the type of this value determined from its construction context.
CollectionValue	isCollectionValue()
BooleanValue	isEmpty()
BooleanValue	notEmpty()
IntegerValue	size()
java.lang.String	toString()
void	toString(java.lang.StringBuilder s, int lengthLimit)

Methods inherited from class org.eclipse.ocl.examples.domain.values.impl.AbstractValue

asBagValue, asBoolean, asBooleanValue, asDouble, asEcoreObject, asElement, asElementValue, asInteger, asIntegerValue, asNavigableObject, asObjectValue, asOrderedSetValue, asRealValue, asSequenceValue, asSetValue, asString, asStringValue, asTypeValue, asUniqueCollectionValue, getValueFactory, isFalse, isIntegerValue, isInvalid, isNull, isRealValue, isTrue, isUndefined, isUnlimited, isUnlimitedNatural, oclToString, toIntegerValue, toIteratorValue, toRealValue

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.eclipse.ocl.examples.domain.values.CollectionValue

count, excludes, excludesAll, excluding, flatten, flatten, getCollectionType, getKind, includes, includesAll, including, intersection, intSize, iterator, maxMin, product, selectByKind, selectByType, sort, sum, toSequenceValue, union

Methods inherited from interface org.eclipse.ocl.examples.domain.values.Value

asBagValue, asBoolean, asBooleanValue, asDouble, asEcoreObject, asElement, asElementValue, asInteger, asIntegerValue, asNavigableObject, asObjectValue, asOrderedSetValue, asRealValue, asSequenceValue, asSetValue, asString, asStringValue, asTypeValue, asUniqueCollectionValue, getValueFactory, isFalse, isIntegerValue, isInvalid, isNull, isRealValue, isTrue, isUndefined, isUnlimited, isUnlimitedNatural, oclToString, toIntegerValue, toIteratorValue, toRealValue

Field Detail

type

protected final DomainCollectionType type

Constructor Detail

AbstractedCollectionValue

protected AbstractedCollectionValue(ValueFactory valueFactory,
                                    DomainCollectionType type)

Method Detail

asCollection

public java.util.Collection<Value> asCollection()

Specified by:

asCollection in interface CollectionValue

asCollectionValue

public CollectionValue asCollectionValue()

Specified by:

asCollectionValue in interface Value

Overrides:

asCollectionValue in class AbstractValue

asList

public java.util.List<Value> asList()

Specified by:

asList in interface CollectionValue

asObject

public java.lang.Object asObject()

Specified by:

asObject in interface Value

asValidValue

public Value asValidValue()

Specified by:

asValidValue in interface Value

getActualType

public DomainType getActualType()

Description copied from interface: Value

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.

Specified by:

getActualType in interface Value

Overrides:

getActualType in class AbstractValue

getElements

protected abstract java.util.Collection<Value> getElements()

getType

public DomainCollectionType getType()

Description copied from interface: Value

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

Specified by:

getType in interface Value

isCollectionValue

public CollectionValue isCollectionValue()

Specified by:

isCollectionValue in interface Value

Overrides:

isCollectionValue in class AbstractValue

isEmpty

public BooleanValue isEmpty()

Specified by:

isEmpty in interface CollectionValue

notEmpty

public BooleanValue notEmpty()

Specified by:

notEmpty in interface CollectionValue

size

public IntegerValue size()

Specified by:

size in interface CollectionValue

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

toString

public void toString(java.lang.StringBuilder s,
                     int lengthLimit)

Specified by:

toString in interface Value

Overrides:

toString in class AbstractValue