program indicates \(\eqref{eq:eigth}\) among the comments of inners.

globalDef parses global definitions (include functions and global variables) \[ \text{global-def}=\left(\text{global-var}\ \mid\ \text{function}\right)\text{*} \]

stmt indicates \(\eqref{eq:nineth}\) among the comments of inners.

inners is a general function for creating equality, relational, add and term in the following syntax (EBNF) of \({\rm LL}\left(k\right)\) where \(k\in\mathbb{N}\).

\[ \begin{eqnarray} {\rm program} &=& \text{global-def*}\label{eq:eigth}\tag{1}\\ {\rm stmt} &=& \begin{array}{l} {\rm expr}?\ {\rm ";"}\\ \mid\ {\rm "\{"\ stmt}^\ast\ {\rm "\}"}\\ \mid\ {\rm "return"}\ {\rm expr}\ ";"\\ \mid\ "{\rm if}"\ "("\ {\rm expr}\ ")"\ {\rm stmt}\ ("{\rm else}"\ {\rm stmt})?\\ \mid\ {\rm "while"\ "("\ expr\ ")"\ stmt}\\ \mid\ {\rm "for"\ "("\ expr?\ ";" expr?\ ";"\ expr?\ ")"\ stmt? ";"} \end{array}\label{eq:nineth}\tag{2}\\ {\rm expr} &=& {\rm assign}\\ {\rm assign} &=& {\rm conditional} \left(\left("="\ \mid\ "+="\ \mid\ "-="\ \mid\ "*="\ \mid\ "/="\right)\ {\rm assign}\right)?\label{eq:seventh}\tag{3}\\ {\rm conditional} &=& {\rm logicalOr} \left("?"\ {\rm expr}\ ":"\ {\rm conditional}\right)?\label{eq:seventeenth}\tag{4}\\ {\rm logicalOr} &=& {\rm logicalAnd}\ \left("||"\ {\rm logicalAnd}\right)^\ast\label{eq:fifteenth}\tag{5}\\ {\rm logicalAnd} &=& {\rm bitwiseOr}\ \left("|"\ {\rm bitwiseOr}\right)^\ast\label{eq:sixteenth}\tag{6}\\ {\rm bitwiseOr} &=& {\rm bitwiseXor}\ \left("|"\ {\rm bitwiseXor}\right)^\ast\label{eq:tenth}\tag{7}\\ {\rm bitwiseXor} &=& {\rm bitwiseAnd}\ \left("\hat{}"\ {\rm bitwiseAnd}\right)^\ast\label{eq:eleventh}\tag{8}\\ {\rm bitwiseAnd} &=& {\rm equality}\ \left("\&"\ {\rm equality}\right)^\ast\label{eq:twelveth}\tag{9}\\ {\rm equality} &=& {\rm relational}\ \left("=="\ {\rm relational}\ \mid\ "!="\ {\rm relational}\right)^\ast\label{eq:fifth}\tag{10}\\ {\rm relational} &=& {\rm shift}\ \left("\lt"\ {\rm shift}\mid\ "\lt ="\ {\rm shift}\mid\ "\gt"\ {\rm shift}\mid\ "\gt ="\ {\rm shift}\right)^\ast\label{eq:sixth}\tag{11}\\ {\rm shift} &=& {\rm add}\ \left("\lt\lt"\ {\rm add}\mid\ "\gt\gt"\ {\rm add}\right)^\ast\label{eq:thirteenth}\tag{12}\\ {\rm add} &=& {\rm term}\ \left("+"\ {\rm term}\ \mid\ "-"\ {\rm term}\right)^\ast\label{eq:first}\tag{13} \\ {\rm term} &=& {\rm factor}\ \left("\ast"\ {\rm factor}\ \mid\ "/"\ {\rm factor}\right)^\ast\label{eq:second}\tag{14} \\ {\rm cast} &=& "(" {\rm type-name} ")"\ {\rm cast}\ \mid\ {\rm unary}\label{eq:fourteenth}\tag{15} \\ {\rm unary} &=& \left(\text{"+"}\ \mid\ \text{"-"}\ \mid\ \text{"*"}\ \mid\ \text{"&"}\ \mid\ \text{"!"}\ \mid\ \text{"-"}\right)\text{?}\ \text{cast}\ \mid\ \left(\text{"++"}\ \mid\ \text{"--"}\right)\ \text{unary}\ \mid\ \text{primary} \left(\text{"["}\ \text{expr}\ \text{"]"}\ \mid\ \text{"."}\ \text{ident}\ \mid\ \text{"->"}\ \text{ident}\ \mid\ \text{"++"}\ \mid\ \text{"--"}\right)\ast\label{eq:fourth}\tag{16} \\ {\rm factor} &=& {\rm num} \mid\ {\rm ident}\ \left({\rm "(" \left(expr\ \left(\left(","\ expr\right)^\ast\right)?\right)? ")"}\right)?\ \mid\ "(" {\rm expr} ")"\ \mid \text{string}\ \mid\ \text{"sizeof"}\ \text{"("}\ \text{type}\ \text{")"}\ \mid\ \text{"sizeof"}\ \text{unary}\ \mid\ \text{stmt-expr}\label{eq:third}\tag{17} \end{eqnarray} \]

logicalOr indicates \(\eqref{eq:fifteenth}\) among the comments of inners.

logicalAnd indicates \(\eqref{eq:sixteenth}\) among the comments of inners.

bitwiseOr indicates \(\eqref{eq:tenth}\) among the comments of inners.

bitwiseXor indicates \(\eqref{eq:eleventh}\) amont the comments of inners.

bitwiseAnd indicates \(\eqref{eq:twelveth}\) among the comments of inners.

shift indicates (eqref{eq:thirteenth}\) among the comments of inners.

add indicates \(\eqref{eq:first}\) among the comments of inners.

term indicates \(\eqref{eq:second}\) amont the comments of inners.

cast indicates \(\eqref{eq:fourteenth}\) amont the comments of inners.

unary indicates \(\eqref{eq:fourth}\) amount the comments of inners.

factor indicates \(\eqref{eq:third}\) amount the comments of inners.

relational indicates \(\eqref{eq:sixth}\) among the comments of inners.

equality indicates \(\eqref{eq:fifth}\) among the comments of inners. This is equivalent to the following code:

equality ::  [HT.TokenLC i] -> ATree i -> [LVar i] -> Either (ASTError i) ([HT.TokenLC i], ATree i)
equality xs atn scp = (>>=) (relational xs atn scp) $ uncurry3 equality'
    where
        equality' ((_, HT.TKReserved "=="):ys) era ars = either Left (uncurry3 id . first3 equality' . second3 (ATNode ATEQ era)) $ relational ys era ars
        equality' ((_, HT.TKReserved "!="):ys) era ars = either Left (uncurry3 id . first3 equality' . second3 (ATNode ATNEQ era)) $ relational ys era ars
        equality' ert era ars = Right (ert, era, ars)

conditional indicates \(\eqref{eq:seventeenth}\) among the comments of inners.

assign indicates \(\eqref{eq:seventh}\) among the comments of inners.

\({\rm expr} = {\rm assign}\left("," {\rm assign}\right)\ast\)

Constructs the abstract syntax tree based on the list of token strings. if construction fails, parse returns the error message and the token at the error location. Otherwise, parse returns a list of abstract syntax trees, a set of global variables, and a list of literals.

The type of AST list

The type to be used when the AST construction is successful

Types used during AST construction

A type that represents the result after AST construction. Quadraple of warning list, constructed abstract syntax tree list, global variable map, literal list.

stackSize returns the stack size of variable per function.