com.karneim.util.collection.set
public interface IStatePro
Copyright: Copyright (c) 2002
Company: B|ro f|r Softwarearchitektur www.karneim.com
Version: 1.0
Nested Class Summary | |
---|---|
static interface | IStatePro.IChangeListener
The listener interface for receiving change events of an IStatePro.
|
static interface | IStatePro.ITransition |
static interface | IStatePro.IVisitListener
The listener interface for receiving visit events of an IStatePro.
|
Method Summary | |
---|---|
void | addChangeListener(IStatePro.IChangeListener listener) |
IStatePro.ITransition | addTransition(ISet_char charSet, IStatePro toState)
Adds a new transition to this state.
|
void | addVisitListener(IStatePro.IVisitListener listener) |
StateProSet | getAllReachableStates()
Returns all states that are reachable from this state through it's transitions and so on.
|
IStatePro.ITransition[] | getAllTransitions() |
IStatePro.ITransition[] | getETransitions() |
int | getStateNumber() |
IStatePro.ITransition[] | getTransitions() |
boolean | isFinal() |
void | removeAllTransitions() |
boolean | removeChangeListener(IStatePro.IChangeListener listener) |
boolean | removeTransition(IStatePro.ITransition transition)
Removes the specified transition from this state.
|
boolean | removeVisitListener(IStatePro.IVisitListener listener) |
void | setFinal(boolean isFinal)
Makes this state final or non final. |
IState | visit()
Visits this state with an epsilon transition and returns its epsilon closure. |
charSet
and it's destionation
state toState
, so that you can transit from this state to the destination state
only with a character contained in charSet
. There is only one exception,
if charSet
is null, an epsilon transition will be added, which means that there
are no chars needed to get to the destinationState toState
; in other words a
state that has an epsilon transition can get through this epsilon transition to the destination
state toState
without any char, so that we can say that toState
melts
into the state.Parameters: charSet the characters for this transition toState the destination state where to transit to
Returns: the new transition
Returns: all reachable states as a set
Returns: true if the state is a final state else false
Parameters: transition
Returns: true if transition was a transition of this state else false
Returns: the epsilon closure of this state