|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--de.tuberlin.cs.cis.ocl.eval.instance.PredefinedInstance | +--de.tuberlin.cs.cis.ocl.eval.instance.OclAnyInstance
Constructor Summary | |
OclAnyInstance(Type runtimeType,
java.lang.Object representation)
Constructs an instance of the OCL type OclAny. |
Method Summary | |
OclBoolean |
eq(OclAny object2)
Represents the '='-operation of the type OclAny. |
boolean |
equals(java.lang.Object o)
|
OclBoolean |
neq(OclAny object2)
Represents the '<>'-operation of the type OclAny. |
OclAny |
oclAsType(OclType type)
Results in this instance, but of known type type. |
OclBoolean |
oclInState(OclState state)
Results in true if this instance is in the state state, otherwise results in false. |
OclBoolean |
oclIsKindOf(OclType type)
True if type is one of the types of object, or one of the supertypes (transitive) of the types of object. |
OclBoolean |
oclIsNew()
Can only be used in a postcondition. |
OclBoolean |
oclIsTypeOf(OclType type)
True if type is equal to one of the types of object. |
Methods inherited from class de.tuberlin.cs.cis.ocl.eval.instance.PredefinedInstance |
getRepresentation, getRuntimeType, getValue, hashCode, invoke, navigate, toString |
Methods inherited from class java.lang.Object |
getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public OclAnyInstance(Type runtimeType, java.lang.Object representation)
runtimeType
- the runtime type of the constructed OclAny valuerepresentation
- the Java representation of the constructed valueMethod Detail |
public OclBoolean eq(OclAny object2)
OclAny
Object#equals(Object)
).
eq
in interface OclAny
object2
- an instance of OclAny (!= null)
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public OclBoolean neq(OclAny object2)
OclAny
neq
in interface OclAny
object2
- an instance of OclAny (!= null)
public OclBoolean oclIsKindOf(OclType type)
OclAny
oclIsKindOf
in interface OclAny
type
- an OCL type (!= null)
public OclBoolean oclIsTypeOf(OclType type)
OclAny
oclIsTypeOf
in interface OclAny
type
- an OCL type (!= null)
public OclAny oclAsType(OclType type)
OclAny
oclAsType
in interface OclAny
type
- an OCL type (!= null)
public OclBoolean oclInState(OclState state)
OclAny
oclInState
in interface OclAny
state
- a state (!= null)
public OclBoolean oclIsNew()
OclAny
oclIsNew
in interface OclAny
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |