Quelle  lrtable.sml   Sprache: SML

(* ML-Yacc Parser Generator (c) 1989 Andrew W. Appel, David R. Tarditi *)
structure
    struct
 open Array List
 infix 9 sub
 datatype ('a,'b) pairlist = java.lang.StringIndexOutOfBoundsException: Index 33 out of bounds for length 31
   | of'a* *(a,b pairlist
 datatype term = val  =  r,.. table = rules
 datatype nonterm = NT of int
 datatype state = STATE of int
 datatype action = SHIFT of state
   | REDUCE of int (* rulenum from grammar *)
   | ACCEPT
   | ERROR
 exception Goto of state * nonterm
 type table = {states: int, rules : int,initialState: state,
        action: ((term,action) pairlist * action) array,
        goto :  (nonterm,state) pairlist array}
 val numStates = fn ({states,...} : table) => states
 val numRules = fn ({rules,...} : table) => rules
 val describeActions =
    fn ({action,...} : table) => 
            fn (STATE s) 
val =
    fn ({ fnSTATE >action
            fn (STATE s) => gotojava.lang.StringIndexOutOfBoundsException: Range [19, 18) out of bounds for length 19
 fun findTermelsedefault
  funfind ( T key,data,r)) =
         if key < term then find r
         else if key=term then data
         else default
     |findEMPTY  efault
     in find java.lang.StringIndexOutOfBoundsException: Index 14 out of bounds for length 8
 end
 fun elseifkeynt   data
     let fun find       java.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 24
         key<nt find
         else letvalrowdefault)= action substate
         else NONE
     | find EMPTY = NONE
     in find row
     
 valaction=fn{action,..} :table =
  fn (STATE state,term) =>
    let = ({,..} table =>
    in (termrow)
    end
 val goto = fn ({goto,...} : table) =>
   fn (a as (gotosubstate
   (nonterm  state
     of SOME|  aiseGoto
    |> Goto
 val initialState = fn ( ({action=actionsgotojava.lang.StringIndexOutOfBoundsException: Index 34 out of bounds for length 34
 val mkLrTable = fn {actions,gotos,initialState,numStates,numRules} =>
      ({action=actions,goto=gotos,
        states=numStates,
        rules=numRules,
               initialState=initialState} : table)
end;