de.tuberlin.cs.cis.ocl.type.reflect
Interface OclBoolean

All Superinterfaces:

OclAny

All Known Implementing Classes:

BooleanInstance

public interface OclBoolean

extends OclAny

Represents and identifies the OCL 1.5 type Boolean. It is used by the context checker to reflect operations of and to identify the type within the OCL-context. The names of the operations had to be adapted to java conform method names (therefore they must be remapped to the ocl names to be compareable). Each instance of this interface is handled as an OCL instance of the type Boolean during the evaluation process. Its methods are used to describe the predefined properties of the type. For a complete description of the type and its properties (to be specific for this class and its methods) refer to the type description of OCL 1.5.

Author:

fchabar

See Also:

OCL 1.5 Standard, de.tuberlin.cs.cis.ocl.type, de.tuberlin.cs.cis.ocl.eval.instance

Method Summary

OclBoolean	and(OclBoolean b2) Results in True if either this instance and b2 is true.
OclBoolean	implies(OclBoolean b2) Results in True if this instance is false, or if b is true and b2 is true.
OclBoolean	not() Results in True if this instance is false.
OclBoolean	or(OclBoolean b2) Results in True if either this instance or b2 is true.
OclBoolean	xor(OclBoolean b2) Results in True if either this instance or b2 is true, but not both.

Methods inherited from interface de.tuberlin.cs.cis.ocl.type.reflect.OclAny

eq, neq, oclAsType, oclInState, oclIsKindOf, oclIsNew, oclIsTypeOf

Method Detail

or

public OclBoolean or(OclBoolean b2)

Results in True if either this instance or b2 is true.

Parameters:

b2 - an instance of Boolean (!= null)

Returns:

True if either this instance or b2 is true, False otherwise.

xor

public OclBoolean xor(OclBoolean b2)

Results in True if either this instance or b2 is true, but not both.

Parameters:

b2 - an instance of Boolean (!= null)

Returns:

True if either this instance or b2 is true, but not both, False otherwise.

and

public OclBoolean and(OclBoolean b2)

Results in True if either this instance and b2 is true.

Parameters:

b2 - an instance of Boolean (!= null)

Returns:

True if either this instance and b2 is true, False otherwise.

not

public OclBoolean not()

Results in True if this instance is false.

Returns:

True if this instance is false.

implies

public OclBoolean implies(OclBoolean b2)

Results in True if this instance is false, or if b is true and b2 is true.

Parameters:

b2 - b2 an instance of Boolean (!= null)

Returns:

True if this instance is false, or if b is true and b2 is true.