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.