14.5.20  Lr_Table

The standard library Lr_Table api defines access to part of the mythryl-yacc parser-generator support infrastructure.

The Lr_Table api is implemented by the lr_table package.

The Lr_Table api source code is in src/app/yacc/lib/base.api.

The above information is manually maintained and may contain errors.

api {    Pairlist (X, Y) = EMPTY | PAIR (X , Y , Pairlist((X, Y) ));
    State  = STATE Int;
    Terminal  = TERM Int;
    Nonterminal  = NONTERM Int;
    Action  = ACCEPT | ERROR | REDUCE Int | SHIFT State;
    Table ;
    state_count : Table -> Int;
    rule_count : Table -> Int;
    describe_goto : Table -> State -> Pairlist((Nonterminal, State) );
    action : Table -> (State , Terminal) -> Action;
    goto : Table -> (State , Nonterminal) -> State;
    initial_state : Table -> State;
    describe_actions : Table
                       -> State -> (Pairlist((Terminal, Action) ) , Action);
    exception GOTO (State , Nonterminal);
    make_lr_table : {actions:Rw_Vector(((Pairlist((Terminal, Action) ) , Action)) ), 
                     gotos:Rw_Vector(Pairlist((Nonterminal, State) ) ), 
                     initial_state:State,  rule_count:Int, 
                     state_count:Int}
                    -> Table;
};