Package net.ssehub.easy.varModel.cstEvaluation

Class GenericNumberOperations

java.lang.Object

net.ssehub.easy.varModel.cstEvaluation.GenericNumberOperations

class GenericNumberOperations
extends java.lang.Object

Generic Number (IntegerType, RealType) operations.

Author:

El-Sharkawy

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static interface	GenericNumberOperations.INumberComparator	Strategy for comparing two numbers.

Field Summary

Fields

Modifier and Type	Field	Description
private static IOperationEvaluator	ABSOLUTE
private static IOperationEvaluator	GREATER
private static GenericNumberOperations.INumberComparator	GREATER_COMPARATOR
private static IOperationEvaluator	GREATER_EQUALS
private static GenericNumberOperations.INumberComparator	GREATER_EQUALS_COMPARATOR
private static IOperationEvaluator	INVERSE
private static IOperationEvaluator	LESS
private static GenericNumberOperations.INumberComparator	LESS_COMPARATOR
private static IOperationEvaluator	LESS_EQUALS
private static GenericNumberOperations.INumberComparator	LESS_EQUALS_COMPARATOR

Constructor Summary

Constructors

Constructor	Description
GenericNumberOperations()

Method Summary

Modifier and Type	Method	Description
private static EvaluationAccessor	absolute(EvaluationAccessor operand, EvaluationAccessor[] arguments)	Removes the sign of a number (IntegerType or RealType).
private static EvaluationAccessor	comparisionOperation(EvaluationAccessor operand, EvaluationAccessor[] arguments, GenericNumberOperations.INumberComparator strategy)	Compares two numbers.
private static EvaluationAccessor	inverse(EvaluationAccessor operand, EvaluationAccessor[] arguments)	Negates a number (IntegerType or RealType).
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 Detail

LESS_COMPARATOR

private static final GenericNumberOperations.INumberComparator LESS_COMPARATOR

LESS_EQUALS_COMPARATOR

private static final GenericNumberOperations.INumberComparator LESS_EQUALS_COMPARATOR

GREATER_COMPARATOR

private static final GenericNumberOperations.INumberComparator GREATER_COMPARATOR

GREATER_EQUALS_COMPARATOR

private static final GenericNumberOperations.INumberComparator GREATER_EQUALS_COMPARATOR

GREATER

private static final IOperationEvaluator GREATER

GREATER_EQUALS

private static final IOperationEvaluator GREATER_EQUALS

LESS

private static final IOperationEvaluator LESS

LESS_EQUALS

private static final IOperationEvaluator LESS_EQUALS

INVERSE

private static final IOperationEvaluator INVERSE

ABSOLUTE

private static final IOperationEvaluator ABSOLUTE

Constructor Detail

GenericNumberOperations

GenericNumberOperations()

Method Detail

register

public static final void register()

Registers the defined operations.

comparisionOperation

private static EvaluationAccessor comparisionOperation(EvaluationAccessor operand,
                                                       EvaluationAccessor[] arguments,
                                                       GenericNumberOperations.INumberComparator strategy)

Compares two numbers. Supported comparisons are: less, less_equals, greater, and greater_equals.

Parameters:

operand - the operand

arguments - the arguments

strategy - A GenericNumberOperations.INumberComparator, specifying which comparison should be used.

Returns:

The result of the comparison.

inverse

private static EvaluationAccessor inverse(EvaluationAccessor operand,
                                          EvaluationAccessor[] arguments)

Negates a number (IntegerType or RealType).

Parameters:

operand - The number which shall be negated.

arguments - Must be null or empty.

Returns:

The given operand * -1;

absolute

private static EvaluationAccessor absolute(EvaluationAccessor operand,
                                           EvaluationAccessor[] arguments)

Removes the sign of a number (IntegerType or RealType).

Parameters:

operand - The number which shall be made absolute.

arguments - Must be null or empty.

Returns:

The given |operand|;