com.JLex
Class CNfa2Dfa

java.lang.Object
  com.JLex.CNfa2Dfa

 class CNfa2Dfa
extends java.lang.Object

Class: CNfa2Dfa

Field Summary

private CLexGen	m_lexGen
private CSpec	m_spec Member Variables
private int	m_unmarked_dfa
private static int	NOT_IN_DSTATES Constants

Constructor Summary

CNfa2Dfa()
Function: CNfa2Dfa

Method Summary

private int	add_to_dstates(CBunch bunch) function: add_to_dstates Description: Takes as input a CBunch with details of a dfa state that needs to be created. 1) Allocates a new dfa state and saves it in the appropriate CSpec vector. 2) Initializes the fields of the dfa state with the information in the CBunch. 3) Returns index of new dfa.
private void	e_closure(CBunch bunch) Function: e_closure Description: Alters and returns input set.
private void	free_dfa_states() Function: free_dfa_states
private void	free_nfa_states() Function: free_nfa_states
private CDfa	get_unmarked() Function: get_unmarked Description: Returns next unmarked DFA state.
private int	in_dstates(CBunch bunch) Function: in_dstates
(package private) void	make_dfa(CLexGen lexGen, CSpec spec) Function: make_dfa Description: High-level access function to module.
private void	make_dtrans() Function: make_dtrans Description: Creates uncompressed CDTrans transition table.
(package private) void	move(java.util.Vector nfa_set, JavaLexBitSet nfa_bit, int b, CBunch bunch) Function: move Description: Returns null if resulting NFA set is empty.
private void	reset() Function: reset Description:
private void	set(CLexGen lexGen, CSpec spec) Function: set Description:
private void	sortStates(java.util.Vector nfa_set) Function: sortStates

Methods inherited from class java.lang.Object

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

Field Detail

m_spec

private CSpec m_spec

Member Variables

m_unmarked_dfa

private int m_unmarked_dfa

m_lexGen

private CLexGen m_lexGen

NOT_IN_DSTATES

private static final int NOT_IN_DSTATES

Constants

See Also:

Constant Field Values

Constructor Detail

CNfa2Dfa

CNfa2Dfa()

Function: CNfa2Dfa

Method Detail

set

private void set(CLexGen lexGen,
                 CSpec spec)

Function: set Description:

reset

private void reset()

Function: reset Description:

make_dfa

void make_dfa(CLexGen lexGen,
              CSpec spec)

Function: make_dfa Description: High-level access function to module.

make_dtrans

private void make_dtrans()

Function: make_dtrans Description: Creates uncompressed CDTrans transition table.

free_dfa_states

private void free_dfa_states()

Function: free_dfa_states

free_nfa_states

private void free_nfa_states()

Function: free_nfa_states

e_closure

private void e_closure(CBunch bunch)

Function: e_closure Description: Alters and returns input set.

move

void move(java.util.Vector nfa_set,
          JavaLexBitSet nfa_bit,
          int b,
          CBunch bunch)

Function: move Description: Returns null if resulting NFA set is empty.

sortStates

private void sortStates(java.util.Vector nfa_set)

Function: sortStates

get_unmarked

private CDfa get_unmarked()

Function: get_unmarked Description: Returns next unmarked DFA state.

add_to_dstates

private int add_to_dstates(CBunch bunch)

function: add_to_dstates Description: Takes as input a CBunch with details of a dfa state that needs to be created. 1) Allocates a new dfa state and saves it in the appropriate CSpec vector. 2) Initializes the fields of the dfa state with the information in the CBunch. 3) Returns index of new dfa.

in_dstates

private int in_dstates(CBunch bunch)

Function: in_dstates