bc.h

Go to the documentation of this file.

 
#ifndef BC_H
#define BC_H
#include "../../include/grammar.h"
#include "../../include/rule_macros.h"
 
 
#define BC_PRODUCTION_COUNT 12
 
#define BC_MAX_ALTERNATIVE_COUNT 3
 
#define BC_MAX_ALTERNATIVE_SIZE 4
 
enum bc_tk {
        TK_NUM = 1 /* exblex.h reserve token identifier 0 as NOTOKEN */, TK_DOT,
        TK_MINUS, TK_PLUS, TK_MULT, TK_DIV,
        TK_LPAREN, TK_RPAREN, TK_ENDSYM,
 
        TK_DUMMY_AMBIGUITY_TRIGGER,
};
 
enum bc_nt {
        NT_UNSIGNED_NUM,
 
        NT_EXPR, NT_EXPR_REST, NT_EXPR_OP,
        NT_TERM, NT_TERM_REST, NT_TERM_OP,
        NT_FACTOR, NT_OPTSIGN,
        NT_ATOM,
 
        NT_STMT,
};
 
const char bc_tks[] = {
        '\0', /* token ID 0 is reserved for exblex */
        'd', '.',
        '-', '+', '*', '/',
        '(', ')', ';',
        '?',
 
        '\0' /* null-terminator required in exblex */
};
 
const char *const bc_nt_names[] = {
        "unsigned", "optsign", "sign",
 
        "expr", "expr_rest", "expr_op",
        "term", "term_rest", "term_op",
        "factor",
 
        "stmt",
};
 
static const struct rdesc_grammar_symbol
bc[BC_PRODUCTION_COUNT]
  [BC_MAX_ALTERNATIVE_COUNT + 1  /* +1 for end of production sentinel */]
  [BC_MAX_ALTERNATIVE_SIZE + 1  /* +1 for end of alternative sentinel */] = {
        /* <unsigned_num> ::= */ r(
                TK(NUM)
        alt     TK(DOT), TK(NUM)
        alt     TK(NUM), TK(DOT), TK(NUM)
        ),
 
        /* <expr> ::= */
                rrr(EXPR, (NT(TERM)), (NT(EXPR_OP), NT(TERM))),
        /* <expr_op> ::= */ r(
                TK(PLUS)
        alt     TK(MINUS)
        ),
 
        /* <term> ::= */
                rrr(TERM, (NT(FACTOR)), (NT(TERM_OP), NT(FACTOR))),
        /* <term_op> ::= */ r(
                TK(MULT)
        alt     TK(DIV)
        ),
 
        /* <factor> ::= */ r(
                NT(OPTSIGN), NT(ATOM)
        ),
        /* <optsign> ::= */ r(
                TK(MINUS)
        alt     TK(PLUS)
        alt     EPSILON
        ),
 
        /* <atom> ::= */ r(
                NT(UNSIGNED_NUM)
        alt     TK(LPAREN), NT(EXPR), TK(RPAREN)
        alt     TK(LPAREN), NT(EXPR), TK(RPAREN), TK(DUMMY_AMBIGUITY_TRIGGER)
        ),
 
 
        /* <stmt> ::= */ r(
                NT(EXPR), TK(ENDSYM)
        )
};
 
 
#endif