krieger.oclsolve
Interface BooleanExpression

All Superinterfaces:

Expression, OclAnyExpression

All Known Subinterfaces:

OclInvalidExpression, OclVoidExpression

public interface BooleanExpression
extends OclAnyExpression

Represents an OCL expression of type Boolean.

Method Summary

BooleanExpression	and(BooleanExpression x) Applies the and operation to the expression.
Expression	ifThenElse(Expression thenExpr, Expression elseExpr) Returns an Expression representing an OCL if-then-else expression.
BooleanExpression	implies(BooleanExpression x) Applies the implies operation to the expression.
BooleanExpression	not() Applies the not operation to the expression.
BooleanExpression	or(BooleanExpression x) Applies the or operation to the expression.
BooleanExpression	xor(BooleanExpression x) Applies the xor operation to the expression.

Methods inherited from interface krieger.oclsolve.OclAnyExpression

oclIsEqualTo, oclIsInvalid, oclIsNew, oclIsNotEqualTo, oclIsUndefined

Methods inherited from interface krieger.oclsolve.Expression

evaluate

Method Detail

ifThenElse

Expression ifThenElse(Expression thenExpr,
                      Expression elseExpr)

Returns an Expression representing an OCL if-then-else expression. To be called on the if-expression.

not

BooleanExpression not()

Applies the not operation to the expression.

and

BooleanExpression and(BooleanExpression x)

Applies the and operation to the expression.

or

BooleanExpression or(BooleanExpression x)

Applies the or operation to the expression.

xor

BooleanExpression xor(BooleanExpression x)

Applies the xor operation to the expression.

implies

BooleanExpression implies(BooleanExpression x)

Applies the implies operation to the expression.