80 lines
4.7 KiB
Plaintext
80 lines
4.7 KiB
Plaintext
Goal = translation_unit ;
|
|
translation_unit = interpreter_directive WS unorderd_list_part WS ;
|
|
unorderd_list_part = import_list WS unorderd_list_part | function WS unorderd_list_part | if_comp WS unorderd_list_part | simple_passthrough WS unorderd_list_part | import_list | function | if_comp | simple_passthrough ;
|
|
|
|
type = type WS "\*" | "void" | "int" | "float" | "double" | "char" | identifier ;
|
|
|
|
import_list = import_list WS import | import ;
|
|
import = "import" WS identifier WS ";" ;
|
|
|
|
interpreter_directive = "#!" WS path | ;
|
|
path = path path_part | path_part ;
|
|
path_part = forward_slash alphanumeric | back_slash alphanumeric ;
|
|
forward_slash = "/" ;
|
|
back_slash = "\\" ;
|
|
|
|
WS = "( | |
|
|
)+" | WS comment WS | ;
|
|
|
|
if_comp = "__if_comp__" WS identifier WS if_comp_pred ;
|
|
if_comp_pred = code_block | simple_passthrough ;
|
|
simple_passthrough = "comp_simple_passthrough" WS triple_quoted_string ;
|
|
triple_quoted_string = "\"\"\"(a|b|c|d|e|f|g|h|i|j|k|l|m|n|o|p|q|r|s|t|u|v|w|x|y|z|A|B|C|D|E|F|G|H|I|J|K|L|M|N|O|P|Q|R|S|T|U|V|W|X|Y|Z|.|,|!|\?|_|-|:|;|%|=|\+| | |
|
|
|\\|/|\||\(|\)|\"|#|<|\*|>|0|1|2|3|4|5|6|7|8|9)+\"\"\"" ;
|
|
|
|
identifier = alpha | alpha alphanumeric ;
|
|
|
|
function = type WS identifier WS "\(" WS opt_typed_parameter_list WS "\)" WS code_block ;
|
|
|
|
opt_typed_parameter_list = typed_parameter_list | ;
|
|
typed_parameter_list = typed_parameter_list WS "," WS typed_parameter | typed_parameter ;
|
|
typed_parameter = type WS identifier ;
|
|
|
|
opt_parameter_list = parameter_list | ;
|
|
parameter_list = parameter_list WS "," WS parameter | parameter ;
|
|
parameter = boolean_expression ;
|
|
|
|
if_statement = "if" WS "\(" WS boolean_expression WS "\)" WS statement ;
|
|
|
|
while_loop = "while" WS boolean_expression WS statement ;
|
|
|
|
for_loop = "for" WS "\(" WS statement WS boolean_expression WS ";" WS statement WS "\)" WS statement ;
|
|
|
|
return_statement = "return" | "return" WS boolean_expression ;
|
|
|
|
code_block = "{" WS statement_list WS "}" ;
|
|
|
|
statement_list = statement_list WS statement | statement ;
|
|
statement = if_statement | while_loop | for_loop | return_statement WS ";" | boolean_expression WS ";" | assignment_statement WS ";" | declaration_statement WS ";" | code_block | if_comp | simple_passthrough ;
|
|
function_call = scope identifier "\(" WS opt_parameter_list WS "\)" ;
|
|
scope = scope identifier "::" | ;
|
|
|
|
boolean_expression = boolean_expression WS "\|\|" WS and_boolean_expression | and_boolean_expression ;
|
|
and_boolean_expression = and_boolean_expression "&&" bool_exp | bool_exp ;
|
|
bool_exp = "!" WS bool_exp | expression WS comparator WS expression | bool | expression ;
|
|
comparator = "==" | "<=" | ">=" | "!=" | "<" | ">" ;
|
|
|
|
expression = expression WS "<<" WS term | expression WS ">>" WS shiftand | shiftand ;
|
|
shiftand = shiftand WS "-" WS term | shiftand WS "\+" WS term | term ;
|
|
term = term WS forward_slash WS factor | term WS "\*" WS factor | term WS "%" WS factor | factor ;
|
|
factor = "\+\+" WS unarad | unarad WS "\+\+" | "--" WS unarad | unarad WS "--" | "\+" WS unarad | "-" WS unarad | "!" WS unarad | "~" WS unarad | "\(" WS type WS "\)" WS unarad | "\*" WS unarad | "&" WS unarad | unarad ;
|
|
unarad = number | identifier | function_call | bool | string | character | "\(" WS boolean_expression WS "\)" ;
|
|
number = integer | float | double ;
|
|
|
|
assignment_statement = identifier WS "=" WS boolean_expression | identifier WS "\+=" WS boolean_expression | identifier WS "-=" WS boolean_expression | identifier WS "\*=" WS boolean_expression | identifier WS "/=" WS boolean_expression ;
|
|
declaration_statement = type WS identifier WS "=" WS boolean_expression ;
|
|
|
|
alphanumeric = alphanumeric numeric | alphanumeric alpha | numeric | alpha ;
|
|
hexadecimal = "0x(1|2|3|4|5|6|7|8|9|a|b|c|d|e|f)+" ;
|
|
sign = "\+|-" WS | ;
|
|
integer = sign numeric | sign hexadecimal | "null" ;
|
|
float = sign numeric "." numeric "f" ;
|
|
double = sign numeric "." numeric | sign numeric "." numeric "d" ;
|
|
bool = "true" | "false" | "True" | "False" ;
|
|
character = "'(a|b|c|d|e|f|g|h|i|j|k|l|m|n|o|p|q|r|s|t|u|v|w|x|y|z|A|B|C|D|E|F|G|H|I|J|K|L|M|N|O|P|Q|R|S|T|U|V|W|X|Y|Z|.|,|!|\?|_|-|:|%| | |\\|/|\||\(|\)|0|1|2|3|4|5|6|7|8|9)'" ;
|
|
alpha = "(a|b|c|d|e|f|g|h|i|j|k|l|m|n|o|p|q|r|s|t|u|v|w|x|y|z|A|B|C|D|E|F|G|H|I|J|K|L|M|N|O|P|Q|R|S|T|U|V|W|X|Y|Z|_)+" ;
|
|
numeric = "(0|1|2|3|4|5|6|7|8|9)+" ;
|
|
string = triple_quoted_string | "\"(a|b|c|d|e|f|g|h|i|j|k|l|m|n|o|p|q|r|s|t|u|v|w|x|y|z|A|B|C|D|E|F|G|H|I|J|K|L|M|N|O|P|Q|R|S|T|U|V|W|X|Y|Z|.|,|!|\?|_|-|:|%| | |\\|/|\||\(|\)|0|1|2|3|4|5|6|7|8|9)+\"" ;
|
|
|
|
comment = "//(a|b|c|d|e|f|g|h|i|j|k|l|m|n|o|p|q|r|s|t|u|v|w|x|y|z|A|B|C|D|E|F|G|H|I|J|K|L|M|N|O|P|Q|R|S|T|U|V|W|X|Y|Z|.|,|!|\?|_|-|:|;|%|=|\+| | |\\|/|\||\(|\)|\*|0|1|2|3|4|5|6|7|8|9)+
|
|
" | "/\*(a|b|c|d|e|f|g|h|i|j|k|l|m|n|o|p|q|r|s|t|u|v|w|x|y|z|A|B|C|D|E|F|G|H|I|J|K|L|M|N|O|P|Q|R|S|T|U|V|W|X|Y|Z|.|,|!|\?|_|-|:|%|=|\+| | |\\|/|\||\(|\)|0|1|2|3|4|5|6|7|8|9)+\*/" ; |