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

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

public interface UniqueCollectionValue
extends CollectionValue


Nested Class Summary
 
Nested classes/interfaces inherited from interface org.eclipse.ocl.examples.domain.values.CollectionValue
CollectionValue.Accumulator
 
Field Summary
 
Fields inherited from interface org.eclipse.ocl.examples.domain.values.Value
INVALID_NAME
 
Method Summary
 UniqueCollectionValue minus(UniqueCollectionValue set)
           
 UniqueCollectionValue symmetricDifference(UniqueCollectionValue set)
           
 
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
 

Method Detail

minus

@NonNull
UniqueCollectionValue minus(@NonNull
                                    UniqueCollectionValue set)
Generated
NOT

symmetricDifference

@NonNull
UniqueCollectionValue symmetricDifference(@NonNull
                                                  UniqueCollectionValue set)
Generated
NOT