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:

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