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

java.lang.Object
  extended by org.eclipse.emf.common.notify.impl.BasicNotifierImpl
      extended by org.eclipse.emf.ecore.impl.BasicEObjectImpl
          extended by org.eclipse.emf.ecore.impl.EObjectImpl
              extended by org.eclipse.ocl.examples.pivot.utilities.PivotObjectImpl
                  extended by org.eclipse.ocl.examples.pivot.internal.impl.ElementImpl
                      extended by org.eclipse.ocl.examples.pivot.internal.impl.NamedElementImpl
                          extended by org.eclipse.ocl.examples.pivot.internal.impl.TypeImpl
                              extended by org.eclipse.ocl.examples.pivot.internal.impl.ClassImpl
                                  extended by 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:

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