org.eclipse.ocl.examples.pivot.internal.impl
Class UnspecifiedTypeImpl

java.lang.Object
  org.eclipse.emf.common.notify.impl.BasicNotifierImpl
      org.eclipse.emf.ecore.impl.BasicEObjectImpl
          org.eclipse.emf.ecore.impl.EObjectImpl
              org.eclipse.ocl.examples.pivot.utilities.PivotObjectImpl
                  org.eclipse.ocl.examples.pivot.internal.impl.ElementImpl
                      org.eclipse.ocl.examples.pivot.internal.impl.NamedElementImpl
                          org.eclipse.ocl.examples.pivot.internal.impl.TypeImpl
                              org.eclipse.ocl.examples.pivot.internal.impl.ClassImpl
                                  org.eclipse.ocl.examples.pivot.internal.impl.UnspecifiedTypeImpl

All Implemented Interfaces:

org.eclipse.emf.common.notify.Adapter, org.eclipse.emf.common.notify.Adapter.Internal, org.eclipse.emf.common.notify.Notifier, org.eclipse.emf.ecore.EObject, org.eclipse.emf.ecore.InternalEObject, DomainElement, DomainNamedElement, DomainNamespace, DomainType, Labelable, Nameable, OCLValue, Class, Element, NamedElement, Namespace, ParameterableElement, TemplateableElement, Type, UnspecifiedType, Visitable, PivotObject

public class UnspecifiedTypeImpl
extends ClassImpl
implements UnspecifiedType

An implementation of the model object 'Unspecified Type'.

The following features are implemented:

• Lower Bound
• Upper Bound

Generated

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl

org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolder, org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolderBaseImpl, org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolderImpl

Nested classes/interfaces inherited from class org.eclipse.emf.common.notify.impl.BasicNotifierImpl

org.eclipse.emf.common.notify.impl.BasicNotifierImpl.EAdapterList<E extends java.lang.Object & org.eclipse.emf.common.notify.Adapter>, org.eclipse.emf.common.notify.impl.BasicNotifierImpl.EObservableAdapterList

Nested classes/interfaces inherited from interface org.eclipse.emf.common.notify.Adapter

org.eclipse.emf.common.notify.Adapter.Internal

Nested classes/interfaces inherited from interface org.eclipse.emf.ecore.InternalEObject

org.eclipse.emf.ecore.InternalEObject.EStore

Field Summary

protected Type	lowerBound The cached value of the 'Lower Bound' reference.
protected Type	upperBound The cached value of the 'Upper Bound' reference.

Fields inherited from class org.eclipse.ocl.examples.pivot.internal.impl.ClassImpl

IS_ABSTRACT_EDEFAULT, IS_ABSTRACT_EFLAG, IS_ACTIVE_EDEFAULT, IS_ACTIVE_EFLAG, IS_INTERFACE_EDEFAULT, IS_INTERFACE_EFLAG, nestedType, ownedBehavior, ownedRule

Fields inherited from class org.eclipse.ocl.examples.pivot.internal.impl.TypeImpl

extendedBys, INSTANCE_CLASS_NAME_EDEFAULT, instanceClassName, ownedAttribute, ownedInvariant, ownedOperation, ownedTemplateSignature, superClass, templateBinding, templateParameter, unspecializedElement

Fields inherited from class org.eclipse.ocl.examples.pivot.internal.impl.NamedElementImpl

IS_STATIC_EDEFAULT, IS_STATIC_EFLAG, name, NAME_EDEFAULT

Fields inherited from class org.eclipse.ocl.examples.pivot.internal.impl.ElementImpl

extension, ownedAnnotation, ownedComment

Fields inherited from class org.eclipse.emf.ecore.impl.EObjectImpl

eAdapters, eContainer, eContainerFeatureID, EDELIVER, EDYNAMIC_CLASS, eFlags, ELAST_EOBJECT_FLAG, ELAST_NOTIFIER_FLAG, eProperties, EPROXY

Fields inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl

EVIRTUAL_GET, EVIRTUAL_IS_SET, EVIRTUAL_NO_VALUE, EVIRTUAL_SET, EVIRTUAL_UNSET

Fields inherited from interface org.eclipse.emf.ecore.InternalEObject

EOPPOSITE_FEATURE_BASE

Constructor Summary

protected

UnspecifiedTypeImpl()

Method Summary

<R> R	accept(Visitor<R> visitor) Returns the result of accepting a visit from a visitor.
Type	basicGetLowerBound()
Type	basicGetUpperBound()
TypeId	computeId()
boolean	conformsTo(DomainStandardLibrary standardLibrary, DomainType type) Return true if this type conform to thatType within standardLibrary.
java.lang.Object	eGet(int featureID, boolean resolve, boolean coreType)
boolean	eIsSet(int featureID)
void	eSet(int featureID, java.lang.Object newValue)
protected org.eclipse.emf.ecore.EClass	eStaticClass()
void	eUnset(int featureID)
Type	getLowerBound()
Type	getUpperBound()
void	setLowerBound(Type newLowerBound)
void	setUpperBound(Type newUpperBound)

Methods inherited from class org.eclipse.ocl.examples.pivot.internal.impl.ClassImpl

eBaseStructuralFeatureID, eDerivedStructuralFeatureID, eInverseRemove, getNestedType, getOwnedBehavior, getOwnedRule, getSuperClass, isAbstract, isActive, isInterface, setIsAbstract, setIsActive, setIsInterface, toString

Methods inherited from class org.eclipse.ocl.examples.pivot.internal.impl.TypeImpl

basicGetTemplateParameter, basicSetOwnedTemplateSignature, basicSetOwningTemplateParameter, basicSetPackage, basicSetTemplateParameter, createInstance, createInstance, eBasicRemoveFromContainerFeature, eDerivedOperationID, eInverseAdd, eInvoke, getCommonType, getExtendedBys, getInheritance, getInstanceClassName, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaTypeName, getNormalizedType, getOwnedAttribute, getOwnedInvariant, getOwnedOperation, getOwnedTemplateSignature, getOwningTemplateParameter, getPackage, getTemplateBinding, getTemplateParameter, getTypeId, getTypeParameters, getUnspecializedElement, isCompatibleWith, isEqualTo, isEqualToUnspecializedType, isInvalid, isOrdered, isTemplate, isTemplateParameter, isUnique, lookupImplementation, oclEquals, oclHashCode, parameterableElements, setInstanceClassName, setOwnedTemplateSignature, setOwningTemplateParameter, setPackage, setTemplateParameter, setUnspecializedElement, specializeIn, specializeIn, validateUniqueInvariantName

Methods inherited from class org.eclipse.ocl.examples.pivot.internal.impl.NamedElementImpl

getName, isStatic, setIsStatic, setName

Methods inherited from class org.eclipse.ocl.examples.pivot.internal.impl.ElementImpl

allOwnedElements, getExtension, getOwnedAnnotation, getOwnedComment, getValue

Methods inherited from class org.eclipse.ocl.examples.pivot.utilities.PivotObjectImpl

eBasicSetContainer, eBasicSetContainer, getETarget, getImage, getTarget, getText, isAdapterForType, notifyChanged, setTarget, unsetTarget

Methods inherited from class org.eclipse.emf.ecore.impl.EObjectImpl

eAdapters, eBasicAdapters, eBasicProperties, eClass, eContainerFeatureID, eDeliver, eInternalContainer, eIsProxy, eProperties, eSetClass, eSetDeliver, eSetProxyURI

Methods inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl

eAddVirtualValue, eAllContents, eBasicRemoveFromContainer, eComputeVirtualValuesCapacity, eContainer, eContainerAdapterArray, eContainingFeature, eContainmentFeature, eContainmentFeature, eContains, eContents, eCrossReferences, eDerivedOperationID, eDerivedStructuralFeatureID, eDirectResource, eDynamicBasicRemoveFromContainer, eDynamicClass, eDynamicFeature, eDynamicFeatureID, eDynamicGet, eDynamicGet, eDynamicGet, eDynamicInverseAdd, eDynamicInverseAdd, eDynamicInverseRemove, eDynamicInverseRemove, eDynamicInvoke, eDynamicInvoke, eDynamicIsSet, eDynamicIsSet, eDynamicIsSet, eDynamicSet, eDynamicSet, eDynamicSet, eDynamicUnset, eDynamicUnset, eDynamicUnset, eGet, eGet, eGet, eHasSettings, eInternalResource, eInverseAdd, eInverseRemove, eInvocationDelegate, eInvoke, eIsSet, eObjectForURIFragmentSegment, eOpenGet, eOpenIsSet, eOpenSet, eOpenUnset, eProxyURI, eRemoveVirtualValue, eResolveProxy, eResource, eSet, eSetDirectResource, eSetResource, eSetStore, eSetting, eSettingDelegate, eSettings, eSetVirtualIndexBits, eSetVirtualValue, eSetVirtualValues, eStaticFeatureCount, eStaticOperationCount, eStore, eUnset, eURIFragmentSegment, eVirtualBitCount, eVirtualGet, eVirtualGet, eVirtualIndex, eVirtualIndexBits, eVirtualIsSet, eVirtualSet, eVirtualUnset, eVirtualValue, eVirtualValues

Methods inherited from class org.eclipse.emf.common.notify.impl.BasicNotifierImpl

eBasicAdapterArray, eBasicHasAdapters, eNotificationRequired, eNotify

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.eclipse.ocl.examples.pivot.Class

getNestedType, getOwnedBehavior, isAbstract, isActive, isInterface, setIsAbstract, setIsActive, setIsInterface

Methods inherited from interface org.eclipse.ocl.examples.pivot.Type

getExtendedBys, getInstanceClassName, getOwnedAttribute, getOwnedInvariant, getOwnedOperation, getPackage, getSuperClass, setInstanceClassName, setPackage, specializeIn, validateUniqueInvariantName

Methods inherited from interface org.eclipse.ocl.examples.pivot.TemplateableElement

getOwnedTemplateSignature, getTemplateBinding, getUnspecializedElement, isTemplate, parameterableElements, setOwnedTemplateSignature, setUnspecializedElement

Methods inherited from interface org.eclipse.ocl.examples.pivot.ParameterableElement

getOwningTemplateParameter, getTemplateParameter, isCompatibleWith, isTemplateParameter, setOwningTemplateParameter, setTemplateParameter

Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainType

createInstance, createInstance, getCommonType, getInheritance, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaTypeName, getName, getNormalizedType, getTypeId, getTypeParameters, isEqualTo, isEqualToUnspecializedType, isInvalid, isOrdered, isUnique, lookupImplementation, specializeIn

Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainNamespace

getOwnedRule

Methods inherited from interface org.eclipse.ocl.examples.domain.values.OCLValue

oclEquals, oclHashCode

Methods inherited from interface org.eclipse.ocl.examples.pivot.Namespace

getOwnedRule

Methods inherited from interface org.eclipse.ocl.examples.pivot.NamedElement

getName, isStatic, setIsStatic, setName

Methods inherited from interface org.eclipse.ocl.examples.pivot.Element

allOwnedElements, getETarget, getExtension, getOwnedAnnotation, getOwnedComment, getValue

Methods inherited from interface org.eclipse.emf.ecore.EObject

eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset

Methods inherited from interface org.eclipse.emf.common.notify.Notifier

eAdapters, eDeliver, eNotify, eSetDeliver

Methods inherited from interface org.eclipse.ocl.examples.pivot.util.Visitable

eClass

Methods inherited from interface org.eclipse.emf.ecore.InternalEObject

eNotificationRequired

Field Detail

lowerBound

protected Type lowerBound

The cached value of the 'Lower Bound' reference.

See Also:

getLowerBound()

Generated

Ordered

upperBound

protected Type upperBound

The cached value of the 'Upper Bound' reference.

See Also:

getUpperBound()

Generated

Ordered

Constructor Detail

UnspecifiedTypeImpl

protected UnspecifiedTypeImpl()

Generated

Method Detail

eStaticClass

protected org.eclipse.emf.ecore.EClass eStaticClass()

Overrides:

eStaticClass in class ClassImpl

Generated

getLowerBound

public Type getLowerBound()

Specified by:

getLowerBound in interface UnspecifiedType

Returns:

the value of the 'Lower Bound' reference.

See Also:

UnspecifiedType.setLowerBound(Type), PivotPackage.getUnspecifiedType_LowerBound()

Generated

basicGetLowerBound

public Type basicGetLowerBound()

Generated

setLowerBound

public void setLowerBound(Type newLowerBound)

Specified by:

setLowerBound in interface UnspecifiedType

Parameters:

newLowerBound - the new value of the 'Lower Bound' reference.

See Also:

UnspecifiedType.getLowerBound()

Generated

getUpperBound

public Type getUpperBound()

Specified by:

getUpperBound in interface UnspecifiedType

Returns:

the value of the 'Upper Bound' reference.

See Also:

UnspecifiedType.setUpperBound(Type), PivotPackage.getUnspecifiedType_UpperBound()

Generated

basicGetUpperBound

public Type basicGetUpperBound()

Generated

setUpperBound

public void setUpperBound(Type newUpperBound)

Specified by:

setUpperBound in interface UnspecifiedType

Parameters:

newUpperBound - the new value of the 'Upper Bound' reference.

See Also:

UnspecifiedType.getUpperBound()

Generated

eGet

public java.lang.Object eGet(int featureID,
                             boolean resolve,
                             boolean coreType)

Specified by:

eGet in interface org.eclipse.emf.ecore.InternalEObject

Overrides:

eGet in class ClassImpl

Generated

eSet

public void eSet(int featureID,
                 java.lang.Object newValue)

Specified by:

eSet in interface org.eclipse.emf.ecore.InternalEObject

Overrides:

eSet in class ClassImpl

Generated

eUnset

public void eUnset(int featureID)

Specified by:

eUnset in interface org.eclipse.emf.ecore.InternalEObject

Overrides:

eUnset in class ClassImpl

Generated

eIsSet

public boolean eIsSet(int featureID)

Specified by:

eIsSet in interface org.eclipse.emf.ecore.InternalEObject

Overrides:

eIsSet in class ClassImpl

Generated

accept

public <R> R accept(@NonNull
                    Visitor<R> visitor)

Description copied from interface: Visitable

Returns the result of accepting a visit from a visitor. Implementations typically invoke a derived-class-specific variant of visitXXX() to facilitate derived-class-specific processing or just visit() when no such method is available.

Implementations of visit() may use the EcoreSwitch to perform derived-class-specific processing.

Derived implementations of accept() may use getAdapter() to obtain richer visitor interfaces.

Specified by:

accept in interface Visitable

Overrides:

accept in class ClassImpl

Returns:

the result of the visit.

computeId

@NonNull
public TypeId computeId()

Overrides:

computeId in class TypeImpl

conformsTo

public boolean conformsTo(@NonNull
                          DomainStandardLibrary standardLibrary,
                          @NonNull
                          DomainType type)

Description copied from interface: DomainType

Return true if this type conform to thatType within standardLibrary.

Specified by:

conformsTo in interface DomainType

Overrides:

conformsTo in class TypeImpl