org.eclipse.ocl.expressions
Interface IterateExp<C,PM>
- All Superinterfaces:
- ASTNode, CallExp<C>, CallingASTNode, EObject, LoopExp<C,PM>, 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:
- See Also:
ExpressionsPackage.getIterateExp()
Methods inherited from interface org.eclipse.emf.ecore.EObject |
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eIsProxy, eIsSet, eResource, eSet, eUnset |
Methods inherited from interface org.eclipse.ocl.utilities.Visitable |
accept |
Methods inherited from interface org.eclipse.emf.ecore.EObject |
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eIsProxy, eIsSet, eResource, eSet, eUnset |
Methods inherited from interface org.eclipse.emf.ecore.EObject |
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eIsProxy, eIsSet, eResource, eSet, eUnset |
Methods inherited from interface org.eclipse.emf.ecore.EObject |
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eIsProxy, eIsSet, eResource, eSet, eUnset |
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()
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()
checkIterateType
boolean checkIterateType(DiagnosticChain diagnostics,
Map<Object,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.
checkBodyType
boolean checkBodyType(DiagnosticChain diagnostics,
Map<Object,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.
checkResultInit
boolean checkResultInit(DiagnosticChain diagnostics,
Map<Object,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.