de.tuberlin.cs.cis.ocl.type.reflect
Interface OclBag
- All Superinterfaces:
- OclCollection
- All Known Implementing Classes:
- BagInstance
- public interface OclBag
- extends OclCollection
Represents and identifies the OCL 1.5 type Bag. 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 Bag 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
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 |
eq
public OclBoolean eq(OclBag bag2)
union
public OclBag union(OclBag bag2)
union
public OclBag union(OclSet set)
intersection
public OclBag intersection(OclBag bag2)
intersection
public OclSet intersection(OclSet set)
including
public OclBag including(java.lang.Object object)
excluding
public OclBag excluding(java.lang.Object object)
select
public OclBag select(OclExpression expr)
reject
public OclBag reject(OclExpression expr)
collect
public OclBag collect(OclExpression expr)
count
public OclInteger count(java.lang.Object object)
asSequence
public OclSequence asSequence()
asSet
public OclSet asSet()