org.infolayer.model.op
Class OpCollection

java.lang.Object
  org.infolayer.model.PredefinedOperation
      org.infolayer.model.op.OpCollection

All Implemented Interfaces:

OperationImpl

public class OpCollection

extends PredefinedOperation

Defines OCL collection operations.

Field Summary

static int	ANY
static int	COLLECT
static int	COLLECT_NESTED
static int	EXISTS
static int	FOR_ALL
static int	IS_UNIQUE
static int	ITERATE
static int	ONE
static int	REJECT
static int	SELECT
static int	SORTED_BY

Fields inherited from interface org.infolayer.model.OperationImpl

DETERMINISTIC, IL_EXTENSION, NO_PARAMETER, QUERY, SIDE_EFFECTS

Constructor Summary

OpCollection(UmlModel model, int op)

Method Summary

java.lang.Object	eval(java.lang.Object[] param)
UmlClassifier	getActualType(CollectionType sourceType, UmlClassifier bodyType) This call is used to determine the type if the type is dependent on the base type (the owner of the property) or the expression type.
UmlClassifier[]	getParameterTypes()
UmlClassifier	getType()
java.lang.Object	iterate(OclCollection source, OclExpression body)
java.lang.Object	iterate(OclCollection source, OclExpression body, Bindings context, VarDef iterator)
static java.lang.Long	op_indexOf(OclCollection c, java.lang.Object o)
static void	register(UmlClassifier COLLECTION, UmlClassifier SET, UmlClassifier BAG, UmlClassifier SEQUENCE, UmlClassifier ORDERED_SET)
boolean	resolvable()

Methods inherited from class org.infolayer.model.PredefinedOperation

eval

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

EXISTS

public static final int EXISTS

See Also:

Constant Field Values

FOR_ALL

public static final int FOR_ALL

See Also:

Constant Field Values

IS_UNIQUE

public static final int IS_UNIQUE

See Also:

Constant Field Values

SORTED_BY

public static final int SORTED_BY

See Also:

Constant Field Values

ITERATE

public static final int ITERATE

See Also:

Constant Field Values

ANY

public static final int ANY

See Also:

Constant Field Values

ONE

public static final int ONE

See Also:

Constant Field Values

SELECT

public static final int SELECT

See Also:

Constant Field Values

REJECT

public static final int REJECT

See Also:

Constant Field Values

COLLECT

public static final int COLLECT

See Also:

Constant Field Values

COLLECT_NESTED

public static final int COLLECT_NESTED

See Also:

Constant Field Values

Constructor Detail

OpCollection

public OpCollection(UmlModel model,
                    int op)

Method Detail

register

public static void register(UmlClassifier COLLECTION,
                            UmlClassifier SET,
                            UmlClassifier BAG,
                            UmlClassifier SEQUENCE,
                            UmlClassifier ORDERED_SET)

op_indexOf

public static java.lang.Long op_indexOf(OclCollection c,
                                        java.lang.Object o)

getType

public UmlClassifier getType()

getActualType

public UmlClassifier getActualType(CollectionType sourceType,
                                   UmlClassifier bodyType)

This call is used to determine the type if the type is dependent on the base type (the owner of the property) or the expression type. The expression parameter may be null, if it does not apply to this property

getParameterTypes

public UmlClassifier[] getParameterTypes()

eval

public java.lang.Object eval(java.lang.Object[] param)

resolvable

public boolean resolvable()

iterate

public java.lang.Object iterate(OclCollection source,
                                OclExpression body)

iterate

public java.lang.Object iterate(OclCollection source,
                                OclExpression body,
                                Bindings context,
                                VarDef iterator)