de.tuberlin.cs.cis.ocl.type.reflect
Interface OclSet

All Superinterfaces:

OclCollection

All Known Implementing Classes:

SetInstance

public interface OclSet

extends OclCollection

Represents and identifies the OCL 1.5 type Set. It is used by the context checker to reflect operations of and to identify the collection type within the OCL-context. The element type of the collection and the type of the evaluation of an expression parameter can not be represented. These types must be remapped to the specified type. Each instance of this interface is handled as an OCL instance of the type Set during the evaluation process. Its methods are used to describe the predefined properties of the type. For a complete description of the type and its properties (to be specific for this class and its methods) refer to the type description of OCL 1.5.

Author:

fchabar

See Also:

OCL 1.5 Standard, de.tuberlin.cs.cis.ocl.type, de.tuberlin.cs.cis.ocl.eval.instance

Method Summary

OclBag	asBag()
OclSequence	asSequence()
OclBag	collect(OclExpression expr)
OclInteger	count(java.lang.Object object)
OclBoolean	eq(OclSet set2)
OclSet	excluding(java.lang.Object object)
OclSet	including(java.lang.Object object)
OclSet	intersection(OclSet set2)
OclSet	minus(OclSet set2)
OclSet	reject(OclExpression expr)
OclSet	select(OclExpression expr)
OclSet	symetricDifference(OclSet set2)
OclSet	union(OclBag bag)
OclSet	union(OclSet set2)

Methods inherited from interface de.tuberlin.cs.cis.ocl.type.reflect.OclCollection

any, count, excludes, excludesAll, exists, forAll, includes, includesAll, isEmpty, isUnique, iterate, notEmpty, one, size, sortedBy, sum

Method Detail

union

public OclSet union(OclSet set2)

union

public OclSet union(OclBag bag)

eq

public OclBoolean eq(OclSet set2)

intersection

public OclSet intersection(OclSet set2)

minus

public OclSet minus(OclSet set2)

including

public OclSet including(java.lang.Object object)

excluding

public OclSet excluding(java.lang.Object object)

symetricDifference

public OclSet symetricDifference(OclSet set2)

select

public OclSet select(OclExpression expr)

reject

public OclSet reject(OclExpression expr)

collect

public OclBag collect(OclExpression expr)

count

public OclInteger count(java.lang.Object object)

asSequence

public OclSequence asSequence()

asBag

public OclBag asBag()