org.eclipse.ocl.examples.pivot.values.impl
Class TypeValueImpl

java.lang.Object
  org.eclipse.ocl.examples.pivot.values.impl.AbstractValue
      org.eclipse.ocl.examples.pivot.values.impl.ObjectValueImpl
          org.eclipse.ocl.examples.pivot.values.impl.ElementValueImpl<Type>
              org.eclipse.ocl.examples.pivot.values.impl.TypeValueImpl

All Implemented Interfaces:

ElementValue<Type>, ObjectValue, TypeValue, Value

public class TypeValueImpl
extends ElementValueImpl<Type>
implements TypeValue

Nested Class Summary

Nested classes/interfaces inherited from interface org.eclipse.ocl.examples.pivot.values.Value

Value.BinaryOperation

Field Summary

Fields inherited from class org.eclipse.ocl.examples.pivot.values.impl.ObjectValueImpl

object

Fields inherited from class org.eclipse.ocl.examples.pivot.values.impl.AbstractValue

valueFactory

Fields inherited from interface org.eclipse.ocl.examples.pivot.values.Value

INVALID_NAME

Constructor Summary

TypeValueImpl(ValueFactory valueFactory, ClassifierType type)

Method Summary

TypeValueImpl	asTypeValue()
Type	getInstanceType()
ClassifierType	getType()
ClassifierType	getType(TypeManager typeManager, Type staticType)
java.lang.String	toString()

Methods inherited from class org.eclipse.ocl.examples.pivot.values.impl.ElementValueImpl

asElement, asElementValue, equals, getElement

Methods inherited from class org.eclipse.ocl.examples.pivot.values.impl.ObjectValueImpl

asObject, asObjectValue, asValidValue, getObject, hashCode

Methods inherited from class org.eclipse.ocl.examples.pivot.values.impl.AbstractValue

asBagValue, asBoolean, asBooleanValue, asCollectionValue, asDouble, asInteger, asIntegerValue, asOrderedCollectionValue, asOrderedSetValue, asRealValue, asSequenceValue, asSetValue, asString, asStringValue, asUniqueCollectionValue, getValueFactory, isCollectionValue, isFalse, isIntegerValue, isInvalid, isNull, isRealValue, isTrue, isUndefined, isUnlimited, isUnlimitedNatural, oclToString, toIntegerValue, toRealValue, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.eclipse.ocl.examples.pivot.values.ElementValue

getElement

Methods inherited from interface org.eclipse.ocl.examples.pivot.values.ObjectValue

getObject

Methods inherited from interface org.eclipse.ocl.examples.pivot.values.Value

asBagValue, asBoolean, asBooleanValue, asCollectionValue, asDouble, asElement, asElementValue, asInteger, asIntegerValue, asObject, asObjectValue, asOrderedCollectionValue, asOrderedSetValue, asRealValue, asSequenceValue, asSetValue, asString, asStringValue, asUniqueCollectionValue, asValidValue, getValueFactory, isCollectionValue, isFalse, isIntegerValue, isInvalid, isNull, isRealValue, isTrue, isUndefined, isUnlimited, isUnlimitedNatural, oclToString, toIntegerValue, toRealValue, toString

Constructor Detail

TypeValueImpl

public TypeValueImpl(ValueFactory valueFactory,
                     ClassifierType type)

Method Detail

asTypeValue

public TypeValueImpl asTypeValue()

Specified by:

asTypeValue in interface TypeValue

Specified by:

asTypeValue in interface Value

Overrides:

asTypeValue in class AbstractValue

getInstanceType

public Type getInstanceType()

Specified by:

getInstanceType in interface TypeValue

getType

public ClassifierType getType()

Specified by:

getType in interface TypeValue

getType

public ClassifierType getType(TypeManager typeManager,
                              Type staticType)

Specified by:

getType in interface Value

Overrides:

getType in class ElementValueImpl<Type>

toString

public java.lang.String toString()

Overrides:

toString in class ObjectValueImpl