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

Class CGValuedElementImpl

java.lang.Object

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

All Implemented Interfaces:

CGElement, CGNamedElement, CGTypedElement, CGValuedElement, Nameable

Direct Known Subclasses:

CGCallableImpl, CGCallExpImpl, CGCollectionExpImpl, CGCollectionPartImpl, CGConstantExpImpl, CGConstantImpl, CGExecutorOperationImpl, CGExecutorPropertyImpl, CGExecutorTypeImpl, CGIfExpImpl, CGLetExpImpl, CGMapExpImpl, CGMapPartImpl, CGPropertyImpl, CGShadowExpImpl, CGShadowPartImpl, CGTupleExpImpl, CGTuplePartImpl, CGTypeExpImpl, CGVariableExpImpl, CGVariableImpl

public abstract class CGValuedElementImpl
extends CGTypedElementImpl
implements CGValuedElement

An implementation of the model object 'CG Valued Element'.

The following features are implemented:

• Depends On
• Owns

EMF generated code

Method Summary

Modifier and Type	Method and Description
Object	eGet(int featureID, boolean resolve, boolean coreType)
NotificationChain	eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
boolean	eIsSet(int featureID)
void	eSet(int featureID, Object newValue)
void	eUnset(int featureID)
List<CGValuedElement>	getDependsOn()
EClassifier	getEcoreClassifier() Return a non-null EClassifier if this value has a known EClassifier to define its instance class.
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.
List<CGValuedElement>	getOwns()
AbstractPlace	getPlace(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	getThisValue() Return a simpler CGValuedElement that is fully equivalent to this element.
CGValuedElement	getTypedValue() Return the CGValuedElement that provides the narrowest type declaration from which the type of this CGValuedElement may be obtained.
String	getValueName() Return the declared name value of this element.
boolean	isAssertedNonNull() Return true if this value is not null, possibly with the aid of an assertion.
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	isCommonable() Return true if this value can be shared as part of a Common Subexpression.
boolean	isConstant() Return true if this value is a local constant (dependent of the user type system).
boolean	isContext() Returns true if this node may have its own symbol name context.
boolean	isEcore() Return true if this value is an Ecore value.
Boolean	isEquivalentTo(CGValuedElement thatValue) Returns true/false if this value can be determined to have deep value equivalence/inequivalence to thatValue, null if no determination can be made.
boolean	isFalse() Return true if this value is false.
boolean	isGlobal() Return true if this value is a global constant (independent of the user type system).
boolean	isInlined() Return true if this value is inlined and so has no local or global declaration.
boolean	isInvalid() Return true if this value is false.
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	isSettable() Return true if this value can be inlined as an expression term.
boolean	isTrue() Return true if this value is true.
boolean	isUnboxed() Return true if this value is an unboxed value.
boolean	isUncommonable() Return true if this value does not have to be shared as part of a Common Subexpression.
boolean	rewriteAs(CGValuedElement oldValue, CGValuedElement newValue) Rewrite the reference to oldValue by newValue.
void	setCaught(boolean isCaught) Set the caught status.
void	setValueName(String valueName) Set the name of the value.

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

getASTypeId, getTypeId, isRequired, setRequired, setTypeId, toString

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

accept, eBasicSetContainer, getChildren, getParent

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

isEquivalentToInternal

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

accept, getChildren, getParent

Method Detail

getDependsOn

public List<CGValuedElement> getDependsOn()

Specified by:

getDependsOn in interface CGValuedElement

Returns:

the value of the 'Depends On' reference list.

See Also:

CGModelPackage.getCGValuedElement_DependsOn()

EMF generated code

getOwns

public List<CGValuedElement> getOwns()

Specified by:

getOwns in interface CGValuedElement

Returns:

the value of the 'Owns' containment reference list.

See Also:

CGModelPackage.getCGValuedElement_Owns()

EMF generated code

eInverseRemove

public NotificationChain eInverseRemove(InternalEObject otherEnd,
                                        int featureID,
                                        NotificationChain msgs)

EMF generated code

eGet

public Object eGet(int featureID,
                   boolean resolve,
                   boolean coreType)

Overrides:

eGet in class CGTypedElementImpl

EMF generated code

eSet

public void eSet(int featureID,
                 Object newValue)

Overrides:

eSet in class CGTypedElementImpl

EMF generated code

eUnset

public void eUnset(int featureID)

Overrides:

eUnset in class CGTypedElementImpl

EMF generated code

eIsSet

public boolean eIsSet(int featureID)

Overrides:

eIsSet in class CGTypedElementImpl

EMF generated code

getEcoreClassifier

public EClassifier getEcoreClassifier()

Return a non-null EClassifier if this value has a known EClassifier to define its instance class.

Specified by:

getEcoreClassifier in interface CGValuedElement

EMF generated code

getInvalidValue

public CGInvalid getInvalidValue()

Return a non-null invalid value if this value is invalid.

Specified by:

getInvalidValue in interface CGValuedElement

EMF generated code

getPlace

public AbstractPlace getPlace(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 CGElementImpl

EMF generated code

getReferredValue

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

EMF generated code

getSourceValue

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

EMF generated code

getThisValue

public CGValuedElement getThisValue()

Return a simpler CGValuedElement that is fully equivalent to this element. May return CGInvalid if this element is invalid. May return the internal value of a CollectionPart or TuplePart. May follow a delegation when the delegation has no semantic significance. Returns this if no simplification occurs.

Specified by:

getThisValue in interface CGValuedElement

EMF generated code

getNamedValue

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

EMF generated code

getTypedValue

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

EMF generated code

getValueName

public String getValueName()

Return the declared name value of this element. The text is valid for use in the target language and unique within the context in which this element is declared.

Specified by:

getValueName in interface CGValuedElement

EMF generated code

isAssertedNonNull

public boolean isAssertedNonNull()

Return true if this value is not null, possibly with the aid of an assertion.

Specified by:

isAssertedNonNull in interface CGValuedElement

EMF generated code

isBoxed

public boolean isBoxed()

Return true if this value is a boxed value.

Specified by:

isBoxed in interface CGValuedElement

EMF generated code

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

EMF generated code

isCommonable

public boolean isCommonable()

Return true if this value can be shared as part of a Common Subexpression.

Specified by:

isCommonable in interface CGValuedElement

EMF generated code

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

EMF generated code

isContext

public boolean isContext()

Returns true if this node may have its own symbol name context.

Specified by:

isContext in interface CGElement

Overrides:

isContext in class CGElementImpl

EMF generated code

isEcore

public boolean isEcore()

Return true if this value is an Ecore value.

Specified by:

isEcore in interface CGValuedElement

EMF generated code

isEquivalentTo

public Boolean isEquivalentTo(CGValuedElement thatValue)

Returns true/false if this value can be determined to have deep value equivalence/inequivalence to thatValue, null if no determination can be made.

Specified by:

isEquivalentTo in interface CGValuedElement

EMF generated code

isFalse

public boolean isFalse()

Return true if this value is false.

Specified by:

isFalse in interface CGValuedElement

EMF generated code

isGlobal

public boolean isGlobal()

Return true if this value is a global constant (independent of the user type system).

Specified by:

isGlobal in interface CGValuedElement

EMF generated code

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

EMF generated code

isInvalid

public boolean isInvalid()

Return true if this value is false.

Specified by:

isInvalid in interface CGValuedElement

EMF generated code

isNonInvalid

public boolean isNonInvalid()

Return true if this value is false.

Specified by:

isNonInvalid in interface CGValuedElement

EMF generated code

isNonNull

public boolean isNonNull()

Return true if this value is not null.

Specified by:

isNonNull in interface CGValuedElement

EMF generated code

isNull

public boolean isNull()

Return true if this value is null.

Specified by:

isNull in interface CGValuedElement

EMF generated code

isSettable

public boolean isSettable()

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

Specified by:

isSettable in interface CGValuedElement

EMF generated code

isTrue

public boolean isTrue()

Return true if this value is true.

Specified by:

isTrue in interface CGValuedElement

EMF generated code

isUnboxed

public boolean isUnboxed()

Return true if this value is an unboxed value.

Specified by:

isUnboxed in interface CGValuedElement

EMF generated code

isUncommonable

public boolean isUncommonable()

Return true if this value does not have to be shared as part of a Common Subexpression.

Specified by:

isUncommonable in interface CGValuedElement

EMF generated code

rewriteAs

public boolean rewriteAs(CGValuedElement oldValue,
                         CGValuedElement newValue)

Rewrite the reference to oldValue by newValue.

Specified by:

rewriteAs in interface CGElement

Overrides:

rewriteAs in class CGElementImpl

EMF generated code

setCaught

public void setCaught(boolean isCaught)

Set the caught status.

Specified by:

setCaught in interface CGValuedElement

EMF generated code

setValueName

public void setValueName(String valueName)

Set the name of the value.

Specified by:

setValueName in interface CGValuedElement

EMF generated code