ides.api.model.fsa
Interface FSATransition

All Superinterfaces:

Annotable, DESElement

public interface FSATransition
extends DESElement

Transition of an FSAModel.

Method Summary

SupervisoryEvent	getEvent() returns the event upon which this transition fires.
FSAState	getSource() Sets a new source, i.e., state from which this transition originates, for this transition.
FSAState	getTarget() returns the state this transition ends in.
boolean	isEpsilonTransition() Check if this is an epsilon transition (with null event) or not.
void	setEvent(SupervisoryEvent e) set the event upon which this transition fires.
void	setSource(FSAState s) Sets a new source, i.e., state from which this transition originates, for this transition.
void	setTarget(FSAState s) Sets a new target, i.e., state from which this transition originates, for this transition.

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

getId, setId

Methods inherited from interface ides.api.core.Annotable

getAnnotation, hasAnnotation, removeAnnotation, setAnnotation

Method Detail

setSource

void setSource(FSAState s)

Sets a new source, i.e., state from which this transition originates, for this transition.

Parameters:

s - the new source.

getSource

FSAState getSource()

Sets a new source, i.e., state from which this transition originates, for this transition.

setTarget

void setTarget(FSAState s)

Sets a new target, i.e., state from which this transition originates, for this transition.

Parameters:

s - the new source.

getTarget

FSAState getTarget()

returns the state this transition ends in.

Returns:

the target state.

setEvent

void setEvent(SupervisoryEvent e)

set the event upon which this transition fires. If the parameter is null, then this will be an epsilon transition.

Parameters:

e - the event this transition fires upon; set to null for an epsilon transition.

getEvent

SupervisoryEvent getEvent()

returns the event upon which this transition fires.

Returns:

the event this transition fires upon; or null if this is an epsilon transition.

isEpsilonTransition

boolean isEpsilonTransition()

Check if this is an epsilon transition (with null event) or not.

Returns:

returns true if this transition is an epsilon transition, false otherwise.