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

Class CGIteratorImpl

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

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

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

All Implemented Interfaces:

CGElement, CGIterator, CGNamedElement, CGParameter, CGTypedElement, CGValuedElement, CGVariable, Nameable

Direct Known Subclasses:

CGAccumulatorImpl

public class CGIteratorImpl
extends CGParameterImpl
implements CGIterator

An implementation of the model object 'CG Iterator'.

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.
CGValuedElement	getNamedValue() Return the CGValuedElement that provides the name of a declaration from which the value of this CGValuedElement may be obtained.
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	getTypedValue() Return the CGValuedElement that provides the narrowest type declaration from which the type of this CGValuedElement may be obtained.
boolean	isConstant() Return true if this value is a local constant (dependent of the user type system).
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	isEquivalentToInternal(CGValuedElement thatValue) Provided that thatValue does not delegate its equivalence computation, return true/false if this value can be determined to have deep value equivalence/inequivalence to thatValue, null if no determination can be made.
boolean	isGlobal() Return true if this value is a global constant (independent of the user type system).
boolean	isSettable() Return true if this value can be inlined as an expression term.

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

basicSetCallable, eBasicRemoveFromContainerFeature, eGet, eInverseAdd, eInverseRemove, eIsSet, eSet, eUnset, getCallable, getEcoreClassifier, getInvalidValue, isBoxed, isEcore, isNonInvalid, isUnboxed, setCallable

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

basicSetInit, getInit, isCommonable, isNonNull, isNull, setInit, setNonInvalid, setNonNull

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

getDependsOn, getOwns, getThisValue, getValueName, isAssertedNonNull, isCaught, isContext, isFalse, isInlined, isInvalid, isTrue, isUncommonable, rewriteAs, setCaught, setValueName

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

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

getCallable, setCallable

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

getInit, setInit, setNonInvalid, setNonNull

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

getDependsOn, getEcoreClassifier, getInvalidValue, getOwns, getThisValue, getValueName, isAssertedNonNull, isBoxed, isCaught, isCommonable, isEcore, isFalse, isInlined, isInvalid, isNonInvalid, isNonNull, isNull, isTrue, isUnboxed, 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, isContext, rewriteAs

Method Detail

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 CGParameterImpl

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 CGVariableImpl

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 CGParameterImpl

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 CGVariableImpl

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 CGVariableImpl

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 CGVariableImpl

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

Overrides:

isConstant in class CGParameterImpl

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

Overrides:

isEquivalentTo in class CGVariableImpl

EMF generated code

isEquivalentToInternal

public Boolean isEquivalentToInternal(CGValuedElement thatValue)

Provided that thatValue does not delegate its equivalence computation, return 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:

isEquivalentToInternal in interface CGValuedElement

Overrides:

isEquivalentToInternal in class CGVariableImpl

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

Overrides:

isGlobal in class CGParameterImpl

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

Overrides:

isSettable in class CGValuedElementImpl

EMF generated code