# Parses a superset of C1 expressions
# UpdateStatement and AssignStatement are parsed as Expressions

@{%
const lexer = require('./parser-util').pickyLexer;
const util = require('./parser-util').util;
%}

@lexer lexer

Expression     -> Exp0 {% id %}

Identifier     -> %identifier

Unop           -> "!" | "~" | "-" | "*" | "&" | "(" _ Tp _ ")"
BinopB         -> "*" | "/" | "%"
BinopA         -> "+" | "-"
Binop9         -> "<" "<" | ">" ">"
Binop8         -> "<" | "<" "=" | ">" "=" | ">"
Binop7         -> "=" "=" | "!" "="
Binop6         -> "&"
Binop5         -> "^"
Binop4         -> "|"
Binop3         -> "&" "&"
Binop2         -> "|" "|"
Binop1         -> "?"
Binop0         -> "=" | "+" "=" | "-" "=" | "*" "=" | "/" "=" | "%" "="
                | "&" "=" | "^" "=" | "|" "=" | "<" "<" "=" | ">" ">" "="

ExpD           -> "(" _ Expression _ ")"
                | %numeric_literal | StringLiteral | CharLiteral | "true" | "false" | "NULL"
                | Identifier
                | Identifier _ Funargs
                | ExpD _ "." _ Identifier | ExpD _ "-" ">" _ Identifier
                | ExpD _ "[" _ Expression _ "]"
                | ExpD _ "+" "+"
                | ExpD _ "-" "-"
                | "alloc" _ "(" _ Tp _ ")" | "alloc_array" _ "(" _ Tp _ "," _ Expression _ ")"
                | "assert" _ "(" _ Expression _ ")"
                | "error" _ "(" _ Expression _ ")"
                | "\\result"
                | "\\length" _ "(" _ Expression _ ")"
                | "\\hastag" _ "(" _ Tp _ "," _ Expression _ ")"
                | "(" _ "*" _ Expression _ ")" _ Funargs
ExpC           -> ExpD {% id %} | Unop _ ExpC
ExpB           -> ExpC {% id %} | ExpC _ BinopB _ ExpB
ExpA           -> ExpB {% id %} | ExpB _ BinopA _ ExpA
Exp9           -> ExpA {% id %} | ExpA _ Binop9 _ Exp9
Exp8           -> Exp9 {% id %} | Exp9 _ Binop8 _ Exp8
Exp7           -> Exp8 {% id %} | Exp8 _ Binop7 _ Exp7
Exp6           -> Exp7 {% id %} | Exp7 _ Binop6 _ Exp6
Exp5           -> Exp6 {% id %} | Exp6 _ Binop5 _ Exp5
Exp4           -> Exp5 {% id %} | Exp5 _ Binop4 _ Exp4
Exp3           -> Exp4 {% id %} | Exp4 _ Binop3 _ Exp3
Exp2           -> Exp3 {% id %} | Exp3 _ Binop2 _ Exp2
Exp1           -> Exp2 {% id %} | Exp2 _ Binop1 _ Expression _ ":" _ Exp1
Exp0           -> Exp1 {% id %} | Exp1 _ Binop0 _ Exp1 # Uses "none" precedence

Funargs        -> "(" _ (Expression _ ("," _ Expression):*):? ")"

Tp             -> "int" | "bool" | "string" | "char" | "void"
                | Tp _ "*"
                | Tp _ "[" "]"
                | "struct" _ (Identifier | %type_identifier)
                | %type_identifier

StringLiteral  -> %string_delimiter (%special_character | %characters):* %string_delimiter
CharLiteral    -> %char_delimiter (%special_character | %character) %char_delimiter

_              -> (%whitespace | %comment):*