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

Method Summary
 OclSequence asSequence()
           
 OclSet asSet()
           
 OclBag collect(OclExpression expr)
           
 OclInteger count(java.lang.Object object)
           
 OclBoolean eq(OclBag bag2)
           
 OclBag excluding(java.lang.Object object)
           
 OclBag including(java.lang.Object object)
           
 OclBag intersection(OclBag bag2)
           
 OclSet intersection(OclSet set)
           
 OclBag reject(OclExpression expr)
           
 OclBag select(OclExpression expr)
           
 OclBag union(OclBag bag2)
           
 OclBag union(OclSet set)
           
 
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

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()