org.eclipse.ocl.examples.pivot

Interface LoopExp

All Superinterfaces:

CallExp, DomainCallExp, DomainElement, DomainExpression, DomainNamedElement, DomainTypedElement, Element, org.eclipse.emf.ecore.EObject, Nameable, NamedElement, org.eclipse.emf.common.notify.Notifier, OCLExpression, PivotObject, TypedElement, Visitable

All Known Subinterfaces:

IterateExp, IteratorExp

All Known Implementing Classes:

IterateExpImpl, IteratorExpImpl, LoopExpImpl

public interface LoopExp
extends CallExp

A representation of the model object 'Loop Exp'.

The following features are supported:

• Body
• Iterator
• Referred Iteration

See Also:

PivotPackage.getLoopExp()

Generated

Method Summary

Methods

Modifier and Type	Method and Description
OCLExpression	createBody(org.eclipse.emf.ecore.EClass eClass) Creates a new OCLExpression and sets the 'Body' containment reference.
Variable	createIterator() Creates a new Variable and appends it to the 'Iterator' containment reference list.
OCLExpression	getBody() Returns the value of the 'Body' containment reference.
java.util.List<Variable>	getIterator() Returns the value of the 'Iterator' containment reference list.
Iteration	getReferredIteration() Returns the value of the 'Referred Iteration' reference.
void	setBody(OCLExpression value) Sets the value of the 'Body' containment reference.
void	setReferredIteration(Iteration value) Sets the value of the 'Referred Iteration' reference.
boolean	validateNoInitializers(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateSourceIsCollection(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)

Methods inherited from interface org.eclipse.ocl.examples.pivot.CallExp

createSource, getSource, isImplicit, setImplicit, setSource

Methods inherited from interface org.eclipse.ocl.examples.pivot.TypedElement

getType, isRequired, setIsRequired, setType

Methods inherited from interface org.eclipse.ocl.examples.pivot.NamedElement

createOwnedAnnotation, getName, getOwnedAnnotation, isStatic, setIsStatic, setName

Methods inherited from interface org.eclipse.ocl.examples.pivot.Element

allOwnedElements, createExtension, createOwnedComment, getETarget, getExtension, getOwnedComment, getValue

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

Methods inherited from interface org.eclipse.ocl.examples.pivot.util.Visitable

accept, eClass

Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainTypedElement

getTypeId

Method Detail

getBody

OCLExpression 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), PivotPackage.getLoopExp_Body()

Generated

setBody

void setBody(OCLExpression value)

Sets the value of the 'Body' containment reference.

Parameters:

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

See Also:

getBody()

Generated

createBody

OCLExpression createBody(org.eclipse.emf.ecore.EClass eClass)

Creates a new OCLExpression and sets the 'Body' containment reference.

Parameters:

eClass - The Ecore class of the OCLExpression to create.

Returns:

The new OCLExpression.

See Also:

getBody()

Generated

getIterator

@NonNull
java.util.List<Variable> getIterator()

Returns the value of the 'Iterator' containment reference list. The list contents are of type Variable.

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:

PivotPackage.getLoopExp_Iterator()

Generated

createIterator

Variable createIterator()

Creates a new Variable and appends it to the 'Iterator' containment reference list.

Returns:

The new Variable.

See Also:

getIterator()

Generated

getReferredIteration

Iteration getReferredIteration()

Returns the value of the 'Referred Iteration' reference.

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

Returns:

the value of the 'Referred Iteration' reference.

See Also:

setReferredIteration(Iteration), PivotPackage.getLoopExp_ReferredIteration()

Generated

setReferredIteration

void setReferredIteration(Iteration value)

Sets the value of the 'Referred Iteration' reference.

Parameters:

value - the new value of the 'Referred Iteration' reference.

See Also:

getReferredIteration()

Generated

validateSourceIsCollection

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

Generated

validateNoInitializers

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

Generated