org.eclipse.ocl.pivot

Interface StateExp

All Superinterfaces:

Element, Nameable, NamedElement, OCLExpression, TypedElement, Visitable

All Known Implementing Classes:

StateExpImpl

public interface StateExp
extends OCLExpression

A representation of the model object 'State Exp'.

The following features are supported:

• Referred State

See Also:

PivotPackage.getStateExp()

EMF generated code

Method Summary

Modifier and Type	Method and Description
State	getReferredState() Returns the value of the 'Referred State' reference.
void	setReferredState(State value) Sets the value of the 'Referred State' reference.
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

getReferredState

State getReferredState()

Returns the value of the 'Referred State' reference.

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

Returns:

the value of the 'Referred State' reference.

See Also:

setReferredState(State), PivotPackage.getStateExp_ReferredState()

EMF generated code

setReferredState

void setReferredState(State value)

Sets the value of the 'Referred State' reference.

Parameters:

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

See Also:

getReferredState()

EMF generated code

validateTypeIsNotInvalid

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

EMF generated code