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

All Superinterfaces:
CollectionValue, java.lang.Iterable<java.lang.Object>, UniqueCollectionValue, Value
All Known Subinterfaces:
InvalidValue, NullValue, SetValue.Accumulator
All Known Implementing Classes:
EvaluationHaltedException, InvalidValueException, NullValueImpl, SetValueImpl, SetValueImpl.Accumulator, UndefinedValueImpl, VMException, VMInterruptedExecutionException, VMRuntimeException, VMStackOverFlowError

public interface SetValue
extends UniqueCollectionValue


Nested Class Summary
static interface SetValue.Accumulator
           
 
Field Summary
 
Fields inherited from interface org.eclipse.ocl.examples.domain.values.Value
INVALID_NAME
 
Method Summary
 
Methods inherited from interface org.eclipse.ocl.examples.domain.values.UniqueCollectionValue
minus, symmetricDifference
 
Methods inherited from interface org.eclipse.ocl.examples.domain.values.CollectionValue
asCollection, asEcoreObject, asEcoreObject, asEcoreObjects, count, excludes, excludesAll, excluding, excludingAll, flatten, flatten, getElements, getKind, getTypeId, includes, includesAll, including, includingAll, intersection, intSize, isEmpty, isOrdered, isUnique, iterable, iterator, notEmpty, product, size, sort, toSequenceValue, union
 
Methods inherited from interface org.eclipse.ocl.examples.domain.values.Value
asBagValue, asCollectionValue, asDouble, asElement, asInteger, asIntegerValue, asNavigableObject, asObject, asObjectValue, asOrderedCollectionValue, asOrderedSetValue, asRealValue, asSequenceValue, asSetValue, asTupleValue, asUniqueCollectionValue, asUnlimitedNaturalValue, isInvalid, isUndefined, toString