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

java.lang.Object
  extended by org.eclipse.ocl.examples.pivot.values.impl.AbstractValue
      extended by org.eclipse.ocl.examples.pivot.values.impl.AbstractUndefinedValue
          extended by org.eclipse.ocl.examples.pivot.values.impl.AbstractUndefinedCollectionValue
All Implemented Interfaces:
java.lang.Comparable<NumericValue>, java.lang.Iterable<Value>, BagValue, BooleanValue, CollectionValue, ElementValue<Type>, IntegerValue, NonOrderedCollectionValue, NonUniqueCollectionValue, NullValue, NumericValue, ObjectValue, OrderedCollectionValue, 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.pivot.values.CollectionValue
CollectionValue.Accumulator
 
Field Summary
 
Fields inherited from class org.eclipse.ocl.examples.pivot.values.impl.AbstractValue
valueFactory
 
Constructor Summary
protected AbstractUndefinedCollectionValue(ValueFactory valueFactory)
           
 
Method Summary
 OrderedCollectionValue 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)
           
 CollectionKind getKind()
           
 BooleanValue includes(Value value)
           
 BooleanValue includesAll(CollectionValue c)
           
 CollectionValue including(Value value)
           
 IntegerValue indexOf(Value object)
           
 OrderedCollectionValue insertAt(int index, Value object)
           
 CollectionValue intersection(CollectionValue c)
           
 int intSize()
           
 BooleanValue isEmpty()
           
 org.eclipse.ocl.examples.pivot.values.impl.AbstractUndefinedCollectionValue.Iterator iterator()
           
 Value last()
           
 Value maxMin(Value.BinaryOperation binaryOperation)
           
 NullValue minus(UniqueCollectionValue set)
           
 BooleanValue notEmpty()
           
 OrderedCollectionValue prepend(Value object)
           
 java.util.Set<TupleValue> product(CollectionValue c, TupleType tupleType)
           
 OrderedCollectionValue reverse()
           
 IntegerValue size()
           
 OrderedCollectionValue sort(java.util.Comparator<Value> comparator)
           
 NullValue subOrderedSet(int lower, int upper)
           
 NullValue subSequence(int lower, int upper)
           
 Value sum(Value.BinaryOperation binaryOperation, Value zero)
           
 NullValue symmetricDifference(UniqueCollectionValue set)
           
 OrderedCollectionValue toOrderedCollectionValue()
           
 CollectionValue union(CollectionValue c)
           
 
Methods inherited from class org.eclipse.ocl.examples.pivot.values.impl.AbstractUndefinedValue
abs, add, add, asFalse, asObject, asTrue, bigDecimalValue, bigIntegerValue, compareTo, div, divide, divide, doubleValue, floor, getElement, getInstanceType, getObject, getType, isUndefined, max, max, min, min, mod, multiply, multiply, negate, round, signum, stringValue, subtract, subtract, toInvalidValue
 
Methods inherited from class org.eclipse.ocl.examples.pivot.values.impl.AbstractValue
asBagValue, asBoolean, asBooleanValue, asCollectionValue, asDouble, asElement, asElementValue, asInteger, asIntegerValue, asObjectValue, asOrderedCollectionValue, asOrderedSetValue, asRealValue, asSequenceValue, asSetValue, asString, asStringValue, asTypeValue, asUniqueCollectionValue, getValueFactory, isCollectionValue, isFalse, isIntegerValue, isInvalid, isNull, isRealValue, isTrue, isUnlimited, isUnlimitedNatural, oclToString, toIntegerValue, 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.pivot.values.NumericValue
toIntegerValue
 
Methods inherited from interface org.eclipse.ocl.examples.pivot.values.TypeValue
asTypeValue
 

Constructor Detail

AbstractUndefinedCollectionValue

protected AbstractUndefinedCollectionValue(ValueFactory valueFactory)
Method Detail

append

public OrderedCollectionValue 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)

getKind

public CollectionKind 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 OrderedCollectionValue 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.pivot.values.impl.AbstractUndefinedCollectionValue.Iterator iterator()

last

public Value last()
           throws InvalidValueException
Throws:
InvalidValueException

maxMin

public Value maxMin(Value.BinaryOperation 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 OrderedCollectionValue prepend(Value object)
                               throws InvalidValueException
Throws:
InvalidValueException

product

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

reverse

public OrderedCollectionValue reverse()
                               throws InvalidValueException
Throws:
InvalidValueException

size

public IntegerValue size()
                  throws InvalidValueException
Throws:
InvalidValueException

sort

public OrderedCollectionValue 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(Value.BinaryOperation binaryOperation,
                 Value zero)
          throws InvalidValueException
Throws:
InvalidValueException

symmetricDifference

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

toOrderedCollectionValue

public OrderedCollectionValue toOrderedCollectionValue()

union

public CollectionValue union(CollectionValue c)