Package net.ssehub.easy.varModel.model.datatypes

Class OclKeyWords

java.lang.Object

net.ssehub.easy.varModel.model.datatypes.OclKeyWords

Direct Known Subclasses:

IvmlKeyWords

public class OclKeyWords
extends java.lang.Object

Defines constants for the OCL keywords for operations. Some IVML specific names are included. For operations, reuse and also for testing.

Author:

Holger Eichelberger, Tebbje

Field Summary

Fields

Modifier and Type	Field	Description
static java.lang.String	ABS
static java.lang.String	ADD
static java.lang.String	ALL_INSTANCES
static java.lang.String	AND
static java.lang.String	ANY
static java.lang.String	APPEND
static java.lang.String	APPLY
static java.lang.String	AS_SEQUENCE
static java.lang.String	AS_SET
static java.lang.String	AS_TYPE
static java.lang.String	ASSIGNMENT
static java.lang.String	AT
static java.lang.String	AVG
static java.lang.String	CHARACTERS
static java.lang.String	CLOSURE
static java.lang.String	COLLECT
static java.lang.String	COLLECT_NESTED
static java.lang.String	CONCAT
static java.lang.String	COPY
static java.lang.String	COUNT
static java.lang.String	DIV
static java.lang.String	DIV_INT
static java.lang.String	EQUALS
static java.lang.String	EQUALS_IGNORE_CASE
static java.lang.String	EXCLUDES
static java.lang.String	EXCLUDES_ALL
static java.lang.String	EXCLUDING
static java.lang.String	EXISTS
static java.lang.String	FIRST
static java.lang.String	FLATTEN
static java.lang.String	FLOOR
static java.lang.String	FOR_ALL
static java.lang.String	GREATER
static java.lang.String	GREATER_EQUALS
static java.lang.String	HAS_DUPLICATES
static java.lang.String	IFF
static java.lang.String	IMPLIES
static java.lang.String	INCLUDES
static java.lang.String	INCLUDES_ALL
static java.lang.String	INCLUDING
static java.lang.String	INDEX_ACCESS
static int	INDEX_BASE	The base index value for OCL index-based operations such as indexOf.
static java.lang.String	INDEX_OF
static java.lang.String	INSERT_AT
static java.lang.String	INTERSECTION
static java.lang.String	INVERSE
static java.lang.String	IS_ACYCLIC
static java.lang.String	IS_DEFINED
static java.lang.String	IS_EMPTY
static java.lang.String	IS_KIND_OF
static java.lang.String	IS_TYPE_OF
static java.lang.String	IS_UNIQUE
static java.lang.String	ISSUBSEQUENCE
static java.lang.String	ITERATE
static java.lang.String	LAST
static java.lang.String	LESS
static java.lang.String	LESS_EQUALS
static java.lang.String	LOCALE
static java.lang.String	MATCHES
static java.lang.String	MAX
static java.lang.String	MIN
static java.lang.String	MINUS
static java.lang.String	MOD
static java.lang.String	MULT
static java.lang.String	NOT
static java.lang.String	NOT_EMPTY
static java.lang.String	ONE
static java.lang.String	OR
static java.lang.String	ORDINAL
static java.lang.String	OVERLAPS
static java.lang.String	PLUS
static java.lang.String	PREPEND
static java.lang.String	PRODUCT
static java.lang.String	REJECT
static java.lang.String	REVERSE
static java.lang.String	ROUND
static java.lang.String	SELECT
static java.lang.String	SELECT_BY_KIND
static java.lang.String	SELECT_BY_TYPE
static java.lang.String	SELF
static java.lang.String	SIZE
static java.lang.String	SORTED_BY
static java.lang.String	SUB_SEQUENCE
static java.lang.String	SUBSEQUENCE
static java.lang.String	SUBSTITUTES
static java.lang.String	SUBSTRING
static java.lang.String	SUM
static java.lang.String	SYMMETRIC_DIFFERENCE
static java.lang.String	TO_BOOLEAN
static java.lang.String	TO_INTEGER
static java.lang.String	TO_LOWER_CASE
static java.lang.String	TO_REAL
static java.lang.String	TO_SEQUENCE
static java.lang.String	TO_SET
static java.lang.String	TO_STRING
static java.lang.String	TO_UPPER_CASE
static java.lang.String	TYPE_OF
static java.lang.String	TYPE_REJECT
static java.lang.String	TYPE_SELECT
static java.lang.String	UNEQUALS
static java.lang.String	UNEQUALS_ALIAS
static java.lang.String	UNION
static java.lang.String	WARNING
static java.lang.String	XOR

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	OclKeyWords()	Prevents this class from being initialized from outside.

Method Summary

Modifier and Type	Method	Description
static int	toIvmlIndex(int javaIndex)	Turns a Java index to an IVML index, i.e., adds INDEX_BASE.
static int	toJavaIndex(int ivmlIndex)	Turns an IVML index to a Java index, i.e., subtracts INDEX_BASE.

Methods inherited from class java.lang.Object

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

Field Detail

INDEX_BASE

public static final int INDEX_BASE

The base index value for OCL index-based operations such as indexOf. Currently, IVML follows Java conventions, i.e., 0-based indexes. A value of 1 would turn IVML to OCL compliance, i.e., 1-based indexes.

See Also:

Constant Field Values

EQUALS

public static final java.lang.String EQUALS

See Also:

Constant Field Values

UNEQUALS

public static final java.lang.String UNEQUALS

See Also:

Constant Field Values

ASSIGNMENT

public static final java.lang.String ASSIGNMENT

See Also:

Constant Field Values

IS_TYPE_OF

public static final java.lang.String IS_TYPE_OF

See Also:

Constant Field Values

IS_KIND_OF

public static final java.lang.String IS_KIND_OF

See Also:

Constant Field Values

LOCALE

public static final java.lang.String LOCALE

See Also:

Constant Field Values

AS_TYPE

public static final java.lang.String AS_TYPE

See Also:

Constant Field Values

NOT

public static final java.lang.String NOT

See Also:

Constant Field Values

OR

public static final java.lang.String OR

See Also:

Constant Field Values

XOR

public static final java.lang.String XOR

See Also:

Constant Field Values

AND

public static final java.lang.String AND

See Also:

Constant Field Values

IMPLIES

public static final java.lang.String IMPLIES

See Also:

Constant Field Values

PLUS

public static final java.lang.String PLUS

See Also:

Constant Field Values

MINUS

public static final java.lang.String MINUS

See Also:

Constant Field Values

MULT

public static final java.lang.String MULT

See Also:

Constant Field Values

DIV

public static final java.lang.String DIV

See Also:

Constant Field Values

DIV_INT

public static final java.lang.String DIV_INT

See Also:

Constant Field Values

GREATER

public static final java.lang.String GREATER

See Also:

Constant Field Values

LESS

public static final java.lang.String LESS

See Also:

Constant Field Values

GREATER_EQUALS

public static final java.lang.String GREATER_EQUALS

See Also:

Constant Field Values

LESS_EQUALS

public static final java.lang.String LESS_EQUALS

See Also:

Constant Field Values

MIN

public static final java.lang.String MIN

See Also:

Constant Field Values

MAX

public static final java.lang.String MAX

See Also:

Constant Field Values

ABS

public static final java.lang.String ABS

See Also:

Constant Field Values

INVERSE

public static final java.lang.String INVERSE

See Also:

Constant Field Values

FLOOR

public static final java.lang.String FLOOR

See Also:

Constant Field Values

ROUND

public static final java.lang.String ROUND

See Also:

Constant Field Values

MOD

public static final java.lang.String MOD

See Also:

Constant Field Values

WARNING

public static final java.lang.String WARNING

See Also:

Constant Field Values

TO_STRING

public static final java.lang.String TO_STRING

See Also:

Constant Field Values

EQUALS_IGNORE_CASE

public static final java.lang.String EQUALS_IGNORE_CASE

See Also:

Constant Field Values

TO_INTEGER

public static final java.lang.String TO_INTEGER

See Also:

Constant Field Values

TO_REAL

public static final java.lang.String TO_REAL

See Also:

Constant Field Values

TO_BOOLEAN

public static final java.lang.String TO_BOOLEAN

See Also:

Constant Field Values

CHARACTERS

public static final java.lang.String CHARACTERS

See Also:

Constant Field Values

TO_UPPER_CASE

public static final java.lang.String TO_UPPER_CASE

See Also:

Constant Field Values

TO_LOWER_CASE

public static final java.lang.String TO_LOWER_CASE

See Also:

Constant Field Values

CONCAT

public static final java.lang.String CONCAT

See Also:

Constant Field Values

SUBSTRING

public static final java.lang.String SUBSTRING

See Also:

Constant Field Values

MATCHES

public static final java.lang.String MATCHES

See Also:

Constant Field Values

SUBSTITUTES

public static final java.lang.String SUBSTITUTES

See Also:

Constant Field Values

SIZE

public static final java.lang.String SIZE

See Also:

Constant Field Values

INCLUDES

public static final java.lang.String INCLUDES

See Also:

Constant Field Values

EXCLUDES

public static final java.lang.String EXCLUDES

See Also:

Constant Field Values

INCLUDES_ALL

public static final java.lang.String INCLUDES_ALL

See Also:

Constant Field Values

EXCLUDES_ALL

public static final java.lang.String EXCLUDES_ALL

See Also:

Constant Field Values

COUNT

public static final java.lang.String COUNT

See Also:

Constant Field Values

IS_EMPTY

public static final java.lang.String IS_EMPTY

See Also:

Constant Field Values

NOT_EMPTY

public static final java.lang.String NOT_EMPTY

See Also:

Constant Field Values

SUM

public static final java.lang.String SUM

See Also:

Constant Field Values

PRODUCT

public static final java.lang.String PRODUCT

See Also:

Constant Field Values

AVG

public static final java.lang.String AVG

See Also:

Constant Field Values

EXISTS

public static final java.lang.String EXISTS

See Also:

Constant Field Values

IS_UNIQUE

public static final java.lang.String IS_UNIQUE

See Also:

Constant Field Values

ANY

public static final java.lang.String ANY

See Also:

Constant Field Values

ONE

public static final java.lang.String ONE

See Also:

Constant Field Values

INDEX_ACCESS

public static final java.lang.String INDEX_ACCESS

See Also:

Constant Field Values

AT

public static final java.lang.String AT

See Also:

Constant Field Values

COLLECT

public static final java.lang.String COLLECT

See Also:

Constant Field Values

COLLECT_NESTED

public static final java.lang.String COLLECT_NESTED

See Also:

Constant Field Values

SORTED_BY

public static final java.lang.String SORTED_BY

See Also:

Constant Field Values

SELECT

public static final java.lang.String SELECT

See Also:

Constant Field Values

REJECT

public static final java.lang.String REJECT

See Also:

Constant Field Values

AS_SET

public static final java.lang.String AS_SET

See Also:

Constant Field Values

TO_SET

public static final java.lang.String TO_SET

See Also:

Constant Field Values

AS_SEQUENCE

public static final java.lang.String AS_SEQUENCE

See Also:

Constant Field Values

TO_SEQUENCE

public static final java.lang.String TO_SEQUENCE

See Also:

Constant Field Values

UNION

public static final java.lang.String UNION

See Also:

Constant Field Values

FOR_ALL

public static final java.lang.String FOR_ALL

See Also:

Constant Field Values

ADD

public static final java.lang.String ADD

See Also:

Constant Field Values

FLATTEN

public static final java.lang.String FLATTEN

See Also:

Constant Field Values

INCLUDING

public static final java.lang.String INCLUDING

See Also:

Constant Field Values

EXCLUDING

public static final java.lang.String EXCLUDING

See Also:

Constant Field Values

CLOSURE

public static final java.lang.String CLOSURE

See Also:

Constant Field Values

IS_ACYCLIC

public static final java.lang.String IS_ACYCLIC

See Also:

Constant Field Values

INTERSECTION

public static final java.lang.String INTERSECTION

See Also:

Constant Field Values

REVERSE

public static final java.lang.String REVERSE

See Also:

Constant Field Values

SYMMETRIC_DIFFERENCE

public static final java.lang.String SYMMETRIC_DIFFERENCE

See Also:

Constant Field Values

APPEND

public static final java.lang.String APPEND

See Also:

Constant Field Values

PREPEND

public static final java.lang.String PREPEND

See Also:

Constant Field Values

INSERT_AT

public static final java.lang.String INSERT_AT

See Also:

Constant Field Values

SUB_SEQUENCE

public static final java.lang.String SUB_SEQUENCE

See Also:

Constant Field Values

INDEX_OF

public static final java.lang.String INDEX_OF

See Also:

Constant Field Values

FIRST

public static final java.lang.String FIRST

See Also:

Constant Field Values

LAST

public static final java.lang.String LAST

See Also:

Constant Field Values

HAS_DUPLICATES

public static final java.lang.String HAS_DUPLICATES

See Also:

Constant Field Values

SUBSEQUENCE

public static final java.lang.String SUBSEQUENCE

See Also:

Constant Field Values

ISSUBSEQUENCE

public static final java.lang.String ISSUBSEQUENCE

See Also:

Constant Field Values

OVERLAPS

public static final java.lang.String OVERLAPS

See Also:

Constant Field Values

ORDINAL

public static final java.lang.String ORDINAL

See Also:

Constant Field Values

SELF

public static final java.lang.String SELF

See Also:

Constant Field Values

TYPE_OF

public static final java.lang.String TYPE_OF

See Also:

Constant Field Values

APPLY

public static final java.lang.String APPLY

See Also:

Constant Field Values

ITERATE

public static final java.lang.String ITERATE

See Also:

Constant Field Values

IFF

public static final java.lang.String IFF

See Also:

Constant Field Values

IS_DEFINED

public static final java.lang.String IS_DEFINED

See Also:

Constant Field Values

COPY

public static final java.lang.String COPY

See Also:

Constant Field Values

TYPE_SELECT

public static final java.lang.String TYPE_SELECT

See Also:

Constant Field Values

SELECT_BY_TYPE

public static final java.lang.String SELECT_BY_TYPE

See Also:

Constant Field Values

SELECT_BY_KIND

public static final java.lang.String SELECT_BY_KIND

See Also:

Constant Field Values

TYPE_REJECT

public static final java.lang.String TYPE_REJECT

See Also:

Constant Field Values

UNEQUALS_ALIAS

public static final java.lang.String UNEQUALS_ALIAS

See Also:

Constant Field Values

ALL_INSTANCES

public static final java.lang.String ALL_INSTANCES

See Also:

Constant Field Values

Constructor Detail

OclKeyWords

protected OclKeyWords()

Prevents this class from being initialized from outside. Prepared for being "reused" to entire set of IVML constants.

Method Detail

toJavaIndex

public static final int toJavaIndex(int ivmlIndex)

Turns an IVML index to a Java index, i.e., subtracts INDEX_BASE.

Parameters:

ivmlIndex - the IVML index

Returns:

the corresponding Java index

toIvmlIndex

public static final int toIvmlIndex(int javaIndex)

Turns a Java index to an IVML index, i.e., adds INDEX_BASE.

Parameters:

javaIndex - the Java index

Returns:

the corresponding IVML index