org.eclipse.ocl.examples.pivot
Interface LetExp

All Superinterfaces:

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

All Known Implementing Classes:

LetExpImpl

public interface LetExp
extends OCLExpression

A representation of the model object 'Let Exp'.

The following features are supported:

• In
• Variable

See Also:

PivotPackage.getLetExp()

Generated

Method Summary

OCLExpression	createIn(org.eclipse.emf.ecore.EClass eClass) Creates a new OCLExpression and sets the 'In' containment reference.
Variable	createVariable() Creates a new Variable and sets the 'Variable' containment reference.
OCLExpression	getIn() Returns the value of the 'In' containment reference.
Variable	getVariable() Returns the value of the 'Variable' containment reference.
void	setIn(OCLExpression value) Sets the value of the 'In' containment reference.
void	setVariable(Variable value) Sets the value of the 'Variable' containment reference.
boolean	validateTypeIsInType(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.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

getIn

OCLExpression getIn()

Returns the value of the 'In' containment reference.

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

Returns:

the value of the 'In' containment reference.

See Also:

setIn(OCLExpression), PivotPackage.getLetExp_In()

Generated

setIn

void setIn(OCLExpression value)

Sets the value of the 'In' containment reference.

Parameters:

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

See Also:

getIn()

Generated

createIn

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

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

Parameters:

eClass - The Ecore class of the OCLExpression to create.

Returns:

The new OCLExpression.

See Also:

getIn()

Generated

getVariable

Variable getVariable()

Returns the value of the 'Variable' containment reference.

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

Returns:

the value of the 'Variable' containment reference.

See Also:

setVariable(Variable), PivotPackage.getLetExp_Variable()

Generated

setVariable

void setVariable(Variable value)

Sets the value of the 'Variable' containment reference.

Parameters:

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

See Also:

getVariable()

Generated

createVariable

Variable createVariable()

Creates a new Variable and sets the 'Variable' containment reference.

Returns:

The new Variable.

See Also:

getVariable()

Generated

validateTypeIsInType

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

Generated