Uses of Interface
org.eclipse.ocl.examples.pivot.State

Packages that use State

org.eclipse.ocl.examples.pivot
org.eclipse.ocl.examples.pivot.internal.impl
org.eclipse.ocl.examples.pivot.util
org.eclipse.ocl.examples.pivot.utilities

Uses of State in org.eclipse.ocl.examples.pivot

Methods in org.eclipse.ocl.examples.pivot that return State

State	PivotFactory.createState() Returns a new object of class 'State'.
State	StateExp.getReferredState() Returns the value of the 'Referred State' reference.

Methods in org.eclipse.ocl.examples.pivot that return types with arguments of type State

java.util.List<State>

Environment.getStates(Type owner, java.util.List<java.lang.String> pathPrefix) Retrieves a list of all possible states of the specified owner whose paths are prefixed by the specified partial name.

Methods in org.eclipse.ocl.examples.pivot with parameters of type State

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

Uses of State in org.eclipse.ocl.examples.pivot.internal.impl

Classes in org.eclipse.ocl.examples.pivot.internal.impl that implement State

class

StateImpl An implementation of the model object 'State'.

Fields in org.eclipse.ocl.examples.pivot.internal.impl declared as State

protected State

StateExpImpl.referredState The cached value of the 'Referred State' reference.

Methods in org.eclipse.ocl.examples.pivot.internal.impl that return State

State	StateExpImpl.basicGetReferredState()
State	PivotFactoryImpl.createState()
State	StateExpImpl.getReferredState()

Methods in org.eclipse.ocl.examples.pivot.internal.impl with parameters of type State

void	StateExpImpl.setReferredState(State newReferredState)

Uses of State in org.eclipse.ocl.examples.pivot.util

Methods in org.eclipse.ocl.examples.pivot.util with parameters of type State

T	PivotSwitch.caseState(State object) Returns the result of interpreting the object as an instance of 'State'.
boolean	PivotValidator.validateState(State state, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
R	AbstractDelegatingVisitor.visitState(State object)
R	AbstractExtendingVisitor.visitState(State object)
R	AbstractNullVisitor.visitState(State object)
R	Visitor.visitState(State object)

Uses of State in org.eclipse.ocl.examples.pivot.utilities

Methods in org.eclipse.ocl.examples.pivot.utilities that return types with arguments of type State

java.util.List<State>

PivotEnvironment.getStates(Type owner, java.util.List<java.lang.String> pathPrefix) Obtains the states matching the specified path prefix in the owner type by trying the PivotEnvironment.collectStates(org.eclipse.ocl.examples.pivot.Type, java.util.List, java.util.List) method on it and, recursively, its supertypes to find all matches.

Method parameters in org.eclipse.ocl.examples.pivot.utilities with type arguments of type State

protected void

PivotEnvironment.collectStates(Type owner, java.util.List<java.lang.String> pathPrefix, java.util.List<State> states) Implemented by subclasses to find all states in the specified owner type that match the given path name prefix and add them to the accumulator list.