|
Dresden OCL Toolkit | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttudresden.ocl.lib.OclAny
tudresden.ocl.lib.OclBoolean
A class that represents the basic OCL type Boolean. There is no public
constructor for this class to enforce that exactly two instances of this
class exist: TRUE
and FALSE
. This is a slightly
weakened Singleton pattern.
TRUE and FALSE (in capital letters) in this documentation page denote the class attributes of the same name.
Field Summary | |
private boolean |
bValue
|
static OclBoolean |
FALSE
The instance of this class that represents the boolean value false. |
static OclBoolean |
TRUE
The instance of this class that represents the boolean value true. |
Fields inherited from class tudresden.ocl.lib.OclAny |
|
Constructor Summary | |
private |
OclBoolean(boolean b)
constructor for defined values |
|
OclBoolean(int dummy,
String undefinedreason)
constructor for undefined value |
Method Summary | |
OclBoolean |
and(OclBoolean b)
|
OclRoot |
getFeature(String name)
This method returns an undefined value. |
OclRoot |
ifThenElse(OclRoot param1,
OclRoot param2)
|
OclBoolean |
implies(OclBoolean b)
|
OclBoolean |
isEqualTo(Object o)
Returns true if this object is equal to the object given as parameter. |
OclBoolean |
isNotEqualTo(Object o)
Returns the negated result of isEqualTo . |
boolean |
isTrue()
|
OclBoolean |
not()
|
OclType |
oclType()
This property is no longer present in OCL 1.3. |
OclBoolean |
or(OclBoolean b)
|
String |
toString()
|
OclBoolean |
xor(OclBoolean b)
|
Methods inherited from class tudresden.ocl.lib.OclAny |
getFeatureAsCollection, getUndefinedReason, isUndefined, oclAsType, oclInState, oclIsKindOf, oclIsTypeOf |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
public static final OclBoolean FALSE
public static final OclBoolean TRUE
private boolean bValue
Constructor Detail |
public OclBoolean(int dummy, String undefinedreason)
private OclBoolean(boolean b)
Method Detail |
public OclBoolean isEqualTo(Object o)
OclRoot
==
, not
equal
).
isEqualTo
in interface OclRoot
isEqualTo
in class OclAny
public OclBoolean isNotEqualTo(Object o)
OclRoot
isEqualTo
.
isNotEqualTo
in interface OclRoot
isNotEqualTo
in class OclAny
isEqualTo(Object o)
public OclBoolean xor(OclBoolean b)
public OclBoolean or(OclBoolean b)
public OclBoolean and(OclBoolean b)
public OclBoolean not()
public OclBoolean implies(OclBoolean b)
public OclRoot ifThenElse(OclRoot param1, OclRoot param2)
public boolean isTrue()
true
if this object is TRUE, false
otherwisepublic OclRoot getFeature(String name)
getFeature
in interface OclRoot
getFeature
in class OclAny
public OclType oclType()
oclType
in class OclAny
public String toString()
|
Dresden OCL Toolkit | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |