14.5.44  Token

The standard library Token api defines the token type used by the mythryl-yacc parser generator.

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

The above information is manually maintained and may contain errors.

api {    package lr_table : 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;
                       };;
    Token (X, Y)
      = TOKEN (lr_table::Terminal , ((X , Y , Y)));
    same_token : (Token((X, Y) ) , Token((X, Y) )) -> Bool;
};