org.eclipse.ocl.pivot

Interface LetExp

All Superinterfaces:

Element, Nameable, NamedElement, OCLExpression, TypedElement, Visitable

All Known Implementing Classes:

LetExpImpl

public interface LetExp
extends OCLExpression

A representation of the model object 'Let Exp'.

See Also:

PivotPackage.getLetExp()

EMF generated code

Interface is not intended to be implemented by clients.

This interface is not intended to be implemented by clients.

The following features are supported:

• Owned In
• Owned Variable

Method Summary

Modifier and Type	Method and Description
OCLExpression	getOwnedIn() Returns the value of the 'Owned In' containment reference.
Variable	getOwnedVariable() Returns the value of the 'Owned Variable' containment reference.
void	setOwnedIn(OCLExpression value) Sets the value of the 'Owned In' containment reference.
void	setOwnedVariable(Variable value) Sets the value of the 'Owned Variable' containment reference.
boolean	validateCompatibleNullityForIn(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateTypeIsInType(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateTypeIsNotInvalid(DiagnosticChain diagnostics, Map<Object,Object> context)

Methods inherited from interface org.eclipse.ocl.pivot.OCLExpression

getTypeValue, isNonNull, isNull, setTypeValue, validateTypeIsNotNull

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

CompatibleBody, getType, getTypeId, isIsMany, isIsRequired, setIsRequired, setType

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

getName, setName

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

accept, allOwnedElements, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue

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

eClass

Method Detail

getOwnedIn

OCLExpression getOwnedIn()

Returns the value of the 'Owned 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 'Owned In' containment reference.

See Also:

setOwnedIn(OCLExpression), PivotPackage.getLetExp_OwnedIn()

EMF generated code

setOwnedIn

void setOwnedIn(OCLExpression value)

Sets the value of the 'Owned In' containment reference.

Parameters:

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

See Also:

getOwnedIn()

EMF generated code

getOwnedVariable

Variable getOwnedVariable()

Returns the value of the 'Owned 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 'Owned Variable' containment reference.

See Also:

setOwnedVariable(Variable), PivotPackage.getLetExp_OwnedVariable()

EMF generated code

setOwnedVariable

void setOwnedVariable(Variable value)

Sets the value of the 'Owned Variable' containment reference.

Parameters:

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

See Also:

getOwnedVariable()

EMF generated code

validateCompatibleNullityForIn

boolean validateCompatibleNullityForIn(DiagnosticChain diagnostics,
                                       Map<Object,Object> context)

Since:

1.3

EMF generated code

validateTypeIsInType

boolean validateTypeIsInType(DiagnosticChain diagnostics,
                             Map<Object,Object> context)

EMF generated code

validateTypeIsNotInvalid

boolean validateTypeIsNotInvalid(DiagnosticChain diagnostics,
                                 Map<Object,Object> context)

EMF generated code