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

All Superinterfaces:
java.lang.Iterable<Value>, Value
All Known Subinterfaces:
BagValue, CollectionValue.Accumulator, InvalidValue, NullValue, OrderedSetValue, SequenceValue, SetValue, UniqueCollectionValue
All Known Implementing Classes:
AbstractCollectionValue, AbstractedCollectionValue, AbstractSequenceValue, AbstractUndefinedCollectionValue, AbstractUndefinedValue, BagValueImpl, BagValueImpl.Accumulator, InvalidValueImpl, NullValueImpl, OCLConsolePage.ExceptionValue, OrderedSetValueImpl, OrderedSetValueImpl.Accumulator, SequenceRangeImpl, SequenceValueImpl, SequenceValueImpl.Accumulator, SetValueImpl, SetValueImpl.Accumulator

public interface CollectionValue
extends Value, java.lang.Iterable<Value>


Nested Class Summary
static interface CollectionValue.Accumulator
           
 
Field Summary
 
Fields inherited from interface org.eclipse.ocl.examples.domain.values.Value
INVALID_NAME
 
Method Summary
 java.util.Collection<Value> asCollection()
           
 java.util.List<Value> asList()
           
 IntegerValue count(Value value)
           
 BooleanValue excludes(Value value)
           
 BooleanValue excludesAll(CollectionValue c)
           
 CollectionValue excluding(Value value)
           
 CollectionValue flatten()
           
 boolean flatten(java.util.Collection<Value> flattenedElements)
           
 DomainCollectionType getCollectionType()
           
 java.lang.String getKind()
           
 BooleanValue includes(Value value)
           
 BooleanValue includesAll(CollectionValue c)
           
 CollectionValue including(Value value)
           
 CollectionValue intersection(CollectionValue c)
           
 int intSize()
           
 BooleanValue isEmpty()
           
 java.util.Iterator<Value> iterator()
           
 Value maxMin(DomainEvaluator evaluator, DomainType returnType, LibraryBinaryOperation binaryOperation)
           
 BooleanValue notEmpty()
           
 java.util.Set<TupleValue> product(CollectionValue c, DomainTupleType tupleType)
           
 CollectionValue selectByKind(DomainType typeValue)
           
 CollectionValue selectByType(DomainType typeValue)
           
 IntegerValue size()
           
 SequenceValue sort(java.util.Comparator<Value> comparator)
           
 Value sum(DomainEvaluator evaluator, DomainType returnType, LibraryBinaryOperation binaryOperation, Value zero)
           
 SequenceValue toSequenceValue()
           
 CollectionValue union(CollectionValue c)
           
 
Methods inherited from interface org.eclipse.ocl.examples.domain.values.Value
asBagValue, asBoolean, asBooleanValue, asCollectionValue, asDouble, asEcoreObject, asElement, asElementValue, asInteger, asIntegerValue, asNavigableObject, asObject, asObjectValue, asOrderedSetValue, asRealValue, asSequenceValue, asSetValue, asString, asStringValue, asTypeValue, asUniqueCollectionValue, asValidValue, getActualType, getType, getValueFactory, isCollectionValue, isFalse, isIntegerValue, isInvalid, isNull, isRealValue, isTrue, isUndefined, isUnlimited, isUnlimitedNatural, oclToString, toIntegerValue, toIteratorValue, toRealValue, toString
 

Method Detail

asCollection

java.util.Collection<Value> asCollection()

asList

java.util.List<Value> asList()

count

IntegerValue count(Value value)
                   throws InvalidValueException
Throws:
InvalidValueException

excludes

BooleanValue excludes(Value value)
                      throws InvalidValueException
Throws:
InvalidValueException

excludesAll

BooleanValue excludesAll(CollectionValue c)
                         throws InvalidValueException
Throws:
InvalidValueException

excluding

CollectionValue excluding(Value value)
                          throws InvalidValueException
Throws:
InvalidValueException

flatten

CollectionValue flatten()
                        throws InvalidValueException
Throws:
InvalidValueException

flatten

boolean flatten(java.util.Collection<Value> flattenedElements)
                throws InvalidValueException
Throws:
InvalidValueException

getCollectionType

DomainCollectionType getCollectionType()

getKind

java.lang.String getKind()

includes

BooleanValue includes(Value value)
                      throws InvalidValueException
Throws:
InvalidValueException

includesAll

BooleanValue includesAll(CollectionValue c)
                         throws InvalidValueException
Throws:
InvalidValueException

including

CollectionValue including(Value value)
                          throws InvalidValueException
Throws:
InvalidValueException

intSize

int intSize()

intersection

CollectionValue intersection(CollectionValue c)
                             throws InvalidValueException
Throws:
InvalidValueException

isEmpty

BooleanValue isEmpty()
                     throws InvalidValueException
Throws:
InvalidValueException

iterator

java.util.Iterator<Value> iterator()
Specified by:
iterator in interface java.lang.Iterable<Value>

maxMin

Value maxMin(DomainEvaluator evaluator,
             DomainType returnType,
             LibraryBinaryOperation binaryOperation)
             throws InvalidValueException
Throws:
InvalidValueException

notEmpty

BooleanValue notEmpty()
                      throws InvalidValueException
Throws:
InvalidValueException

product

java.util.Set<TupleValue> product(CollectionValue c,
                                  DomainTupleType tupleType)
                                  throws InvalidValueException
Throws:
InvalidValueException

selectByKind

CollectionValue selectByKind(DomainType typeValue)
                             throws InvalidValueException
Throws:
InvalidValueException

selectByType

CollectionValue selectByType(DomainType typeValue)
                             throws InvalidValueException
Throws:
InvalidValueException

size

IntegerValue size()
                  throws InvalidValueException
Throws:
InvalidValueException

sort

SequenceValue sort(java.util.Comparator<Value> comparator)
                   throws InvalidValueException
Throws:
InvalidValueException

sum

Value sum(DomainEvaluator evaluator,
          DomainType returnType,
          LibraryBinaryOperation binaryOperation,
          Value zero)
          throws InvalidValueException
Throws:
InvalidValueException

toSequenceValue

SequenceValue toSequenceValue()
                              throws InvalidValueException
Throws:
InvalidValueException

union

CollectionValue union(CollectionValue c)
                      throws InvalidValueException
Throws:
InvalidValueException