org.eclipse.ocl.utilities
Interface PredefinedType<O>

All Known Subinterfaces:

AnyType<O>, AnyType, AnyType, BagType<C,O>, BagType, BagType, CollectionType<C,O>, CollectionType, CollectionType, InvalidType<O>, InvalidType, InvalidType, MessageType<C,O,P>, MessageType, MessageType, OrderedSetType<C,O>, OrderedSetType, OrderedSetType, PrimitiveType<O>, PrimitiveType, PrimitiveType, SequenceType<C,O>, SequenceType, SequenceType, SetType<C,O>, SetType, SetType, TupleType<O,P>, TupleType, TupleType, TypeType<C,O>, TypeType, TypeType, VoidType<O>, VoidType, VoidType

All Known Implementing Classes:

AnyTypeImpl, AnyTypeImpl, AnyTypeImpl, BagTypeImpl, BagTypeImpl, BagTypeImpl, CollectionTypeImpl, CollectionTypeImpl, CollectionTypeImpl, InvalidTypeImpl, InvalidTypeImpl, InvalidTypeImpl, MessageTypeImpl, MessageTypeImpl, MessageTypeImpl, OrderedSetTypeImpl, OrderedSetTypeImpl, OrderedSetTypeImpl, PrimitiveTypeImpl, PrimitiveTypeImpl, PrimitiveTypeImpl, SequenceTypeImpl, SequenceTypeImpl, SequenceTypeImpl, SetTypeImpl, SetTypeImpl, SetTypeImpl, TupleTypeImpl, TupleTypeImpl, TupleTypeImpl, TypeTypeImpl, TypeTypeImpl, TypeTypeImpl, VoidTypeImpl, VoidTypeImpl, VoidTypeImpl

public interface PredefinedType<O>

A representation of the model object 'Predefined Type'.

See Also:

UtilitiesPackage.getPredefinedType()

Field Summary

static int	ABS
static java.lang.String	ABS_NAME
static int	ALL_INSTANCES
static java.lang.String	ALL_INSTANCES_NAME
static int	AND
static java.lang.String	AND_NAME
static int	ANY
static java.lang.String	ANY_NAME
static int	APPEND
static java.lang.String	APPEND_NAME
static int	AS_BAG
static java.lang.String	AS_BAG_NAME
static int	AS_ORDERED_SET
static java.lang.String	AS_ORDERED_SET_NAME
static int	AS_SEQUENCE
static java.lang.String	AS_SEQUENCE_NAME
static int	AS_SET
static java.lang.String	AS_SET_NAME
static int	AT
static java.lang.String	AT_NAME
static int	CLOSURE
static java.lang.String	CLOSURE_NAME
static int	COLLECT
static java.lang.String	COLLECT_NAME
static int	COLLECT_NESTED
static java.lang.String	COLLECT_NESTED_NAME
static int	CONCAT
static java.lang.String	CONCAT_NAME
static int	COUNT
static java.lang.String	COUNT_NAME
static int	DIV
static java.lang.String	DIV_NAME
static int	DIVIDE
static java.lang.String	DIVIDE_NAME
static int	EQUAL
static java.lang.String	EQUAL_NAME
static int	EXCLUDES
static int	EXCLUDES_ALL
static java.lang.String	EXCLUDES_ALL_NAME
static java.lang.String	EXCLUDES_NAME
static int	EXCLUDING
static java.lang.String	EXCLUDING_NAME
static int	EXISTS
static java.lang.String	EXISTS_NAME
static int	FIRST
static java.lang.String	FIRST_NAME
static int	FLATTEN
static java.lang.String	FLATTEN_NAME
static int	FLOOR
static java.lang.String	FLOOR_NAME
static int	FOR_ALL
static java.lang.String	FOR_ALL_NAME
static int	GREATER_THAN
static int	GREATER_THAN_EQUAL
static java.lang.String	GREATER_THAN_EQUAL_NAME
static java.lang.String	GREATER_THAN_NAME
static int	HAS_RETURNED
static java.lang.String	HAS_RETURNED_NAME
static int	IMPLIES
static java.lang.String	IMPLIES_NAME
static int	INCLUDES
static int	INCLUDES_ALL
static java.lang.String	INCLUDES_ALL_NAME
static java.lang.String	INCLUDES_NAME
static int	INCLUDING
static java.lang.String	INCLUDING_NAME
static int	INDEX_OF
static java.lang.String	INDEX_OF_NAME
static int	INSERT_AT
static java.lang.String	INSERT_AT_NAME
static int	INTERSECTION
static java.lang.String	INTERSECTION_NAME
static int	IS_EMPTY
static java.lang.String	IS_EMPTY_NAME
static int	IS_OPERATION_CALL
static java.lang.String	IS_OPERATION_CALL_NAME
static int	IS_SIGNAL_SENT
static java.lang.String	IS_SIGNAL_SENT_NAME
static int	IS_UNIQUE
static java.lang.String	IS_UNIQUE_NAME
static int	LAST
static java.lang.String	LAST_NAME
static int	LESS_THAN
static int	LESS_THAN_EQUAL
static java.lang.String	LESS_THAN_EQUAL_NAME
static java.lang.String	LESS_THAN_NAME
static int	MAX
static java.lang.String	MAX_NAME
static int	MIN
static java.lang.String	MIN_NAME
static int	MINUS
static java.lang.String	MINUS_NAME
static int	MOD
static java.lang.String	MOD_NAME
static int	NOT
static int	NOT_EMPTY
static java.lang.String	NOT_EMPTY_NAME
static int	NOT_EQUAL
static java.lang.String	NOT_EQUAL_NAME
static java.lang.String	NOT_NAME
static int	OCL_AS_TYPE
static java.lang.String	OCL_AS_TYPE_NAME
static int	OCL_IS_IN_STATE
static java.lang.String	OCL_IS_IN_STATE_NAME
static int	OCL_IS_INVALID
static java.lang.String	OCL_IS_INVALID_NAME
static int	OCL_IS_KIND_OF
static java.lang.String	OCL_IS_KIND_OF_NAME
static int	OCL_IS_NEW
static java.lang.String	OCL_IS_NEW_NAME
static int	OCL_IS_TYPE_OF
static java.lang.String	OCL_IS_TYPE_OF_NAME
static int	OCL_IS_UNDEFINED
static java.lang.String	OCL_IS_UNDEFINED_NAME
static int	ONE
static java.lang.String	ONE_NAME
static int	OR
static java.lang.String	OR_NAME
static int	PLUS
static java.lang.String	PLUS_NAME
static int	PREPEND
static java.lang.String	PREPEND_NAME
static int	PRODUCT
static java.lang.String	PRODUCT_NAME
static int	REJECT
static java.lang.String	REJECT_NAME
static int	RESULT
static java.lang.String	RESULT_NAME
static int	ROUND
static java.lang.String	ROUND_NAME
static int	SELECT
static java.lang.String	SELECT_NAME
static int	SIZE
static java.lang.String	SIZE_NAME
static int	SORTED_BY
static java.lang.String	SORTED_BY_NAME
static int	SUB_ORDERED_SET
static java.lang.String	SUB_ORDERED_SET_NAME
static int	SUB_SEQUENCE
static java.lang.String	SUB_SEQUENCE_NAME
static int	SUBSTRING
static java.lang.String	SUBSTRING_NAME
static int	SUM
static java.lang.String	SUM_NAME
static int	SYMMETRIC_DIFFERENCE
static java.lang.String	SYMMETRIC_DIFFERENCE_NAME
static int	TIMES
static java.lang.String	TIMES_NAME
static int	TO_INTEGER
static java.lang.String	TO_INTEGER_NAME
static int	TO_LOWER
static java.lang.String	TO_LOWER_NAME
static int	TO_REAL
static java.lang.String	TO_REAL_NAME
static int	TO_UPPER
static java.lang.String	TO_UPPER_NAME
static int	UNION
static java.lang.String	UNION_NAME
static int	XOR
static java.lang.String	XOR_NAME

Method Summary

java.lang.String	getName() If the meaning of the 'Name' attribute isn't clear, there really should be more of a description here...
	oclOperations() If the meaning of the 'Operations' reference list isn't clear, there really should be more of a description here...

Field Detail

PLUS

static final int PLUS

See Also:

Constant Field Values

PLUS_NAME

static final java.lang.String PLUS_NAME

See Also:

Constant Field Values

MINUS

static final int MINUS

See Also:

Constant Field Values

MINUS_NAME

static final java.lang.String MINUS_NAME

See Also:

Constant Field Values

TIMES

static final int TIMES

See Also:

Constant Field Values

TIMES_NAME

static final java.lang.String TIMES_NAME

See Also:

Constant Field Values

DIVIDE

static final int DIVIDE

See Also:

Constant Field Values

DIVIDE_NAME

static final java.lang.String DIVIDE_NAME

See Also:

Constant Field Values

AND

static final int AND

See Also:

Constant Field Values

AND_NAME

static final java.lang.String AND_NAME

See Also:

Constant Field Values

NOT

static final int NOT

See Also:

Constant Field Values

NOT_NAME

static final java.lang.String NOT_NAME

See Also:

Constant Field Values

OR

static final int OR

See Also:

Constant Field Values

OR_NAME

static final java.lang.String OR_NAME

See Also:

Constant Field Values

IMPLIES

static final int IMPLIES

See Also:

Constant Field Values

IMPLIES_NAME

static final java.lang.String IMPLIES_NAME

See Also:

Constant Field Values

ABS

static final int ABS

See Also:

Constant Field Values

ABS_NAME

static final java.lang.String ABS_NAME

See Also:

Constant Field Values

DIV

static final int DIV

See Also:

Constant Field Values

DIV_NAME

static final java.lang.String DIV_NAME

See Also:

Constant Field Values

MOD

static final int MOD

See Also:

Constant Field Values

MOD_NAME

static final java.lang.String MOD_NAME

See Also:

Constant Field Values

MAX

static final int MAX

See Also:

Constant Field Values

MAX_NAME

static final java.lang.String MAX_NAME

See Also:

Constant Field Values

MIN

static final int MIN

See Also:

Constant Field Values

MIN_NAME

static final java.lang.String MIN_NAME

See Also:

Constant Field Values

SIZE

static final int SIZE

See Also:

Constant Field Values

SIZE_NAME

static final java.lang.String SIZE_NAME

See Also:

Constant Field Values

CONCAT

static final int CONCAT

See Also:

Constant Field Values

CONCAT_NAME

static final java.lang.String CONCAT_NAME

See Also:

Constant Field Values

SUBSTRING

static final int SUBSTRING

See Also:

Constant Field Values

SUBSTRING_NAME

static final java.lang.String SUBSTRING_NAME

See Also:

Constant Field Values

TO_INTEGER

static final int TO_INTEGER

See Also:

Constant Field Values

TO_INTEGER_NAME

static final java.lang.String TO_INTEGER_NAME

See Also:

Constant Field Values

TO_REAL

static final int TO_REAL

See Also:

Constant Field Values

TO_REAL_NAME

static final java.lang.String TO_REAL_NAME

See Also:

Constant Field Values

XOR

static final int XOR

See Also:

Constant Field Values

XOR_NAME

static final java.lang.String XOR_NAME

See Also:

Constant Field Values

FLOOR

static final int FLOOR

See Also:

Constant Field Values

FLOOR_NAME

static final java.lang.String FLOOR_NAME

See Also:

Constant Field Values

ROUND

static final int ROUND

See Also:

Constant Field Values

ROUND_NAME

static final java.lang.String ROUND_NAME

See Also:

Constant Field Values

TO_LOWER

static final int TO_LOWER

See Also:

Constant Field Values

TO_LOWER_NAME

static final java.lang.String TO_LOWER_NAME

See Also:

Constant Field Values

TO_UPPER

static final int TO_UPPER

See Also:

Constant Field Values

TO_UPPER_NAME

static final java.lang.String TO_UPPER_NAME

See Also:

Constant Field Values

ALL_INSTANCES

static final int ALL_INSTANCES

See Also:

Constant Field Values

ALL_INSTANCES_NAME

static final java.lang.String ALL_INSTANCES_NAME

See Also:

Constant Field Values

EQUAL

static final int EQUAL

See Also:

Constant Field Values

EQUAL_NAME

static final java.lang.String EQUAL_NAME

See Also:

Constant Field Values

NOT_EQUAL

static final int NOT_EQUAL

See Also:

Constant Field Values

NOT_EQUAL_NAME

static final java.lang.String NOT_EQUAL_NAME

See Also:

Constant Field Values

OCL_AS_TYPE

static final int OCL_AS_TYPE

See Also:

Constant Field Values

OCL_AS_TYPE_NAME

static final java.lang.String OCL_AS_TYPE_NAME

See Also:

Constant Field Values

OCL_IS_KIND_OF

static final int OCL_IS_KIND_OF

See Also:

Constant Field Values

OCL_IS_KIND_OF_NAME

static final java.lang.String OCL_IS_KIND_OF_NAME

See Also:

Constant Field Values

OCL_IS_TYPE_OF

static final int OCL_IS_TYPE_OF

See Also:

Constant Field Values

OCL_IS_TYPE_OF_NAME

static final java.lang.String OCL_IS_TYPE_OF_NAME

See Also:

Constant Field Values

OCL_IS_UNDEFINED

static final int OCL_IS_UNDEFINED

See Also:

Constant Field Values

OCL_IS_UNDEFINED_NAME

static final java.lang.String OCL_IS_UNDEFINED_NAME

See Also:

Constant Field Values

OCL_IS_INVALID

static final int OCL_IS_INVALID

See Also:

Constant Field Values

OCL_IS_INVALID_NAME

static final java.lang.String OCL_IS_INVALID_NAME

See Also:

Constant Field Values

LESS_THAN

static final int LESS_THAN

See Also:

Constant Field Values

LESS_THAN_NAME

static final java.lang.String LESS_THAN_NAME

See Also:

Constant Field Values

GREATER_THAN

static final int GREATER_THAN

See Also:

Constant Field Values

GREATER_THAN_NAME

static final java.lang.String GREATER_THAN_NAME

See Also:

Constant Field Values

LESS_THAN_EQUAL

static final int LESS_THAN_EQUAL

See Also:

Constant Field Values

LESS_THAN_EQUAL_NAME

static final java.lang.String LESS_THAN_EQUAL_NAME

See Also:

Constant Field Values

GREATER_THAN_EQUAL

static final int GREATER_THAN_EQUAL

See Also:

Constant Field Values

GREATER_THAN_EQUAL_NAME

static final java.lang.String GREATER_THAN_EQUAL_NAME

See Also:

Constant Field Values

OCL_IS_NEW

static final int OCL_IS_NEW

See Also:

Constant Field Values

OCL_IS_NEW_NAME

static final java.lang.String OCL_IS_NEW_NAME

See Also:

Constant Field Values

OCL_IS_IN_STATE

static final int OCL_IS_IN_STATE

See Also:

Constant Field Values

OCL_IS_IN_STATE_NAME

static final java.lang.String OCL_IS_IN_STATE_NAME

See Also:

Constant Field Values

HAS_RETURNED

static final int HAS_RETURNED

See Also:

Constant Field Values

HAS_RETURNED_NAME

static final java.lang.String HAS_RETURNED_NAME

See Also:

Constant Field Values

RESULT

static final int RESULT

See Also:

Constant Field Values

RESULT_NAME

static final java.lang.String RESULT_NAME

See Also:

Constant Field Values

IS_SIGNAL_SENT

static final int IS_SIGNAL_SENT

See Also:

Constant Field Values

IS_SIGNAL_SENT_NAME

static final java.lang.String IS_SIGNAL_SENT_NAME

See Also:

Constant Field Values

IS_OPERATION_CALL

static final int IS_OPERATION_CALL

See Also:

Constant Field Values

IS_OPERATION_CALL_NAME

static final java.lang.String IS_OPERATION_CALL_NAME

See Also:

Constant Field Values

COUNT

static final int COUNT

See Also:

Constant Field Values

COUNT_NAME

static final java.lang.String COUNT_NAME

See Also:

Constant Field Values

EXCLUDES

static final int EXCLUDES

See Also:

Constant Field Values

EXCLUDES_NAME

static final java.lang.String EXCLUDES_NAME

See Also:

Constant Field Values

EXCLUDES_ALL

static final int EXCLUDES_ALL

See Also:

Constant Field Values

EXCLUDES_ALL_NAME

static final java.lang.String EXCLUDES_ALL_NAME

See Also:

Constant Field Values

INCLUDES

static final int INCLUDES

See Also:

Constant Field Values

INCLUDES_NAME

static final java.lang.String INCLUDES_NAME

See Also:

Constant Field Values

INCLUDES_ALL

static final int INCLUDES_ALL

See Also:

Constant Field Values

INCLUDES_ALL_NAME

static final java.lang.String INCLUDES_ALL_NAME

See Also:

Constant Field Values

IS_EMPTY

static final int IS_EMPTY

See Also:

Constant Field Values

IS_EMPTY_NAME

static final java.lang.String IS_EMPTY_NAME

See Also:

Constant Field Values

NOT_EMPTY

static final int NOT_EMPTY

See Also:

Constant Field Values

NOT_EMPTY_NAME

static final java.lang.String NOT_EMPTY_NAME

See Also:

Constant Field Values

PRODUCT

static final int PRODUCT

See Also:

Constant Field Values

PRODUCT_NAME

static final java.lang.String PRODUCT_NAME

See Also:

Constant Field Values

SUM

static final int SUM

See Also:

Constant Field Values

SUM_NAME

static final java.lang.String SUM_NAME

See Also:

Constant Field Values

AS_BAG

static final int AS_BAG

See Also:

Constant Field Values

AS_BAG_NAME

static final java.lang.String AS_BAG_NAME

See Also:

Constant Field Values

AS_ORDERED_SET

static final int AS_ORDERED_SET

See Also:

Constant Field Values

AS_ORDERED_SET_NAME

static final java.lang.String AS_ORDERED_SET_NAME

See Also:

Constant Field Values

AS_SEQUENCE

static final int AS_SEQUENCE

See Also:

Constant Field Values

AS_SEQUENCE_NAME

static final java.lang.String AS_SEQUENCE_NAME

See Also:

Constant Field Values

AS_SET

static final int AS_SET

See Also:

Constant Field Values

AS_SET_NAME

static final java.lang.String AS_SET_NAME

See Also:

Constant Field Values

EXCLUDING

static final int EXCLUDING

See Also:

Constant Field Values

EXCLUDING_NAME

static final java.lang.String EXCLUDING_NAME

See Also:

Constant Field Values

FLATTEN

static final int FLATTEN

See Also:

Constant Field Values

FLATTEN_NAME

static final java.lang.String FLATTEN_NAME

See Also:

Constant Field Values

INCLUDING

static final int INCLUDING

See Also:

Constant Field Values

INCLUDING_NAME

static final java.lang.String INCLUDING_NAME

See Also:

Constant Field Values

INTERSECTION

static final int INTERSECTION

See Also:

Constant Field Values

INTERSECTION_NAME

static final java.lang.String INTERSECTION_NAME

See Also:

Constant Field Values

UNION

static final int UNION

See Also:

Constant Field Values

UNION_NAME

static final java.lang.String UNION_NAME

See Also:

Constant Field Values

AT

static final int AT

See Also:

Constant Field Values

AT_NAME

static final java.lang.String AT_NAME

See Also:

Constant Field Values

FIRST

static final int FIRST

See Also:

Constant Field Values

FIRST_NAME

static final java.lang.String FIRST_NAME

See Also:

Constant Field Values

INDEX_OF

static final int INDEX_OF

See Also:

Constant Field Values

INDEX_OF_NAME

static final java.lang.String INDEX_OF_NAME

See Also:

Constant Field Values

INSERT_AT

static final int INSERT_AT

See Also:

Constant Field Values

INSERT_AT_NAME

static final java.lang.String INSERT_AT_NAME

See Also:

Constant Field Values

LAST

static final int LAST

See Also:

Constant Field Values

LAST_NAME

static final java.lang.String LAST_NAME

See Also:

Constant Field Values

PREPEND

static final int PREPEND

See Also:

Constant Field Values

PREPEND_NAME

static final java.lang.String PREPEND_NAME

See Also:

Constant Field Values

SUB_SEQUENCE

static final int SUB_SEQUENCE

See Also:

Constant Field Values

SUB_SEQUENCE_NAME

static final java.lang.String SUB_SEQUENCE_NAME

See Also:

Constant Field Values

APPEND

static final int APPEND

See Also:

Constant Field Values

APPEND_NAME

static final java.lang.String APPEND_NAME

See Also:

Constant Field Values

SUB_ORDERED_SET

static final int SUB_ORDERED_SET

See Also:

Constant Field Values

SUB_ORDERED_SET_NAME

static final java.lang.String SUB_ORDERED_SET_NAME

See Also:

Constant Field Values

SYMMETRIC_DIFFERENCE

static final int SYMMETRIC_DIFFERENCE

See Also:

Constant Field Values

SYMMETRIC_DIFFERENCE_NAME

static final java.lang.String SYMMETRIC_DIFFERENCE_NAME

See Also:

Constant Field Values

EXISTS

static final int EXISTS

See Also:

Constant Field Values

EXISTS_NAME

static final java.lang.String EXISTS_NAME

See Also:

Constant Field Values

FOR_ALL

static final int FOR_ALL

See Also:

Constant Field Values

FOR_ALL_NAME

static final java.lang.String FOR_ALL_NAME

See Also:

Constant Field Values

IS_UNIQUE

static final int IS_UNIQUE

See Also:

Constant Field Values

IS_UNIQUE_NAME

static final java.lang.String IS_UNIQUE_NAME

See Also:

Constant Field Values

ONE

static final int ONE

See Also:

Constant Field Values

ONE_NAME

static final java.lang.String ONE_NAME

See Also:

Constant Field Values

ANY

static final int ANY

See Also:

Constant Field Values

ANY_NAME

static final java.lang.String ANY_NAME

See Also:

Constant Field Values

COLLECT

static final int COLLECT

See Also:

Constant Field Values

COLLECT_NAME

static final java.lang.String COLLECT_NAME

See Also:

Constant Field Values

COLLECT_NESTED

static final int COLLECT_NESTED

See Also:

Constant Field Values

COLLECT_NESTED_NAME

static final java.lang.String COLLECT_NESTED_NAME

See Also:

Constant Field Values

CLOSURE

static final int CLOSURE

See Also:

Constant Field Values

CLOSURE_NAME

static final java.lang.String CLOSURE_NAME

See Also:

Constant Field Values

SELECT

static final int SELECT

See Also:

Constant Field Values

SELECT_NAME

static final java.lang.String SELECT_NAME

See Also:

Constant Field Values

REJECT

static final int REJECT

See Also:

Constant Field Values

REJECT_NAME

static final java.lang.String REJECT_NAME

See Also:

Constant Field Values

SORTED_BY

static final int SORTED_BY

See Also:

Constant Field Values

SORTED_BY_NAME

static final java.lang.String SORTED_BY_NAME

See Also:

Constant Field Values

Method Detail

getName

java.lang.String getName()

If the meaning of the 'Name' attribute isn't clear, there really should be more of a description here...

oclOperations

 oclOperations()

If the meaning of the 'Operations' reference list isn't clear, there really should be more of a description here...