Package net.ssehub.easy.varModel.cstEvaluation

Class GenericOperations

java.lang.Object

net.ssehub.easy.varModel.cstEvaluation.GenericOperations

public class GenericOperations
extends java.lang.Object

Generic operation implementation for the individual types. Testing shall happen along the operation defining types.

Author:

Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field	Description
(package private) static IOperationEvaluator	AS_TYPE	Implements the "asType" operation.
(package private) static IOperationEvaluator	ASSIGNMENT	The generic assignment operation.
(package private) static IOperationEvaluator	COPY	Implements the "copy" operation.
(package private) static IOperationEvaluator	EQUALS	Implements the generic equals operation.
(package private) static IOperationEvaluator	GET_LOCALE
(package private) static IOperationEvaluator	IS_DEFINED	Implements the "is defined" operation.
(package private) static IOperationEvaluator	IS_KIND_OF	Implements the "isKindOf" operation.
(package private) static IOperationEvaluator	IS_TYPE_OF	Implements the "isTypeOf" operation.
(package private) static IOperationEvaluator	SET_LOCALE
(package private) static IOperationEvaluator	TO_STRING	Implements the generic toString operation.
(package private) static IOperationEvaluator	TYPE_OF	Implements the "typeOf" operation.
(package private) static IOperationEvaluator	UNEQUALS	Implements the generic not-equals operation.

Constructor Summary

Constructors

Modifier	Constructor	Description
private	GenericOperations()	Prevents external instantiation.

Method Summary

Modifier and Type	Method	Description
private static EvaluationAccessor	assign(EvaluationAccessor operand, EvaluationAccessor[] arguments, boolean asAssignment)	Performs a value assignment.
(package private) static EvaluationAccessor	equals(EvaluationAccessor operand, EvaluationAccessor[] arguments, boolean negate)	Implements a generic equality operation for basic values (excluding compounds and containers).
(package private) static EvaluationAccessor	equalsNull(Value operand, Value argument, EvaluationContext context, boolean negate)	Implements a generic equality operation for null values.
private static boolean	isAssignableCompound(EvaluationAccessor operand)	Returns true if EvaluationAccessor is a compound and all compounds nested elements are undefined.
static java.lang.String	localeToString(EvaluationAccessor accessor)	Turns the locale of the accessor/context into a string.
static void	register()	Registers the defined operations.
private static IDatatype	toType(Value value)	Returns the type of value.

Methods inherited from class java.lang.Object

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

Field Detail

ASSIGNMENT

static final IOperationEvaluator ASSIGNMENT

The generic assignment operation.

EQUALS

static final IOperationEvaluator EQUALS

Implements the generic equals operation.

UNEQUALS

static final IOperationEvaluator UNEQUALS

Implements the generic not-equals operation.

TO_STRING

static final IOperationEvaluator TO_STRING

Implements the generic toString operation.

IS_DEFINED

static final IOperationEvaluator IS_DEFINED

Implements the "is defined" operation.

COPY

static final IOperationEvaluator COPY

Implements the "copy" operation.

TYPE_OF

static final IOperationEvaluator TYPE_OF

Implements the "typeOf" operation.

IS_TYPE_OF

static final IOperationEvaluator IS_TYPE_OF

Implements the "isTypeOf" operation.

IS_KIND_OF

static final IOperationEvaluator IS_KIND_OF

Implements the "isKindOf" operation.

AS_TYPE

static final IOperationEvaluator AS_TYPE

Implements the "asType" operation.

GET_LOCALE

static final IOperationEvaluator GET_LOCALE

SET_LOCALE

static final IOperationEvaluator SET_LOCALE

Constructor Detail

GenericOperations

private GenericOperations()

Prevents external instantiation.

Method Detail

localeToString

public static java.lang.String localeToString(EvaluationAccessor accessor)

Turns the locale of the accessor/context into a string.

Parameters:

accessor - the accessor

Returns:

the locale as string

register

public static void register()

Registers the defined operations.

equals

static EvaluationAccessor equals(EvaluationAccessor operand,
                                 EvaluationAccessor[] arguments,
                                 boolean negate)

Implements a generic equality operation for basic values (excluding compounds and containers).

Parameters:

operand - the operand value

arguments - the argument values

negate - whether the (boolean) result shall be negated

Returns:

a boolean value if equality can be evaluated, null else

equalsNull

static final EvaluationAccessor equalsNull(Value operand,
                                           Value argument,
                                           EvaluationContext context,
                                           boolean negate)

Implements a generic equality operation for null values.

Parameters:

operand - the operand value

argument - the argument value

context - the evaluation context

negate - whether the (boolean) result shall be negated

Returns:

a boolean value if equality can be evaluated, null else

toType

private static IDatatype toType(Value value)

Returns the type of value.

Parameters:

value - the value to be turned into its type

Returns:

the type (may be null)

isAssignableCompound

private static boolean isAssignableCompound(EvaluationAccessor operand)

Returns true if EvaluationAccessor is a compound and all compounds nested elements are undefined.

Parameters:

operand - EvaluationAccessor to be checked.

Returns:

true if all nested elements are undefined.

assign

private static EvaluationAccessor assign(EvaluationAccessor operand,
                                         EvaluationAccessor[] arguments,
                                         boolean asAssignment)

Performs a value assignment.

Parameters:

operand - the operand

arguments - the arguments

asAssignment - called as part of an assignment (hard constraint, true) or as part of a soft constraint (false)

Returns:

the result evaluation accessor