| com.tc.jrexx.set.IStatePro
| IStatePro | | public interface IStatePro (Code) | | This interface represents a state of an automaton created via the automaton's addState method.
Copyright: Copyright (c) 2002
Company: Büro für Softwarearchitektur www.karneim.com
author:
Ralf Meyer
version:
1.0 |
| Inner Class :public interface ITransition | |
| Inner Class :public interface IVisitListener | |
| Inner Class :public interface IChangeListener | |
| addTransition | | public IStatePro.ITransition addTransition(ISet_char charSet, IStatePro toState)(Code) | | Adds a new transition to this state.
The transition is defined by it's character set 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
Parameters:
toState - the destination state where to transit to the new transition |
| getAllReachableStates | | public StateProSet getAllReachableStates()(Code) | | Returns all states that are reachable from this state through it's transitions and so on.
important: this state is only element of the returned set, if it is an element of a loop
all reachable states as a set |
| getStateNumber | | public int getStateNumber()(Code) | | |
| isFinal | | public boolean isFinal()(Code) | | true if the state is a final state else false |
| removeAllTransitions | | public void removeAllTransitions()(Code) | | |
| removeTransition | | public boolean removeTransition(IStatePro.ITransition transition)(Code) | | Removes the specified transition from this state.
important: the specified transition must be a transition
created via this state's addTransition method, otherwise an IllegalArgumentException is thrown
Parameters:
transition - true if transition was a transition of this state else false |
| setFinal | | public void setFinal(boolean isFinal)(Code) | | Makes this state final or non final.
|
| visit | | public IState visit()(Code) | | Visits this state with an epsilon transition and returns its epsilon closure.
the epsilon closure of this state |
|
|