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

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.MinimalEObjectImpl
              extended by org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container
                  extended by org.eclipse.ocl.examples.codegen.cgmodel.impl.CGElementImpl
                      extended by org.eclipse.ocl.examples.codegen.cgmodel.impl.CGNamedElementImpl
                          extended by org.eclipse.ocl.examples.codegen.cgmodel.impl.CGTypedElementImpl
                              extended by org.eclipse.ocl.examples.codegen.cgmodel.impl.CGValuedElementImpl
                                  extended by org.eclipse.ocl.examples.codegen.cgmodel.impl.CGCallExpImpl
                                      extended by org.eclipse.ocl.examples.codegen.cgmodel.impl.CGIsInvalidExpImpl
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, CGElement, CGIsInvalidExp, CGNamedElement, CGTypedElement, CGValuedElement, Nameable

public class CGIsInvalidExpImpl
extends CGCallExpImpl
implements CGIsInvalidExp

An implementation of the model object 'CG Is Invalid 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 CGIsInvalidExpImpl()
           
 
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()
           
 CGInvalid getInvalidValue()
          Return a non-null invalid value if this value is invalid.
 CGValuedElement getNamedValue()
          Return the CGValuedElement that provides the name of a declaration from which the value of this CGValuedElement may be obtained.
 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 isConstant()
          Return true if this value is a local constant (dependent of the user type system).
 boolean isFalse()
          Return true if this value is false.
 boolean isInlined()
          Return true if this value is inlined and so has no local or global declaration.
 boolean isNonInvalid()
          Return true if this value is false.
 boolean isNonNull()
          Return true if this value is not null.
 boolean isNull()
          Return true if this value is null.
 boolean isTrue()
          Return true if this value is true.
 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, getOwns, getPlace, getThisValue, getValueName, isAssertedNonNull, isCommonable, isContext, isEquivalentTo, isInvalid, isSettable, 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, getOwns, getThisValue, getValueName, isAssertedNonNull, isCommonable, isEquivalentTo, isEquivalentToInternal, isGlobal, isInvalid, isSettable, 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, getPlace, 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

CGIsInvalidExpImpl

protected CGIsInvalidExpImpl()

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

getInvalidValue

@Nullable
public CGInvalid getInvalidValue()
Return a non-null invalid value if this value is invalid.

Specified by:
getInvalidValue in interface CGValuedElement
Overrides:
getInvalidValue in class CGValuedElementImpl
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

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

isConstant

public boolean isConstant()
Return true if this value is a local constant (dependent of the user type system).

Specified by:
isConstant in interface CGValuedElement
Overrides:
isConstant in class CGValuedElementImpl
Generated

isFalse

public boolean isFalse()
Return true if this value is false.

Specified by:
isFalse in interface CGValuedElement
Overrides:
isFalse in class CGValuedElementImpl
Generated

isInlined

public boolean isInlined()
Return true if this value is inlined and so has no local or global declaration.

Specified by:
isInlined in interface CGValuedElement
Overrides:
isInlined in class CGValuedElementImpl
Generated

isNonInvalid

public boolean isNonInvalid()
Return true if this value is false.

Specified by:
isNonInvalid in interface CGValuedElement
Overrides:
isNonInvalid in class CGValuedElementImpl
Generated

isNonNull

public boolean isNonNull()
Return true if this value is not null.

Specified by:
isNonNull in interface CGValuedElement
Overrides:
isNonNull in class CGValuedElementImpl
Generated

isNull

public boolean isNull()
Return true if this value is null.

Specified by:
isNull in interface CGValuedElement
Overrides:
isNull in class CGValuedElementImpl
Generated

isTrue

public boolean isTrue()
Return true if this value is true.

Specified by:
isTrue in interface CGValuedElement
Overrides:
isTrue 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