Package net.ssehub.easy.varModel.cstEvaluation

Class RealOperations

java.lang.Object

net.ssehub.easy.varModel.cstEvaluation.RealOperations

public class RealOperations
extends java.lang.Object

Implements real operations.

Author:

Holger Eichelberger, El-Sharkawy

Field Summary

Fields

Modifier and Type	Field	Description
(package private) static IOperationEvaluator	DIVISION_REAL
(package private) static IOperationEvaluator	EQUALS_REAL_INT
(package private) static IOperationEvaluator	FLOOR
(package private) static IOperationEvaluator	MAX_REAL
(package private) static IOperationEvaluator	MIN_REAL
(package private) static IOperationEvaluator	MINUS_REAL
(package private) static IOperationEvaluator	MODULO_REAL
(package private) static IOperationEvaluator	MULTIPLICATION_REAL
(package private) static IOperationEvaluator	PLUS_REAL
(package private) static IOperationEvaluator	ROUND
(package private) static IOperationEvaluator	TO_INT	Implements the to-integer conversion.
(package private) static IOperationEvaluator	UNEQUALS_REAL_INT

Constructor Summary

Constructors

Modifier	Constructor	Description
private	RealOperations()	Prevents external creation.

Method Summary

Modifier and Type	Method	Description
private static EvaluationAccessor	arithmeticOperationReal(EvaluationAccessor operand, EvaluationAccessor[] arguments, ArithmeticOperationType type)	Implements arithmetic operations of two integer variables/values.
(package private) static EvaluationAccessor	equalsRealInt(EvaluationAccessor operand, EvaluationAccessor[] arguments, boolean negate)	Implements the mixed int-real equality operation.
private static EvaluationAccessor	minmaxOperationReal(EvaluationAccessor operand, EvaluationAccessor[] arguments, boolean min)	Implements min/max operations of two integer/real variables/values.
static void	register()	Registers the defined operations.
private static EvaluationAccessor	round(EvaluationAccessor operand, EvaluationAccessor[] arguments, boolean roundUp)	Implements arithmetic operations of two integer variables/values.

Methods inherited from class java.lang.Object

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

Field Detail

EQUALS_REAL_INT

static final IOperationEvaluator EQUALS_REAL_INT

UNEQUALS_REAL_INT

static final IOperationEvaluator UNEQUALS_REAL_INT

TO_INT

static final IOperationEvaluator TO_INT

Implements the to-integer conversion.

PLUS_REAL

static final IOperationEvaluator PLUS_REAL

MINUS_REAL

static final IOperationEvaluator MINUS_REAL

MULTIPLICATION_REAL

static final IOperationEvaluator MULTIPLICATION_REAL

DIVISION_REAL

static final IOperationEvaluator DIVISION_REAL

MODULO_REAL

static final IOperationEvaluator MODULO_REAL

FLOOR

static final IOperationEvaluator FLOOR

ROUND

static final IOperationEvaluator ROUND

MIN_REAL

static final IOperationEvaluator MIN_REAL

MAX_REAL

static final IOperationEvaluator MAX_REAL

Constructor Detail

RealOperations

private RealOperations()

Prevents external creation.

Method Detail

register

public static final void register()

Registers the defined operations.

equalsRealInt

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

Implements the mixed int-real equality operation.

Parameters:

operand - the operand

arguments - the arguments

negate - whether the result shall be negated

Returns:

the comparison result, null if the operation cannot be applied

arithmeticOperationReal

private static EvaluationAccessor arithmeticOperationReal(EvaluationAccessor operand,
                                                          EvaluationAccessor[] arguments,
                                                          ArithmeticOperationType type)

Implements arithmetic operations of two integer variables/values.

Parameters:

operand - the operand

arguments - the arguments

type - The desired arithmetic operation.

Returns:

The result of the arithmetic operation, null if the operation cannot be applied

round

private static EvaluationAccessor round(EvaluationAccessor operand,
                                        EvaluationAccessor[] arguments,
                                        boolean roundUp)

Implements arithmetic operations of two integer variables/values.

Parameters:

operand - the operand

arguments - the arguments

roundUp - If true this operation will round commercial (*.5 and higher will be round up), else numbers will be round down in any case.

Returns:

The result of the arithmetic operation, null if the operation cannot be applied

minmaxOperationReal

private static EvaluationAccessor minmaxOperationReal(EvaluationAccessor operand,
                                                      EvaluationAccessor[] arguments,
                                                      boolean min)

Implements min/max operations of two integer/real variables/values.

Parameters:

operand - the operand

arguments - the arguments

min - If true the min operation will be applied, max otherwise.

Returns:

The min/max of the two parameters, null if the operation cannot be applied