klex/src/DFA.i3


 Copyright (c) 2000 California Institute of Technology 
 All rights reserved. See the file COPYRIGHT for a full description. 
 $Id: DFA.i3.html,v 1.3 2010-04-29 17:18:49 wagner Exp $ 

INTERFACE DFA;
IMPORT NFA;
IMPORT DFAState;
IMPORT DFAStateList;
IMPORT DFATrans;
IMPORT DFATransList;
TYPE
  T = REF RECORD
    numStates: INTEGER := 0;
    states: DFAStateList.T := NIL;
    statesArray: REF ARRAY OF DFAState.T;
    numTrans: INTEGER := 0;
    trans: DFATransList.T := NIL;
    transArray: REF ARRAY OF DFATrans.T;
    first: ARRAY CHAR OF INTEGER;
  END;
PROCEDURE FromNFA(a: NFA.T): T;
PROCEDURE Test(a: T);
END DFA.