org.eclipse.ocl.expressions
Interface LoopExp<C,PM>

All Superinterfaces:

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

All Known Subinterfaces:

IterateExp<C,PM>, IterateExp, IterateExp, IteratorExp<C,PM>, IteratorExp, IteratorExp, LoopExp, LoopExp

All Known Implementing Classes:

IterateExpImpl, IterateExpImpl, IterateExpImpl, IteratorExpImpl, IteratorExpImpl, IteratorExpImpl, LoopExpImpl, LoopExpImpl, LoopExpImpl

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

A representation of the model object 'Loop Exp'.

The following features are supported:

• Body
• Iterator

See Also:

ExpressionsPackage.getLoopExp()

Generated

Model

abstract="true"

Method Summary

boolean	checkLoopVariableInit(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) self.iterator->forAll(initExpression->isEmpty())
boolean	checkLoopVariableType(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) self.iterator->forAll(type = source.type.oclAsType(CollectionType).elementType)
boolean	checkSourceCollection(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) source.type.oclIsKindOf(CollectionType)
OCLExpression<C>	getBody() Returns the value of the 'Body' containment reference.
org.eclipse.emf.common.util.EList<Variable<C,PM>>	getIterator() Returns the value of the 'Iterator' containment reference list.
void	setBody(OCLExpression<C> value) Sets the value of the 'Body' containment reference.

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

getBody

OCLExpression<C> getBody()

Returns the value of the 'Body' containment reference.

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

Returns:

the value of the 'Body' containment reference.

See Also:

setBody(OCLExpression), ExpressionsPackage.getLoopExp_Body()

Generated

Model

containment="true"

setBody

void setBody(OCLExpression<C> value)

Sets the value of the 'Body' containment reference.

Parameters:

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

See Also:

getBody()

Generated

getIterator

org.eclipse.emf.common.util.EList<Variable<C,PM>> getIterator()

Returns the value of the 'Iterator' containment reference list. The list contents are of type Variable<C, PM>.

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

Returns:

the value of the 'Iterator' containment reference list.

See Also:

ExpressionsPackage.getLoopExp_Iterator()

Generated

Model

containment="true"

checkSourceCollection

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

source.type.oclIsKindOf(CollectionType)

Parameters:

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

context - The cache of context-specific information.

Generated

Model

checkLoopVariableInit

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

self.iterator->forAll(initExpression->isEmpty())

Parameters:

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

context - The cache of context-specific information.

Generated

Model

checkLoopVariableType

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

self.iterator->forAll(type = source.type.oclAsType(CollectionType).elementType)

Parameters:

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

context - The cache of context-specific information.

Generated

Model