org.eclipse.ocl.examples.codegen.cgmodel.impl
Class CGCatchExpImpl

java.lang.Object
  org.eclipse.emf.common.notify.impl.BasicNotifierImpl
      org.eclipse.emf.ecore.impl.BasicEObjectImpl
          org.eclipse.emf.ecore.impl.MinimalEObjectImpl
              org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container
                  org.eclipse.ocl.examples.codegen.cgmodel.impl.CGElementImpl
                      org.eclipse.ocl.examples.codegen.cgmodel.impl.CGNamedElementImpl
                          org.eclipse.ocl.examples.codegen.cgmodel.impl.CGTypedElementImpl
                              org.eclipse.ocl.examples.codegen.cgmodel.impl.CGValuedElementImpl
                                  org.eclipse.ocl.examples.codegen.cgmodel.impl.CGCallExpImpl
                                      org.eclipse.ocl.examples.codegen.cgmodel.impl.CGCatchExpImpl

All Implemented Interfaces:

org.eclipse.emf.common.notify.Notifier, org.eclipse.emf.ecore.EObject, org.eclipse.emf.ecore.EStructuralFeature.Internal.DynamicValueHolder, org.eclipse.emf.ecore.InternalEObject, CGCallExp, CGCatchExp, CGElement, CGNamedElement, CGTypedElement, CGValuedElement, Nameable

public class CGCatchExpImpl
extends CGCallExpImpl
implements CGCatchExp

An implementation of the model object 'CG Catch Exp'.

Generated

Nested Class Summary

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

org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container.Dynamic

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

org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container

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.ecore.InternalEObject

org.eclipse.emf.ecore.InternalEObject.EStore

Field Summary

Fields inherited from class org.eclipse.ocl.examples.codegen.cgmodel.impl.CGCallExpImpl

invalidating, INVALIDATING_EDEFAULT, source, validating, VALIDATING_EDEFAULT

Fields inherited from class org.eclipse.ocl.examples.codegen.cgmodel.impl.CGValuedElementImpl

caught, dependsOn, owns, valueName

Fields inherited from class org.eclipse.ocl.examples.codegen.cgmodel.impl.CGTypedElementImpl

required, REQUIRED_EDEFAULT, typeId

Fields inherited from class org.eclipse.ocl.examples.codegen.cgmodel.impl.CGNamedElementImpl

ast, AST_EDEFAULT, name, NAME_EDEFAULT

Fields inherited from class org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container

eContainer

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.EStructuralFeature.Internal.DynamicValueHolder

NIL

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

EOPPOSITE_FEATURE_BASE

Constructor Summary

protected

CGCatchExpImpl()

Method Summary

<R> R	accept(CGModelVisitor<R> visitor) Accept a visit from a visitor and return the result of a call to the derived type-specific visitXXX in the visitor.
protected org.eclipse.emf.ecore.EClass	eStaticClass()
CGValuedElement	getNamedValue() Return the CGValuedElement that provides the name of a declaration from which the value of this CGValuedElement may be obtained.
AbstractPlace	getPlace(java.util.Map<CGElement,AbstractPlace> element2place) Returns the place for this element, updating and reusing element2place as required.
CGValuedElement	getReferredValue() Return the CGValuedElement to which the value of this CGValuedElement delegates.
CGValuedElement	getSourceValue() Return the CGValuedElement which is the source of the information value of this element.
CGValuedElement	getTypedValue() Return the CGValuedElement that provides the narrowest type declaration from which the type of this CGValuedElement may be obtained.
boolean	isBoxed() Return true if this value is a boxed value.
boolean	isCaught() Returns true if any exception associated with this value has been caught and consequently the value may be an InvalidValueException.
boolean	isSettable() Return true if this value can be inlined as an expression term.
boolean	isUnboxed() Return true if this value is an unboxed value.
void	setCaught(boolean isCaught) Set the caught status.

Methods inherited from class org.eclipse.ocl.examples.codegen.cgmodel.impl.CGCallExpImpl

basicSetSource, eGet, eInverseRemove, eIsSet, eSet, eUnset, getSource, isEquivalentToInternal, isGlobal, isInvalidating, isValidating, setInvalidating, setSource, setValidating, toString

Methods inherited from class org.eclipse.ocl.examples.codegen.cgmodel.impl.CGValuedElementImpl

getDependsOn, getInvalidValue, getOwns, getThisValue, getValueName, isAssertedNonNull, isCommonable, isConstant, isContext, isEquivalentTo, isFalse, isInlined, isInvalid, isNonInvalid, isNonNull, isNull, isTrue, isUncommonable, rewriteAs, setValueName

Methods inherited from class org.eclipse.ocl.examples.codegen.cgmodel.impl.CGTypedElementImpl

getASTypeId, getTypeId, isRequired, setRequired, setTypeId

Methods inherited from class org.eclipse.ocl.examples.codegen.cgmodel.impl.CGNamedElementImpl

getAst, getName, setAst, setName

Methods inherited from class org.eclipse.ocl.examples.codegen.cgmodel.impl.CGElementImpl

getChildren, getParent

Methods inherited from class org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container

eBasicSetContainer, eInternalContainer

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

dynamicGet, dynamicSet, dynamicUnset, eAdapters, eBasicAdapterArray, eBasicAdapterListeners, eBasicAdapters, eBasicHasAdapters, eBasicProperties, eBasicSetAdapterArray, eBasicSetAdapterListeners, eBasicSetContainer, eBasicSetContainerFeatureID, eBasicSetSettings, eBasicSettings, eClass, eContainerFeatureID, eContents, eCrossReferences, eDeliver, eDirectResource, eDynamicClass, eHasSettings, eIsProxy, eProperties, eProxyURI, eSetClass, eSetDeliver, eSetDirectResource, eSetProxyURI, eSettings

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

eAddVirtualValue, eAllContents, eBaseStructuralFeatureID, eBasicRemoveFromContainer, eBasicRemoveFromContainerFeature, eBasicSetContainer, eComputeVirtualValuesCapacity, eContainer, eContainerAdapterArray, eContainingFeature, eContainmentFeature, eContainmentFeature, eContains, eDerivedOperationID, eDerivedOperationID, eDerivedStructuralFeatureID, eDerivedStructuralFeatureID, eDynamicBasicRemoveFromContainer, eDynamicFeature, eDynamicFeatureID, eDynamicGet, eDynamicGet, eDynamicGet, eDynamicInverseAdd, eDynamicInverseAdd, eDynamicInverseRemove, eDynamicInverseRemove, eDynamicInvoke, eDynamicInvoke, eDynamicIsSet, eDynamicIsSet, eDynamicIsSet, eDynamicSet, eDynamicSet, eDynamicSet, eDynamicUnset, eDynamicUnset, eDynamicUnset, eGet, eGet, eGet, eInternalResource, eInverseAdd, eInverseAdd, eInverseRemove, eInvocationDelegate, eInvoke, eInvoke, eIsSet, eObjectForURIFragmentSegment, eOpenGet, eOpenIsSet, eOpenSet, eOpenUnset, eRemoveVirtualValue, eResolveProxy, eResource, eSet, eSetResource, eSetStore, eSetting, eSettingDelegate, 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

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.codegen.cgmodel.CGCallExp

getSource, isInvalidating, isValidating, setInvalidating, setSource, setValidating

Methods inherited from interface org.eclipse.ocl.examples.codegen.cgmodel.CGValuedElement

getDependsOn, getInvalidValue, getOwns, getThisValue, getValueName, isAssertedNonNull, isCommonable, isConstant, isEquivalentTo, isEquivalentToInternal, isFalse, isGlobal, isInlined, isInvalid, isNonInvalid, isNonNull, isNull, isTrue, isUncommonable, setValueName

Methods inherited from interface org.eclipse.ocl.examples.codegen.cgmodel.CGTypedElement

getASTypeId, getTypeId, isRequired, setRequired, setTypeId

Methods inherited from interface org.eclipse.ocl.examples.codegen.cgmodel.CGNamedElement

getAst, getName, setAst, setName

Methods inherited from interface org.eclipse.ocl.examples.codegen.cgmodel.CGElement

getChildren, getParent, isContext, rewriteAs

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.emf.ecore.InternalEObject

eNotificationRequired

Constructor Detail

CGCatchExpImpl

protected CGCatchExpImpl()

Generated

Method Detail

eStaticClass

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

Overrides:

eStaticClass in class CGCallExpImpl

Generated

accept

@Nullable
public <R> R accept(@NonNull
                             CGModelVisitor<R> visitor)

Accept a visit from a visitor and return the result of a call to the derived type-specific visitXXX in the visitor.

Specified by:

accept in interface CGElement

Overrides:

accept in class CGElementImpl

Generated

getNamedValue

@NonNull
public CGValuedElement getNamedValue()

Return the CGValuedElement that provides the name of a declaration from which the value of this CGValuedElement may be obtained. Fundamental elements such as constants and operation calls provide the named value themselves. More complex elements such as VariableExp and ThrowExp may delegate.

Specified by:

getNamedValue in interface CGValuedElement

Overrides:

getNamedValue in class CGValuedElementImpl

Generated

getPlace

@Nullable
public AbstractPlace getPlace(@NonNull
                                       java.util.Map<CGElement,AbstractPlace> element2place)

Returns the place for this element, updating and reusing element2place as required. All parent elements have entries in element2place. No child elements have entries in element2place. The global place is accessible as the null element.

Specified by:

getPlace in interface CGElement

Overrides:

getPlace in class CGValuedElementImpl

Generated

getReferredValue

@NonNull
public CGValuedElement getReferredValue()

Return the CGValuedElement to which the value of this CGValuedElement delegates. Fundamental elements such as constants and operation calls provide the named value themselves. More complex elements such as VariableExp and ThrowExp may delegate.

Specified by:

getReferredValue in interface CGValuedElement

Overrides:

getReferredValue in class CGValuedElementImpl

Generated

getSourceValue

@NonNull
public CGValuedElement getSourceValue()

Return the CGValuedElement which is the source of the information value of this element. Note that the source value may be differently guarded, caught/thrown and boxed/unboxed to this value. Returns this if no delegation occurs.

Specified by:

getSourceValue in interface CGValuedElement

Overrides:

getSourceValue in class CGValuedElementImpl

Generated

getTypedValue

@NonNull
public CGValuedElement getTypedValue()

Return the CGValuedElement that provides the narrowest type declaration from which the type of this CGValuedElement may be obtained. Fundamental elements such as constants and operations call provide their own narrow type. More complex elements such as CatchExp have a wide type that includes invalid and so delegate to identify the narrow type. More complex elements such as GuardExp/ThrowExp propagate an unchanged value with a narrower type than their source.

Specified by:

getTypedValue in interface CGValuedElement

Overrides:

getTypedValue in class CGValuedElementImpl

Generated

isBoxed

public boolean isBoxed()

Return true if this value is a boxed value.

Specified by:

isBoxed in interface CGValuedElement

Overrides:

isBoxed in class CGValuedElementImpl

Generated

isCaught

public boolean isCaught()

Returns true if any exception associated with this value has been caught and consequently the value may be an InvalidValueException. Returns true if any exception has been thrown.

Specified by:

isCaught in interface CGValuedElement

Overrides:

isCaught in class CGValuedElementImpl

Generated

isSettable

public boolean isSettable()

Return true if this value can be inlined as an expression term.

Specified by:

isSettable in interface CGValuedElement

Overrides:

isSettable in class CGValuedElementImpl

Generated

isUnboxed

public boolean isUnboxed()

Return true if this value is an unboxed value.

Specified by:

isUnboxed in interface CGValuedElement

Overrides:

isUnboxed in class CGValuedElementImpl

Generated

setCaught

public void setCaught(boolean isCaught)

Set the caught status.

Specified by:

setCaught in interface CGValuedElement

Overrides:

setCaught in class CGValuedElementImpl

Generated