org.eclipse.ocl.examples.pivot
Interface StateExp

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:

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()

Generated

Model

Method Summary

State	getReferredState() Returns the value of the 'Referred State' reference.
void	setReferredState(State value) Sets the value of the 'Referred State' reference.

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

getType, setType

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

createOwnedAnnotation, createOwnedRule, getName, getOwnedAnnotation, getOwnedRule, isStatic, setIsStatic, setName

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

allOwnedElements, createOwnedComment, getETarget, getOwnedComment, validateNotOwnSelf

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

accept, eClass

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.domain.elements.DomainNamedElement

getName

Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainExpression

getType

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()

Generated

Model

ordered="false" annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/ocl/3.1.0/Pivot!StateExp!referredState'"

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()

Generated