Package net.ssehub.easy.varModel.cstEvaluation

Class SequenceOperations

java.lang.Object

net.ssehub.easy.varModel.cstEvaluation.SequenceOperations

public class SequenceOperations
extends Object

Implements sequence operations.

Author:

Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field	Description
(package private) static final IOperationEvaluator	APPEND	Implements the append operation.
(package private) static final IOperationEvaluator	EXCLUDING	Implements the "excluding" operation.
(package private) static final IOperationEvaluator	FIRST	Implements the "first" operation.
(package private) static final IOperationEvaluator	HAS_DUPLICATES	Implements the "hasDuplicates" operation.
(package private) static final IOperationEvaluator	INCLUDING	Implements the "including" operation.
(package private) static final IOperationEvaluator	INDEX_ACCESS	Implements the index access operation.
(package private) static final IOperationEvaluator	INDEX_OF	Implements the "indexOf" operation.
(package private) static final IOperationEvaluator	INSERT_AT	Implements the "hasDuplicates" operation.
(package private) static final IOperationEvaluator	ISSUBSEQUENCE	Implements the "isSubsequenceOf" operation.
(package private) static final IOperationEvaluator	LAST	Implements the "last" operation.
(package private) static final IOperationEvaluator	OVERLAPS	Implements the "overlaps" operation.
(package private) static final IOperationEvaluator	PREPEND	Implements the prepend operation.
(package private) static final IOperationEvaluator	REVERSE	Implements the "reverse" operation.
(package private) static final IOperationEvaluator	SUBSEQUENCE	Implements the "subSequence" operation.
(package private) static final IOperationEvaluator	UNION	Implements the union operation.

Constructor Summary

Constructors

Modifier	Constructor	Description
private	SequenceOperations()	Prevent instance creation.

Method Summary

Modifier and Type	Method	Description
static void	register()	Registers the defined operations.

Methods inherited from class java.lang.Object

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

Field Details

INDEX_ACCESS

static final IOperationEvaluator INDEX_ACCESS

Implements the index access operation.

FIRST

static final IOperationEvaluator FIRST

Implements the "first" operation.

LAST

static final IOperationEvaluator LAST

Implements the "last" operation.

HAS_DUPLICATES

static final IOperationEvaluator HAS_DUPLICATES

Implements the "hasDuplicates" operation.

INSERT_AT

static final IOperationEvaluator INSERT_AT

Implements the "hasDuplicates" operation.

INDEX_OF

static final IOperationEvaluator INDEX_OF

Implements the "indexOf" operation.

ISSUBSEQUENCE

static final IOperationEvaluator ISSUBSEQUENCE

Implements the "isSubsequenceOf" operation.

OVERLAPS

static final IOperationEvaluator OVERLAPS

Implements the "overlaps" operation.

UNION

static final IOperationEvaluator UNION

Implements the union operation.

PREPEND

static final IOperationEvaluator PREPEND

Implements the prepend operation.

APPEND

static final IOperationEvaluator APPEND

Implements the append operation.

EXCLUDING

static final IOperationEvaluator EXCLUDING

Implements the "excluding" operation.

INCLUDING

static final IOperationEvaluator INCLUDING

Implements the "including" operation.

REVERSE

static final IOperationEvaluator REVERSE

Implements the "reverse" operation.

SUBSEQUENCE

static final IOperationEvaluator SUBSEQUENCE

Implements the "subSequence" operation.

Constructor Details

SequenceOperations

private SequenceOperations()

Prevent instance creation.

Method Details

register

public static void register()

Registers the defined operations.