|
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
This class represents the part of the OCL type OclAny common to basic types and application types, i.e. the availablity of certain properties.
Field Summary | |
private String |
undefinedreason
The reason, why this object represents an undefined value. |
Constructor Summary | |
|
OclAny()
|
protected |
OclAny(int dummy,
String undefinedreason)
Constructs an instance representing an undefined value. |
Method Summary | |
abstract OclRoot |
getFeature(String attributeName)
This operation is implemented to access application object attributes in OclAnyImpl and to throw exceptions in the basic types. |
OclCollection |
getFeatureAsCollection(String name)
Please consult the documentation of OclRoot.getFeatureAsCollection
for a detailed explanation. |
String |
getUndefinedReason()
Returns the reason, why this undefined ocl object has been created. |
abstract 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 |
isUndefined()
Returns true if this object is the result of an undefined OCL expression. |
OclAny |
oclAsType(OclType t)
|
OclBoolean |
oclInState(OclState state)
|
OclBoolean |
oclIsKindOf(OclType t)
This method returns true if the OclType given as parameter is a type of the object whose method is called or a supertype of such a type. |
OclBoolean |
oclIsTypeOf(OclType t)
This method returns true if the OclType given as parameter is a "type" of this object. |
OclType |
oclType()
This property is no longer present in OCL 1.3. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
private String undefinedreason
Constructor Detail |
public OclAny()
protected OclAny(int dummy, String undefinedreason)
Method Detail |
public abstract OclBoolean isEqualTo(Object o)
OclRoot
==
, not
equal
).
isEqualTo
in interface OclRoot
public OclBoolean isNotEqualTo(Object o)
OclRoot
isEqualTo
.
isNotEqualTo
in interface OclRoot
OclRoot.isEqualTo(Object o)
public OclBoolean oclIsKindOf(OclType t)
public OclBoolean oclIsTypeOf(OclType t)
public OclType oclType()
public OclAny oclAsType(OclType t)
public abstract OclRoot getFeature(String attributeName)
OclAnyImpl
and to throw exceptions in the basic types.
getFeature
in interface OclRoot
attributeName
- the name of the queried attributeOclCollection.collect(OclIterator iter, OclRootEvaluatable eval)
public OclCollection getFeatureAsCollection(String name)
OclRoot.getFeatureAsCollection
for a detailed explanation.
getFeatureAsCollection
in interface OclRoot
OclRoot.getFeatureAsCollection(String name)
public OclBoolean oclInState(OclState state)
public final boolean isUndefined()
OclRoot
isUndefined
in interface OclRoot
public final String getUndefinedReason()
OclRoot
getUndefinedReason
in interface OclRoot
|
Dresden OCL Toolkit | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |