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 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 final String	ABS
static final String	ADD
static final String	ALL_INSTANCES
static final String	AND
static final String	ANY
static final String	APPEND
static final String	APPLY
static final String	AS_SEQUENCE
static final String	AS_SET
static final String	AS_TYPE
static final String	ASSIGNMENT
static final String	AT
static final String	AVG
static final String	CHARACTERS
static final String	CLOSURE
static final String	COLLECT
static final String	COLLECT_NESTED
static final String	CONCAT
static final String	COPY
static final String	COUNT
static final String	DIV
static final String	DIV_INT
static final String	EQUALS
static final String	EQUALS_IGNORE_CASE
static final String	EXCLUDES
static final String	EXCLUDES_ALL
static final String	EXCLUDING
static final String	EXISTS
static final String	FIRST
static final String	FLATTEN
static final String	FLOOR
static final String	FOR_ALL
static final String	GREATER
static final String	GREATER_EQUALS
static final String	HAS_DUPLICATES
static final String	IF_DEFINED
static final String	IFF
static final String	IMPLIES
static final String	INCLUDES
static final String	INCLUDES_ALL
static final String	INCLUDING
static final String	INDEX_ACCESS
static final int	INDEX_BASE	The base index value for OCL index-based operations such as indexOf.
static final String	INDEX_OF
static final String	INSERT_AT
static final String	INTERSECTION
static final String	INVERSE
static final String	IS_ACYCLIC
static final String	IS_DEFINED
static final String	IS_EMPTY
static final String	IS_KIND_OF
static final String	IS_TYPE_OF
static final String	IS_UNIQUE
static final String	ISSUBSEQUENCE
static final String	ITERATE
static final String	LAST
static final String	LESS
static final String	LESS_EQUALS
static final String	LOCALE
static final String	MATCHES
static final String	MAX
static final String	MIN
static final String	MINUS
static final String	MOD
static final String	MULT
static final String	NOT
static final String	NOT_EMPTY
static final String	ONE
static final String	OR
static final String	ORDINAL
static final String	OVERLAPS
static final String	PLUS
static final String	PREPEND
static final String	PRODUCT
static final String	REJECT
static final String	REVERSE
static final String	ROUND
static final String	SELECT
static final String	SELECT_BY_KIND
static final String	SELECT_BY_TYPE
static final String	SELF
static final String	SIZE
static final String	SORTED_BY
static final String	SUB_SEQUENCE
static final String	SUBSEQUENCE
static final String	SUBSTITUTES
static final String	SUBSTRING
static final String	SUM
static final String	SYMMETRIC_DIFFERENCE
static final String	TO_BOOLEAN
static final String	TO_INTEGER
static final String	TO_LOWER_CASE
static final String	TO_REAL
static final String	TO_SEQUENCE
static final String	TO_SET
static final String	TO_STRING
static final String	TO_UPPER_CASE
static final String	TYPE_OF
static final String	TYPE_REJECT
static final String	TYPE_SELECT
static final String	UNEQUALS
static final String	UNEQUALS_ALIAS
static final String	UNION
static final String	WARNING
static final 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 final int	toIvmlIndex(int javaIndex)	Turns a Java index to an IVML index, i.e., adds INDEX_BASE.
static final 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 Details

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 String EQUALS

See Also:

• Constant Field Values

UNEQUALS

public static final String UNEQUALS

See Also:

• Constant Field Values

ASSIGNMENT

public static final String ASSIGNMENT

See Also:

• Constant Field Values

IS_TYPE_OF

public static final String IS_TYPE_OF

See Also:

• Constant Field Values

IS_KIND_OF

public static final String IS_KIND_OF

See Also:

• Constant Field Values

LOCALE

public static final String LOCALE

See Also:

• Constant Field Values

AS_TYPE

public static final String AS_TYPE

See Also:

• Constant Field Values

NOT

public static final String NOT

See Also:

• Constant Field Values

OR

public static final String OR

See Also:

• Constant Field Values

XOR

public static final String XOR

See Also:

• Constant Field Values

AND

public static final String AND

See Also:

• Constant Field Values

IMPLIES

public static final String IMPLIES

See Also:

• Constant Field Values

PLUS

public static final String PLUS

See Also:

• Constant Field Values

MINUS

public static final String MINUS

See Also:

• Constant Field Values

MULT

public static final String MULT

See Also:

• Constant Field Values

DIV

public static final String DIV

See Also:

• Constant Field Values

DIV_INT

public static final String DIV_INT

See Also:

• Constant Field Values

GREATER

public static final String GREATER

See Also:

• Constant Field Values

LESS

public static final String LESS

See Also:

• Constant Field Values

GREATER_EQUALS

public static final String GREATER_EQUALS

See Also:

• Constant Field Values

LESS_EQUALS

public static final String LESS_EQUALS

See Also:

• Constant Field Values

MIN

public static final String MIN

See Also:

• Constant Field Values

MAX

public static final String MAX

See Also:

• Constant Field Values

ABS

public static final String ABS

See Also:

• Constant Field Values

INVERSE

public static final String INVERSE

See Also:

• Constant Field Values

FLOOR

public static final String FLOOR

See Also:

• Constant Field Values

ROUND

public static final String ROUND

See Also:

• Constant Field Values

MOD

public static final String MOD

See Also:

• Constant Field Values

WARNING

public static final String WARNING

See Also:

• Constant Field Values

TO_STRING

public static final String TO_STRING

See Also:

• Constant Field Values

EQUALS_IGNORE_CASE

public static final String EQUALS_IGNORE_CASE

See Also:

• Constant Field Values

TO_INTEGER

public static final String TO_INTEGER

See Also:

• Constant Field Values

TO_REAL

public static final String TO_REAL

See Also:

• Constant Field Values

TO_BOOLEAN

public static final String TO_BOOLEAN

See Also:

• Constant Field Values

CHARACTERS

public static final String CHARACTERS

See Also:

• Constant Field Values

TO_UPPER_CASE

public static final String TO_UPPER_CASE

See Also:

• Constant Field Values

TO_LOWER_CASE

public static final String TO_LOWER_CASE

See Also:

• Constant Field Values

CONCAT

public static final String CONCAT

See Also:

• Constant Field Values

SUBSTRING

public static final String SUBSTRING

See Also:

• Constant Field Values

MATCHES

public static final String MATCHES

See Also:

• Constant Field Values

SUBSTITUTES

public static final String SUBSTITUTES

See Also:

• Constant Field Values

SIZE

public static final String SIZE

See Also:

• Constant Field Values

INCLUDES

public static final String INCLUDES

See Also:

• Constant Field Values

EXCLUDES

public static final String EXCLUDES

See Also:

• Constant Field Values

INCLUDES_ALL

public static final String INCLUDES_ALL

See Also:

• Constant Field Values

EXCLUDES_ALL

public static final String EXCLUDES_ALL

See Also:

• Constant Field Values

COUNT

public static final String COUNT

See Also:

• Constant Field Values

IS_EMPTY

public static final String IS_EMPTY

See Also:

• Constant Field Values

NOT_EMPTY

public static final String NOT_EMPTY

See Also:

• Constant Field Values

SUM

public static final String SUM

See Also:

• Constant Field Values

PRODUCT

public static final String PRODUCT

See Also:

• Constant Field Values

AVG

public static final String AVG

See Also:

• Constant Field Values

EXISTS

public static final String EXISTS

See Also:

• Constant Field Values

IS_UNIQUE

public static final String IS_UNIQUE

See Also:

• Constant Field Values

ANY

public static final String ANY

See Also:

• Constant Field Values

ONE

public static final String ONE

See Also:

• Constant Field Values

INDEX_ACCESS

public static final String INDEX_ACCESS

See Also:

• Constant Field Values

AT

public static final String AT

See Also:

• Constant Field Values

COLLECT

public static final String COLLECT

See Also:

• Constant Field Values

COLLECT_NESTED

public static final String COLLECT_NESTED

See Also:

• Constant Field Values

SORTED_BY

public static final String SORTED_BY

See Also:

• Constant Field Values

SELECT

public static final String SELECT

See Also:

• Constant Field Values

REJECT

public static final String REJECT

See Also:

• Constant Field Values

AS_SET

public static final String AS_SET

See Also:

• Constant Field Values

TO_SET

public static final String TO_SET

See Also:

• Constant Field Values

AS_SEQUENCE

public static final String AS_SEQUENCE

See Also:

• Constant Field Values

TO_SEQUENCE

public static final String TO_SEQUENCE

See Also:

• Constant Field Values

UNION

public static final String UNION

See Also:

• Constant Field Values

FOR_ALL

public static final String FOR_ALL

See Also:

• Constant Field Values

ADD

public static final String ADD

See Also:

• Constant Field Values

FLATTEN

public static final String FLATTEN

See Also:

• Constant Field Values

INCLUDING

public static final String INCLUDING

See Also:

• Constant Field Values

EXCLUDING

public static final String EXCLUDING

See Also:

• Constant Field Values

CLOSURE

public static final String CLOSURE

See Also:

• Constant Field Values

IS_ACYCLIC

public static final String IS_ACYCLIC

See Also:

• Constant Field Values

INTERSECTION

public static final String INTERSECTION

See Also:

• Constant Field Values

REVERSE

public static final String REVERSE

See Also:

• Constant Field Values

SYMMETRIC_DIFFERENCE

public static final String SYMMETRIC_DIFFERENCE

See Also:

• Constant Field Values

APPEND

public static final String APPEND

See Also:

• Constant Field Values

PREPEND

public static final String PREPEND

See Also:

• Constant Field Values

INSERT_AT

public static final String INSERT_AT

See Also:

• Constant Field Values

SUB_SEQUENCE

public static final String SUB_SEQUENCE

See Also:

• Constant Field Values

INDEX_OF

public static final String INDEX_OF

See Also:

• Constant Field Values

FIRST

public static final String FIRST

See Also:

• Constant Field Values

LAST

public static final String LAST

See Also:

• Constant Field Values

HAS_DUPLICATES

public static final String HAS_DUPLICATES

See Also:

• Constant Field Values

SUBSEQUENCE

public static final String SUBSEQUENCE

See Also:

• Constant Field Values

ISSUBSEQUENCE

public static final String ISSUBSEQUENCE

See Also:

• Constant Field Values

OVERLAPS

public static final String OVERLAPS

See Also:

• Constant Field Values

ORDINAL

public static final String ORDINAL

See Also:

• Constant Field Values

SELF

public static final String SELF

See Also:

• Constant Field Values

TYPE_OF

public static final String TYPE_OF

See Also:

• Constant Field Values

APPLY

public static final String APPLY

See Also:

• Constant Field Values

ITERATE

public static final String ITERATE

See Also:

• Constant Field Values

IFF

public static final String IFF

See Also:

• Constant Field Values

IS_DEFINED

public static final String IS_DEFINED

See Also:

• Constant Field Values

IF_DEFINED

public static final String IF_DEFINED

See Also:

• Constant Field Values

COPY

public static final String COPY

See Also:

• Constant Field Values

TYPE_SELECT

public static final String TYPE_SELECT

See Also:

• Constant Field Values

SELECT_BY_TYPE

public static final String SELECT_BY_TYPE

See Also:

• Constant Field Values

SELECT_BY_KIND

public static final String SELECT_BY_KIND

See Also:

• Constant Field Values

TYPE_REJECT

public static final String TYPE_REJECT

See Also:

• Constant Field Values

UNEQUALS_ALIAS

public static final String UNEQUALS_ALIAS

See Also:

• Constant Field Values

ALL_INSTANCES

public static final String ALL_INSTANCES

See Also:

• Constant Field Values

Constructor Details

OclKeyWords

protected OclKeyWords()

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

Method Details

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