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

java.lang.Object
  extended by org.eclipse.ocl.examples.domain.values.impl.AbstractValue
      extended by org.eclipse.ocl.examples.domain.values.impl.AbstractUndefinedValue
          extended by org.eclipse.ocl.examples.domain.values.impl.AbstractUndefinedCollectionValue
All Implemented Interfaces:
java.lang.Comparable<NumericValue>, java.lang.Iterable<Value>, BagValue, BooleanValue, CollectionValue, ElementValue, IntegerValue, NullValue, NumericValue, ObjectValue, OrderedSetValue, RealValue, SequenceValue, SetValue, StringValue, TypeValue, UniqueCollectionValue, UnlimitedValue, Value
Direct Known Subclasses:
InvalidValueImpl, NullValueImpl

public abstract class AbstractUndefinedCollectionValue
extends AbstractUndefinedValue


Nested Class Summary
 
Nested classes/interfaces inherited from interface org.eclipse.ocl.examples.domain.values.BooleanValue
BooleanValue.Accumulator
 
Nested classes/interfaces inherited from interface org.eclipse.ocl.examples.domain.values.IntegerValue
IntegerValue.Accumulator
 
Field Summary
 
Fields inherited from class org.eclipse.ocl.examples.domain.values.impl.AbstractValue
valueFactory
 
Constructor Summary
protected AbstractUndefinedCollectionValue(ValueFactory valueFactory)
           
 
Method Summary
 SequenceValue append(Value object)
           
 java.util.Collection<Value> asCollection()
           
 java.util.List<Value> asList()
           
 Value at(int index)
           
 IntegerValue count(Value value)
           
 CollectionValue createNew()
           
 BooleanValue excludes(Value value)
           
 BooleanValue excludesAll(CollectionValue c)
           
 CollectionValue excluding(Value value)
           
 Value first()
           
 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)
           
 IntegerValue indexOf(Value object)
           
 SequenceValue insertAt(int index, Value object)
           
 CollectionValue intersection(CollectionValue c)
           
 int intSize()
           
 BooleanValue isEmpty()
           
 org.eclipse.ocl.examples.domain.values.impl.AbstractUndefinedCollectionValue.Iterator iterator()
           
 Value last()
           
 Value maxMin(DomainEvaluator evaluator, DomainType returnType, LibraryBinaryOperation binaryOperation)
           
 NullValue minus(UniqueCollectionValue set)
           
 BooleanValue notEmpty()
           
 SequenceValue prepend(Value object)
           
 java.util.Set<TupleValue> product(CollectionValue c, DomainTupleType tupleType)
           
 SequenceValue reverse()
           
 CollectionValue selectByKind(DomainType elementType)
           
 CollectionValue selectByType(DomainType elementType)
           
 IntegerValue size()
           
 SequenceValue sort(java.util.Comparator<Value> comparator)
           
 NullValue subOrderedSet(int lower, int upper)
           
 NullValue subSequence(int lower, int upper)
           
 Value sum(DomainEvaluator evaluator, DomainType returnType, LibraryBinaryOperation binaryOperation, Value zero)
           
 NullValue symmetricDifference(UniqueCollectionValue set)
           
 SequenceValue toSequenceValue()
           
 CollectionValue union(CollectionValue c)
           
 
Methods inherited from class org.eclipse.ocl.examples.domain.values.impl.AbstractUndefinedValue
abs, add, add, asFalse, asObject, asTrue, bigDecimalValue, bigIntegerValue, compareTo, div, divide, divide, doubleValue, floor, getElement, getInstanceType, getObject, isUndefined, max, max, min, min, mod, multiply, multiply, negate, round, signum, stringValue, subtract, subtract, toInvalidValue
 
Methods inherited from class org.eclipse.ocl.examples.domain.values.impl.AbstractValue
asBagValue, asBoolean, asBooleanValue, asCollectionValue, asDouble, asEcoreObject, asElement, asElementValue, asInteger, asIntegerValue, asNavigableObject, asObjectValue, asOrderedSetValue, asRealValue, asSequenceValue, asSetValue, asString, asStringValue, asTypeValue, asUniqueCollectionValue, getActualType, getValueFactory, isCollectionValue, isFalse, isIntegerValue, isInvalid, isNull, isRealValue, isTrue, isUnlimited, isUnlimitedNatural, oclToString, toIntegerValue, toIteratorValue, toRealValue, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface org.eclipse.ocl.examples.domain.values.NumericValue
toIntegerValue
 

Constructor Detail

AbstractUndefinedCollectionValue

protected AbstractUndefinedCollectionValue(ValueFactory valueFactory)
Method Detail

append

public SequenceValue append(Value object)
                     throws InvalidValueException
Throws:
InvalidValueException

asCollection

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

asList

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

at

public Value at(int index)
         throws InvalidValueException
Throws:
InvalidValueException

count

public IntegerValue count(Value value)
                   throws InvalidValueException
Throws:
InvalidValueException

createNew

public CollectionValue createNew()
                          throws InvalidValueException
Throws:
InvalidValueException

excludes

public BooleanValue excludes(Value value)
                      throws InvalidValueException
Throws:
InvalidValueException

excludesAll

public BooleanValue excludesAll(CollectionValue c)
                         throws InvalidValueException
Throws:
InvalidValueException

excluding

public CollectionValue excluding(Value value)
                          throws InvalidValueException
Throws:
InvalidValueException

first

public Value first()
            throws InvalidValueException
Throws:
InvalidValueException

flatten

public CollectionValue flatten()
                        throws InvalidValueException
Throws:
InvalidValueException

flatten

public boolean flatten(java.util.Collection<Value> flattenedElements)

getCollectionType

public DomainCollectionType getCollectionType()

getKind

public java.lang.String getKind()

includes

public BooleanValue includes(Value value)
                      throws InvalidValueException
Throws:
InvalidValueException

includesAll

public BooleanValue includesAll(CollectionValue c)
                         throws InvalidValueException
Throws:
InvalidValueException

including

public CollectionValue including(Value value)
                          throws InvalidValueException
Throws:
InvalidValueException

indexOf

public IntegerValue indexOf(Value object)
                     throws InvalidValueException
Throws:
InvalidValueException

insertAt

public SequenceValue insertAt(int index,
                              Value object)
                       throws InvalidValueException
Throws:
InvalidValueException

intSize

public int intSize()

intersection

public CollectionValue intersection(CollectionValue c)
                             throws InvalidValueException
Throws:
InvalidValueException

isEmpty

public BooleanValue isEmpty()
                     throws InvalidValueException
Throws:
InvalidValueException

iterator

public org.eclipse.ocl.examples.domain.values.impl.AbstractUndefinedCollectionValue.Iterator iterator()

last

public Value last()
           throws InvalidValueException
Throws:
InvalidValueException

maxMin

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

minus

public NullValue minus(UniqueCollectionValue set)
                throws InvalidValueException
Throws:
InvalidValueException

notEmpty

public BooleanValue notEmpty()
                      throws InvalidValueException
Throws:
InvalidValueException

prepend

public SequenceValue prepend(Value object)
                      throws InvalidValueException
Throws:
InvalidValueException

product

public java.util.Set<TupleValue> product(CollectionValue c,
                                         DomainTupleType tupleType)

reverse

public SequenceValue reverse()
                      throws InvalidValueException
Throws:
InvalidValueException

selectByKind

public CollectionValue selectByKind(DomainType elementType)
                             throws InvalidValueException
Throws:
InvalidValueException

selectByType

public CollectionValue selectByType(DomainType elementType)
                             throws InvalidValueException
Throws:
InvalidValueException

size

public IntegerValue size()
                  throws InvalidValueException
Throws:
InvalidValueException

sort

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

subOrderedSet

public NullValue subOrderedSet(int lower,
                               int upper)
                        throws InvalidValueException
Throws:
InvalidValueException

subSequence

public NullValue subSequence(int lower,
                             int upper)
                      throws InvalidValueException
Throws:
InvalidValueException

sum

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

symmetricDifference

public NullValue symmetricDifference(UniqueCollectionValue set)
                              throws InvalidValueException
Throws:
InvalidValueException

toSequenceValue

public SequenceValue toSequenceValue()

union

public CollectionValue union(CollectionValue c)