org.eclipse.ocl.pivot

Interface ResultVariable

All Superinterfaces:

Element, Nameable, NamedElement, TypedElement, Variable, VariableDeclaration, Visitable

All Known Implementing Classes:

ResultVariableImpl

public interface ResultVariable
extends Variable

A representation of the model object 'Result Variable'.

Since:

1.3

See Also:

PivotPackage.getResultVariable()

EMF generated code

Method Summary

Modifier and Type	Method and Description
boolean	validateCompatibleNullityForInitializer(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateCompatibleTypeForInitializer(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateHasInitializer(DiagnosticChain diagnostics, Map<Object,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.ocl.pivot.util.Visitable

eClass

Method Detail

validateCompatibleNullityForInitializer

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

EMF generated code

validateCompatibleTypeForInitializer

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

EMF generated code

validateHasInitializer

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

EMF generated code