org.eclipse.ocl.pivot

Interface LetVariable

All Superinterfaces:

Element, org.eclipse.emf.ecore.EObject, Nameable, NamedElement, org.eclipse.emf.common.notify.Notifier, TypedElement, Variable, VariableDeclaration, Visitable

All Known Implementing Classes:

LetVariableImpl

public interface LetVariable
extends Variable

A representation of the model object 'Let Variable'.

Since:

1.3

See Also:

PivotPackage.getLetVariable()

Generated

Method Summary

Modifier and Type	Method and Description
boolean	validateCompatibleNullityForInitializer(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateCompatibleTypeForInitializer(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateHasInitializer(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)

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

getOwnedInit, getRepresentedParameter, isIsImplicit, setIsImplicit, setOwnedInit, setRepresentedParameter, validateCompatibleInitialiserType

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

getTypeValue, setTypeValue, validateNameIsNotNull, validateTypeIsNotInvalid, 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.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.pivot.util.Visitable

eClass

Method Detail

validateCompatibleNullityForInitializer

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

Generated

validateCompatibleTypeForInitializer

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

Generated

validateHasInitializer

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

Generated