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

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.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, Labelable, 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_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

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

eBaseStructuralFeatureID, eDerivedStructuralFeatureID, eGet, eInverseRemove, eIsSet, eSet, eUnset, 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, 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, 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, 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

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

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