org.eclipse.ocl.expressions

Interface IterateExp<C,PM>

All Superinterfaces:

ASTNode, CallExp<C>, CallingASTNode, org.eclipse.emf.ecore.EObject, LoopExp<C,PM>, org.eclipse.emf.common.notify.Notifier, OCLExpression<C>, TypedElement<C>, Visitable

All Known Subinterfaces:

IterateExp, IterateExp

All Known Implementing Classes:

IterateExpImpl, IterateExpImpl, IterateExpImpl

public interface IterateExp<C,PM>
extends LoopExp<C,PM>

A representation of the model object 'Iterate Exp'.

The following features are supported:

• Result

See Also:

ExpressionsPackage.getIterateExp()

Generated

Model

Method Summary

Modifier and Type	Method and Description
boolean	checkBodyType(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) body.type.conformsTo(result.type)
boolean	checkIterateType(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) type = result.type
boolean	checkResultInit(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) self.result.initExpression->size() = 1
Variable<C,PM>	getResult() Returns the value of the 'Result' containment reference.
void	setResult(Variable<C,PM> value) Sets the value of the 'Result' containment reference.

Methods inherited from interface org.eclipse.ocl.expressions.LoopExp

checkLoopVariableInit, checkLoopVariableType, checkSourceCollection, getBody, getIterator, setBody

Methods inherited from interface org.eclipse.ocl.expressions.CallExp

getSource, setSource

Methods inherited from interface org.eclipse.ocl.utilities.TypedElement

getName, getType, setName, setType

Methods inherited from interface org.eclipse.ocl.utilities.Visitable

accept

Methods inherited from interface org.eclipse.ocl.utilities.CallingASTNode

getPropertyEndPosition, getPropertyStartPosition, setPropertyEndPosition, setPropertyStartPosition

Methods inherited from interface org.eclipse.ocl.utilities.ASTNode

getEndPosition, getStartPosition, setEndPosition, setStartPosition

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

Method Detail

getResult

Variable<C,PM> getResult()

Returns the value of the 'Result' containment reference.

If the meaning of the 'Result' containment reference isn't clear, there really should be more of a description here...

Returns:

the value of the 'Result' containment reference.

See Also:

setResult(Variable), ExpressionsPackage.getIterateExp_Result()

Generated

Model

containment="true"

setResult

void setResult(Variable<C,PM> value)

Sets the value of the 'Result' containment reference.

Parameters:

value - the new value of the 'Result' containment reference.

See Also:

getResult()

Generated

checkIterateType

boolean checkIterateType(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                         java.util.Map<java.lang.Object,java.lang.Object> context)

type = result.type

Parameters:

diagnostics - The chain of diagnostics to which problems are to be appended.

context - The cache of context-specific information.

Generated

Model

checkBodyType

boolean checkBodyType(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                      java.util.Map<java.lang.Object,java.lang.Object> context)

body.type.conformsTo(result.type)

Parameters:

diagnostics - The chain of diagnostics to which problems are to be appended.

context - The cache of context-specific information.

Generated

Model

checkResultInit

boolean checkResultInit(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                        java.util.Map<java.lang.Object,java.lang.Object> context)

self.result.initExpression->size() = 1

Parameters:

diagnostics - The chain of diagnostics to which problems are to be appended.

context - The cache of context-specific information.

Generated

Model