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

Class CGGuardExpImpl

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

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

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

All Implemented Interfaces:

CGCallExp, CGElement, CGGuardExp, CGNamedElement, CGTypedElement, CGValuedElement, Nameable

public class CGGuardExpImpl
extends CGCallExpImpl
implements CGGuardExp

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

The following features are implemented:

• Message
• Safe

EMF generated code

Method Summary

Modifier and Type	Method and Description
<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.
Object	eGet(int featureID, boolean resolve, boolean coreType)
boolean	eIsSet(int featureID)
void	eSet(int featureID, Object newValue)
void	eUnset(int featureID)
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.
String	getMessage()
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.
String	getValueName() Return the declared name value of this element.
boolean	isBoxed() Return true if this value is a boxed value.
boolean	isEcore() Return true if this value is an Ecore value.
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	isSafe()
boolean	isUnboxed() Return true if this value is an unboxed value.
void	setMessage(String newMessage)
void	setSafe(boolean newSafe)
String	toString()

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

basicSetSource, eInverseRemove, getSource, isEquivalentToInternal, isGlobal, isInvalidating, isValidating, setInvalidating, setSource, setValidating

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

getDependsOn, getOwns, getPlace, getThisValue, isAssertedNonNull, isCaught, isCommonable, isConstant, isContext, isEquivalentTo, isFalse, isInlined, isInvalid, isSettable, isTrue, isUncommonable, rewriteAs, setCaught, 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

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

getSource, isInvalidating, isValidating, setInvalidating, setSource, setValidating

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

getDependsOn, getOwns, getThisValue, isAssertedNonNull, isCaught, isCommonable, isConstant, isEquivalentTo, isEquivalentToInternal, isFalse, isGlobal, isInlined, isInvalid, isSettable, isTrue, isUncommonable, setCaught, 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

Method Detail

getMessage

public String getMessage()

Specified by:

getMessage in interface CGGuardExp

Returns:

the value of the 'Message' attribute.

See Also:

CGGuardExp.setMessage(String), CGModelPackage.getCGGuardExp_Message()

EMF generated code

setMessage

public void setMessage(String newMessage)

Specified by:

setMessage in interface CGGuardExp

Parameters:

newMessage - the new value of the 'Message' attribute.

See Also:

CGGuardExp.getMessage()

EMF generated code

isSafe

public boolean isSafe()

Specified by:

isSafe in interface CGGuardExp

Returns:

the value of the 'Safe' attribute.

See Also:

CGGuardExp.setSafe(boolean), CGModelPackage.getCGGuardExp_Safe()

EMF generated code

setSafe

public void setSafe(boolean newSafe)

Specified by:

setSafe in interface CGGuardExp

Parameters:

newSafe - the new value of the 'Safe' attribute.

See Also:

CGGuardExp.isSafe()

EMF generated code

toString

public String toString()

Overrides:

toString in class CGCallExpImpl

EMF generated code

eGet

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

Overrides:

eGet in class CGCallExpImpl

EMF generated code

eSet

public void eSet(int featureID,
                 Object newValue)

Overrides:

eSet in class CGCallExpImpl

EMF generated code

eUnset

public void eUnset(int featureID)

Overrides:

eUnset in class CGCallExpImpl

EMF generated code

eIsSet

public boolean eIsSet(int featureID)

Overrides:

eIsSet in class CGCallExpImpl

EMF generated code

accept

public <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.

Specified by:

accept in interface CGElement

Overrides:

accept in class CGElementImpl

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

Overrides:

getEcoreClassifier in class CGValuedElementImpl

EMF generated code

getInvalidValue

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

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

Overrides:

getSourceValue in class CGValuedElementImpl

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

Overrides:

getTypedValue in class CGValuedElementImpl

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

Overrides:

getNamedValue in class CGValuedElementImpl

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

Overrides:

getReferredValue in class CGValuedElementImpl

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

Overrides:

getValueName in class CGValuedElementImpl

EMF generated code

isBoxed

public boolean isBoxed()

Return true if this value is a boxed value.

Specified by:

isBoxed in interface CGValuedElement

Overrides:

isBoxed in class CGValuedElementImpl

EMF generated code

isEcore

public boolean isEcore()

Return true if this value is an Ecore value.

Specified by:

isEcore in interface CGValuedElement

Overrides:

isEcore in class CGValuedElementImpl

EMF generated code

isNonInvalid

public boolean isNonInvalid()

Return true if this value is false.

Specified by:

isNonInvalid in interface CGValuedElement

Overrides:

isNonInvalid in class CGValuedElementImpl

EMF generated code

isNonNull

public boolean isNonNull()

Return true if this value is not null.

Specified by:

isNonNull in interface CGValuedElement

Overrides:

isNonNull in class CGValuedElementImpl

EMF generated code

isNull

public boolean isNull()

Return true if this value is null.

Specified by:

isNull in interface CGValuedElement

Overrides:

isNull in class CGValuedElementImpl

EMF generated code

isUnboxed

public boolean isUnboxed()

Return true if this value is an unboxed value.

Specified by:

isUnboxed in interface CGValuedElement

Overrides:

isUnboxed in class CGValuedElementImpl

EMF generated code