|
|||||||||||
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 | +--de.tuberlin.cs.cis.ocl.eval.instance.EnumerationInstance
Represents an instance of the OCL type Enumeration.
Constructor Summary | |
EnumerationInstance(EnumerationTypeDescriptor type,
java.lang.String label)
Constructs an instance of the OCL type Enumeration. |
Methods inherited from class de.tuberlin.cs.cis.ocl.eval.instance.OclAnyInstance |
eq, equals, neq, oclAsType, oclInState, oclIsKindOf, oclIsNew, oclIsTypeOf |
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 |
Methods inherited from interface de.tuberlin.cs.cis.ocl.type.reflect.OclAny |
eq, neq, oclAsType, oclInState, oclIsKindOf, oclIsNew, oclIsTypeOf |
Constructor Detail |
public EnumerationInstance(EnumerationTypeDescriptor type, java.lang.String label)
type
- a description of the Enumeration type.label
- the unique label of the enumeration within the
Enumeration type.
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |