Package com.saxonica.ee.schema.fsa

Class NonDeterminizedState

java.lang.Object

com.saxonica.ee.schema.fsa.AutomatonState

com.saxonica.ee.schema.fsa.NonDeterminizedState

All Implemented Interfaces:

State

public class NonDeterminizedState
extends AutomatonState

A state in the non-determinized finite state machine

Field Summary

Fields inherited from class com.saxonica.ee.schema.fsa.AutomatonState

EMPTY_EDGE_ARRAY, wildcardEdges

Constructor Summary

Constructors

Constructor	Description
NonDeterminizedState(FiniteStateMachine machine)	Create a new state in a non-determinized finite state machine

Method Summary

Modifier and Type	Method	Description
void	addLambdaTransition(AutomatonState newState)	Add a lambda transition from this state to another state.
void	displayLambdaTransitions()	Display the lambda transitions available from this state
List<AutomatonState>	getLambdaTransitions()	Get the lambda transitions from this state

Methods inherited from class com.saxonica.ee.schema.fsa.AutomatonState

addSpecificTransition, addWildcardTransition, display, displayState, getEdges, getMaxTransition, getStateNumber, getTransition, getWildcardEdges, isConditionallyFinalState, isFinalState, listAllowedElements, requiresCounter, serialize, setFinalState, setLimits, setMaxTransition

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

NonDeterminizedState

public NonDeterminizedState(FiniteStateMachine machine)

Create a new state in a non-determinized finite state machine

Parameters:

machine - the finite state machine to which this state belongs

Method Details

addLambdaTransition

public void addLambdaTransition(AutomatonState newState)

Add a lambda transition from this state to another state. This is a transition that can take place when no symbol is read.

Parameters:

newState - the state that results from this event

getLambdaTransitions

public List<AutomatonState> getLambdaTransitions()

Get the lambda transitions from this state

Returns:

the set of lambda transitions; a null return value is equivalent to an empty list

displayLambdaTransitions

public void displayLambdaTransitions()

Description copied from class: AutomatonState

Display the lambda transitions available from this state

Overrides:

displayLambdaTransitions in class AutomatonState