Package net.ssehub.easy.varModel.cstEvaluation

Class ConstraintOperations

java.lang.Object

net.ssehub.easy.varModel.cstEvaluation.ConstraintOperations

public class ConstraintOperations
extends Object

Implements constraint operations. Actually, constraint euqlas and

Author:

Holger Eichelberger

Constructor Summary

Constructors

Modifier	Constructor	Description
private	ConstraintOperations()	Prevents external creation.

Method Summary

Modifier and Type	Method	Description
(package private) static EvaluationAccessor	handleConstraintAssignment(EvaluationAccessor operand, ConstraintSyntaxTree cst)	Handles a constraint assignment, i.e., assigns the cst.
(package private) static EvaluationAccessor	handleConstraintEquals(EvaluationAccessor operand, ConstraintSyntaxTree cst, boolean negate)	Handles a constraint equality with propagation, i.e., assigns the cst.
static final void	register()	Registers the defined operations.

Methods inherited from class java.lang.Object

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

Constructor Details

ConstraintOperations

private ConstraintOperations()

Prevents external creation.

Method Details

handleConstraintAssignment

static EvaluationAccessor handleConstraintAssignment(EvaluationAccessor operand,
 ConstraintSyntaxTree cst)

Handles a constraint assignment, i.e., assigns the cst.

Parameters:

operand - the operand to assign the constraint to

cst - the value as constraint syntax tree

Returns:

the expression return result

handleConstraintEquals

static EvaluationAccessor handleConstraintEquals(EvaluationAccessor operand,
 ConstraintSyntaxTree cst,
 boolean negate)

Handles a constraint equality with propagation, i.e., assigns the cst.

Parameters:

operand - the operand to assign the constraint to

cst - the value as constraint syntax tree

negate - negate the result (equals or not-equals)

Returns:

the expression return result

register

public static final void register()

Registers the defined operations.