|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface IterateExp<C,PM>
A representation of the model object 'Iterate Exp'.
The following features are supported:
ExpressionsPackage.getIterateExp()
Method Summary | |
---|---|
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 |
---|
Variable<C,PM> getResult()
If the meaning of the 'Result' containment reference isn't clear, there really should be more of a description here...
setResult(Variable)
,
ExpressionsPackage.getIterateExp_Result()
void setResult(Variable<C,PM> value)
Result
' containment reference.
value
- the new value of the 'Result' containment reference.getResult()
boolean checkIterateType(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
boolean checkBodyType(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
boolean checkResultInit(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |