ides.api.model.fsa
Interface FSASupervisor

All Superinterfaces:

Annotable, DESModel, DESModelPublisher, FSAModel, FSAPublisher

public interface FSASupervisor
extends FSAModel

An FSA supervisor is an FSA with a control map.

Author:

Lenko Grigorov

Method Summary

DESEventSet	getDisabledEvents(FSAState state) Returns the events disabled at a given state.
void	setDisabledEvents(FSAState state, DESEventSet set) Sets the events disabled at a given state.

Methods inherited from interface ides.api.model.fsa.FSAModel

add, add, add, assembleCopyOf, assembleCopyOf, assembleEpsilonTransition, assembleEvent, assembleState, assembleTransition, clone, getEvent, getEventCount, getEventIterator, getEventSet, getState, getStateCount, getStateIterator, getTransition, getTransitionCount, getTransitionIterator, remove, remove, remove

Methods inherited from interface ides.api.plugin.model.DESModel

getModelType, getName, getParentModel, metadataChanged, modelSaved, needsSave, setName, setParentModel

Methods inherited from interface ides.api.core.Annotable

getAnnotation, hasAnnotation, removeAnnotation, setAnnotation

Methods inherited from interface ides.api.plugin.model.DESModelPublisher

addSubscriber, getDESModelSubscribers, removeSubscriber

Methods inherited from interface ides.api.model.fsa.FSAPublisher

addSubscriber, fireFSAEventSetChanged, fireFSAStructureChanged, getFSASubscribers, removeSubscriber

Method Detail

getDisabledEvents

DESEventSet getDisabledEvents(FSAState state)

Returns the events disabled at a given state. If the control map is undefined (e.g., not computed yet or out of synch with the rest of the models), this method should return null.

Parameters:

state - state of the supervisor

Returns:

the events disabled at a given state; or null if the control map is undefined

setDisabledEvents

void setDisabledEvents(FSAState state,
                       DESEventSet set)

Sets the events disabled at a given state.

Parameters:

state - state of the supervisor

set - set of disabled events for this state