de.tuberlin.cs.cis.ocl.eval.instance
Class EnumerationInstance

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
All Implemented Interfaces:
Instance, OclAny, OclEnumeration

public class EnumerationInstance
extends OclAnyInstance
implements OclEnumeration

Represents an instance of the OCL type Enumeration.

Author:
fchabar

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

EnumerationInstance

public EnumerationInstance(EnumerationTypeDescriptor type,
                           java.lang.String label)
Constructs an instance of the OCL type Enumeration. The type of the constructed enumeration and its unique label within the Enumeration type must be specified.

Parameters:
type - a description of the Enumeration type.
label - the unique label of the enumeration within the Enumeration type.