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

All Superinterfaces:
OclCollection
All Known Implementing Classes:
SequenceInstance

public interface OclSequence
extends OclCollection

Represents and identifies the OCL 1.5 type Sequence. 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 Sequence 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 append(java.lang.Object object)
           
 OclBag asBag()
           
 OclSet asSet()
           
 java.lang.Object at(OclInteger i)
           
 OclSequence collect(OclExpression expr)
           
 OclInteger count(java.lang.Object object)
           
 OclBoolean eq(OclSequence sequence2)
           
 OclSequence excluding(java.lang.Object object)
           
 java.lang.Object first()
           
 OclSequence including(java.lang.Object object)
           
 java.lang.Object iterate(OclExpression expr)
          Iterates over the collection.
 java.lang.Object last()
           
 OclSequence prepend(java.lang.Object object)
           
 OclSequence reject(OclExpression expr)
           
 OclSequence select(OclExpression expr)
           
 OclSequence subSequence(OclInteger lower, OclInteger upper)
           
 OclSequence union(OclSequence sequence2)
           
 
Methods inherited from interface de.tuberlin.cs.cis.ocl.type.reflect.OclCollection
any, count, excludes, excludesAll, exists, forAll, includes, includesAll, isEmpty, isUnique, notEmpty, one, size, sortedBy, sum
 

Method Detail

count

public OclInteger count(java.lang.Object object)

eq

public OclBoolean eq(OclSequence sequence2)

union

public OclSequence union(OclSequence sequence2)

append

public OclSequence append(java.lang.Object object)

prepend

public OclSequence prepend(java.lang.Object object)

subSequence

public OclSequence subSequence(OclInteger lower,
                               OclInteger upper)

at

public java.lang.Object at(OclInteger i)

first

public java.lang.Object first()

last

public java.lang.Object last()

including

public OclSequence including(java.lang.Object object)

excluding

public OclSequence excluding(java.lang.Object object)

select

public OclSequence select(OclExpression expr)

reject

public OclSequence reject(OclExpression expr)

collect

public OclSequence collect(OclExpression expr)

iterate

public java.lang.Object iterate(OclExpression expr)
Description copied from interface: OclCollection
Iterates over the collection.

Note: it is not neseccary to implement this method. It will soley be used for reflection purposes in the type system.

Specified by:
iterate in interface OclCollection
Parameters:
expr - an instance of OclExpression (!= null)
Returns:
the iteration over this collection.

asBag

public OclBag asBag()

asSet

public OclSet asSet()