|
Dresden OCL Toolkit | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttudresden.ocl.lib.OclCollection
tudresden.ocl.lib.OclUnsortedCollection
tudresden.ocl.lib.OclSet
A OclSet is a collection that does not contain duplicates. See documentation of OclCollection further information.
OclCollection
Field Summary |
Fields inherited from class tudresden.ocl.lib.OclCollection |
collection, STRICT_VALUE_TYPES |
Constructor Summary | |
|
OclSet(int dummy,
String reason)
private constructor for undefined OclSet |
protected |
OclSet(List l)
This constructor should only be used if the parameter is known to contain no duplicates, e.g. |
|
OclSet(Set set)
public constructor for valid OclSets; usually it is preferrably to use the methods Ocl.getOclRepresentationFor(...) to get
instances of library classes |
Method Summary | |
OclCollection |
collect(OclIterator iter,
OclRootEvaluatable eval)
|
OclCollection |
excluding(OclRoot obj)
STRICT_VALUE_TYPES determines whether the changes of the returned collection affect this collection, and if the returned is actually different from this collection. |
static OclSet |
getEmptyOclSet()
static factory method for OclSet containing no elements |
OclCollection |
including(OclRoot obj)
STRICT_VALUE_TYPES determines whether the changes of the returned collection affect this collection, and if the returned is actually different from this collection. |
protected Set |
intersection(Collection col)
This method is called by the public methods intersection(OclBag)
and intersection(OclSet) . |
OclUnsortedCollection |
intersection(OclBag bag)
The OCL types Bag and Set have this operation defined. |
OclSet |
intersection(OclSet set)
The OCL types Bag and Set have this operation defined. |
OclBoolean |
isEqualTo(Object o)
two OclSets are equal if they contain the same elements |
OclCollection |
select(OclIterator iter,
OclBooleanEvaluatable eval)
|
OclSubtractable |
subtract(OclSubtractable s)
STRICT_VALUE_TYPES determines whether the changes of the returned collection affect this collection, and if the returned is actually different from this collection. |
OclSet |
symmetricDifference(OclSet set)
STRICT_VALUE_TYPES determines whether the changes of the returned collection affect this collection, and if the returned is actually different from this collection. |
String |
toString()
|
OclBag |
union(OclBag bag)
The union of an OclSet and an OclBag is an OclBag. |
OclCollection |
union(OclCollection col)
This method tries to call the appropriate method of the same name (for OclSet or OclBag parameters) or, if there is no such method, handles this error by returning an undefined value. |
OclSet |
union(OclSet set)
The union of two OclSets is itself an OclSet again. |
Methods inherited from class tudresden.ocl.lib.OclUnsortedCollection |
getFeature |
Methods inherited from class tudresden.ocl.lib.OclCollection |
asBag, asSequence, asSet, becomeUndefined, collectToList, count, equals, excludes, exists, forAll, getFeatureAsCollection, getIterator, getUndefinedReason, includes, includesAll, isEmpty, isNotEqualTo, isUndefined, isUnique, iterate, notEmpty, reject, selectToList, setToInclude, setToRange, size, sortedBy, sum |
Methods inherited from class java.lang.Object |
clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Methods inherited from interface tudresden.ocl.lib.OclRoot |
getFeature, getFeatureAsCollection, getUndefinedReason, isNotEqualTo, isUndefined |
Constructor Detail |
public OclSet(Set set)
Ocl.getOclRepresentationFor(...)
to get
instances of library classes
protected OclSet(List l)
public OclSet(int dummy, String reason)
Method Detail |
public static OclSet getEmptyOclSet()
public OclBoolean isEqualTo(Object o)
isEqualTo
in interface OclRoot
isEqualTo
in class OclCollection
public OclCollection select(OclIterator iter, OclBooleanEvaluatable eval)
select
in class OclCollection
OclCollection.select(OclIterator iter, OclBooleanEvaluatable eval)
,
OclCollection.selectToList(OclIterator iter, OclBooleanEvaluatable eval)
public OclCollection collect(OclIterator iter, OclRootEvaluatable eval)
collect
in class OclCollection
OclCollection.collect(OclIterator iter, OclRootEvaluatable eval)
,
OclCollection.collectToList(OclIterator iter, OclRootEvaluatable eval)
public OclCollection union(OclCollection col)
union
in class OclCollection
OclCollection.union(OclCollection col)
,
union(OclBag col)
,
union(OclSet col)
public OclSet union(OclSet set)
public OclBag union(OclBag bag)
public OclUnsortedCollection intersection(OclBag bag)
OclUnsortedCollection
intersection
in class OclUnsortedCollection
public OclSet intersection(OclSet set)
OclUnsortedCollection
intersection
in class OclUnsortedCollection
protected Set intersection(Collection col)
intersection(OclBag)
and intersection(OclSet)
. It is assumed that this OclSet is not
undefined.
col
- must not be null
and should contain only
objects of type OclRoot
public OclCollection including(OclRoot obj)
including
in class OclCollection
OclCollection.STRICT_VALUE_TYPES
public OclSubtractable subtract(OclSubtractable s)
subtract
in interface OclSubtractable
s
- needs to be an OclSet, undefined value is returned
subtract(OclSubtractable)
,
OclReal.subtract(OclSubtractable)
,
OclInteger.subtract(OclSubtractable)
public OclSet symmetricDifference(OclSet set)
false
.
OclCollection.STRICT_VALUE_TYPES
public OclCollection excluding(OclRoot obj)
false
.
excluding
in class OclCollection
OclCollection.STRICT_VALUE_TYPES
public String toString()
toString
in class OclCollection
|
Dresden OCL Toolkit | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |