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

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.SelfTypeImpl
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, Nameable, OCLValue, Class, Element, NamedElement, Namespace, ParameterableElement, SelfType, TemplateableElement, Type, Visitable, PivotObject

public class SelfTypeImpl
extends ClassImpl
implements SelfType

An implementation of the model object 'Self Type'.

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
 
Fields inherited from class org.eclipse.ocl.examples.pivot.internal.impl.ClassImpl
IS_ABSTRACT_EDEFAULT, IS_ABSTRACT_EFLAG, IS_INTERFACE_EDEFAULT, IS_INTERFACE_EFLAG, ownedBehavior, ownedRule
 
Fields inherited from class org.eclipse.ocl.examples.pivot.internal.impl.TypeImpl
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, ownedAnnotation
 
Fields inherited from class org.eclipse.ocl.examples.pivot.internal.impl.ElementImpl
extension, 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 SelfTypeImpl()
           
 
Method Summary
<R> R
accept(Visitor<R> visitor)
          Returns the result of accepting a visit from a visitor.
 TypeId computeId()
           
 boolean conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
          Return true if this type conform to thatType within standardLibrary.
 java.lang.Object eInvoke(int operationID, org.eclipse.emf.common.util.EList<?> arguments)
           
protected  org.eclipse.emf.ecore.EClass eStaticClass()
           
 DomainType specializeIn(DomainCallExp expr, DomainType selfType)
           
 Type specializeIn(OCLExpression expr, Type selfType)
           
 
Methods inherited from class org.eclipse.ocl.examples.pivot.internal.impl.ClassImpl
createOwnedAttribute, createOwnedBehavior, createOwnedBehavior, createOwnedOperation, createOwnedOperation, createOwnedRule, eBaseStructuralFeatureID, eDerivedStructuralFeatureID, eGet, eInverseAdd, eInverseRemove, eIsSet, eSet, eUnset, getInstanceClassName, getOwnedAttribute, getOwnedBehavior, getOwnedOperation, getOwnedRule, getSuperClass, isAbstract, isInterface, isSetInstanceClassName, isSetOwnedAttribute, isSetOwnedOperation, isSetSuperClass, setInstanceClassName, setIsAbstract, setIsInterface, toString
 
Methods inherited from class org.eclipse.ocl.examples.pivot.internal.impl.TypeImpl
basicGetTemplateParameter, basicSetOwnedTemplateSignature, basicSetOwningTemplateParameter, basicSetPackage, basicSetTemplateParameter, createInstance, createInstance, createOwnedInvariant, createOwnedTemplateSignature, createTemplateBinding, eBasicRemoveFromContainerFeature, eDerivedOperationID, getCommonType, getInheritance, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaTypeName, getNormalizedType, getOwnedInvariant, getOwnedTemplateSignature, getOwningTemplateParameter, getPackage, getTemplateBinding, getTemplateParameter, getTypeId, getTypeParameters, getUnspecializedElement, isCompatibleWith, isEqualTo, isEqualToUnspecializedType, isInvalid, isOrdered, isSetTemplateParameter, isTemplate, isTemplateParameter, isUnique, lookupImplementation, oclEquals, oclHashCode, parameterableElements, setOwnedTemplateSignature, setOwningTemplateParameter, setPackage, setTemplateParameter, setUnspecializedElement, validateUniqueInvariantName
 
Methods inherited from class org.eclipse.ocl.examples.pivot.internal.impl.NamedElementImpl
createOwnedAnnotation, getName, getOwnedAnnotation, isStatic, setIsStatic, setName
 
Methods inherited from class org.eclipse.ocl.examples.pivot.internal.impl.ElementImpl
allOwnedElements, create, createExtension, createOwnedComment, getExtension, getOwnedComment, getValue
 
Methods inherited from class org.eclipse.ocl.examples.pivot.utilities.PivotObjectImpl
getETarget, getTarget, isAdapterForType, notifyChanged, setTarget, unsetTarget
 
Methods inherited from class org.eclipse.emf.ecore.impl.EObjectImpl
eAdapters, eBasicAdapters, eBasicProperties, eBasicSetContainer, eClass, eContainerFeatureID, eDeliver, eInternalContainer, eIsProxy, eProperties, eSetClass, eSetDeliver, eSetProxyURI
 
Methods inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl
eAddVirtualValue, eAllContents, eBasicRemoveFromContainer, eBasicSetContainer, 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
createOwnedBehavior, createOwnedBehavior, getOwnedBehavior, isAbstract, isInterface, setIsAbstract, setIsInterface
 
Methods inherited from interface org.eclipse.ocl.examples.pivot.Type
createOwnedAttribute, createOwnedInvariant, createOwnedOperation, createOwnedOperation, getInstanceClassName, getOwnedAttribute, getOwnedInvariant, getOwnedOperation, getPackage, getSuperClass, setInstanceClassName, setPackage, validateUniqueInvariantName
 
Methods inherited from interface org.eclipse.ocl.examples.pivot.TemplateableElement
createOwnedTemplateSignature, createTemplateBinding, 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
 
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
createOwnedRule, getOwnedRule
 
Methods inherited from interface org.eclipse.ocl.examples.pivot.NamedElement
createOwnedAnnotation, getName, getOwnedAnnotation, isStatic, setIsStatic, setName
 
Methods inherited from interface org.eclipse.ocl.examples.pivot.Element
allOwnedElements, createExtension, createOwnedComment, getETarget, getExtension, 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
 

Constructor Detail

SelfTypeImpl

protected SelfTypeImpl()

Generated
Method Detail

eStaticClass

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

Overrides:
eStaticClass in class ClassImpl
Generated

eInvoke

public java.lang.Object eInvoke(int operationID,
                                org.eclipse.emf.common.util.EList<?> arguments)
                         throws java.lang.reflect.InvocationTargetException

Specified by:
eInvoke in interface org.eclipse.emf.ecore.InternalEObject
Overrides:
eInvoke in class TypeImpl
Throws:
java.lang.reflect.InvocationTargetException
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

specializeIn

public Type specializeIn(OCLExpression expr,
                         Type selfType)
Description copied from interface: Type

Specified by:
specializeIn in interface SelfType
Specified by:
specializeIn in interface Type
Overrides:
specializeIn in class TypeImpl

specializeIn

public DomainType specializeIn(@NonNull
                               DomainCallExp expr,
                               DomainType selfType)
Specified by:
specializeIn in interface DomainType
Overrides:
specializeIn in class TypeImpl