65 lines
3.0 KiB
Plaintext
65 lines
3.0 KiB
Plaintext
// Контекстно-свободная грамматика шаблонизатора
|
||
|
||
// Подразумевается, что лексический анализатор зависим от работы синтаксического,
|
||
// знает о его состоянии и соответственно выдаёт либо лексемы "внутри" блоков кода,
|
||
// либо литералы "вне" оных
|
||
|
||
// {{ двойные скобки }} нужно исключительно чтобы маркеры начала и конца подстановки
|
||
// были уникальны в грамматике. Вместо них обычно используются { одинарные }, а
|
||
// выбор корректной лексемы - скобки или маркера - делает лексический анализатор.
|
||
// Но зато вместо { фигурных скобок } можно выбрать себе любые другие маркеры!
|
||
|
||
// Олдстайл BEGIN .. END ликвидирован
|
||
// Возможно, нужно сделать foreach ... as key => value
|
||
|
||
%token literal
|
||
%token name
|
||
|
||
%left ".."
|
||
%left "||" "OR" "XOR"
|
||
%left "&&" "AND"
|
||
%nonassoc "==" "!=" "<" ">" "<=" ">="
|
||
%left "+" "-"
|
||
%left "&"
|
||
%left "*" "/" "%"
|
||
|
||
%%
|
||
chunks: | chunks chunk
|
||
chunk: literal | "<!--" code_chunk "-->" | "{{" exp "}}" | error
|
||
code_chunk: c_if | c_set | c_fn | c_for | exp
|
||
c_if: "IF" exp "-->" chunks "<!--" "END" |
|
||
"IF" exp "-->" chunks "<!--" "ELSE" "-->" chunks "<!--" "END" |
|
||
"IF" exp "-->" chunks c_elseifs chunks "<!--" "END" |
|
||
"IF" exp "-->" chunks c_elseifs chunks "<!--" "ELSE" "-->" chunks "<!--" "END"
|
||
c_elseifs: "<!--" elseif exp "-->" | c_elseifs chunks "<!--" elseif exp "-->"
|
||
c_set: "SET" varref "=" exp | "SET" varref "-->" chunks "<!--" "END"
|
||
c_fn: fn name "(" arglist ")" "=" exp | fn name "(" arglist ")" "-->" chunks "<!--" "END"
|
||
c_for: for varref "=" exp "-->" chunks "<!--" "END"
|
||
fn: "FUNCTION" | "BLOCK" | "MACRO"
|
||
for: "FOR" | "FOREACH"
|
||
elseif: "ELSE" "IF" | "ELSIF" | "ELSEIF"
|
||
|
||
exp: exp ".." exp |
|
||
exp "||" exp | exp "OR" exp | exp "XOR" exp |
|
||
exp "&&" exp | exp "AND" exp |
|
||
exp "==" exp | exp "!=" exp |
|
||
exp "<" exp | exp ">" exp | exp "<=" exp | exp ">=" exp |
|
||
exp "+" exp | exp "-" exp |
|
||
exp "&" exp |
|
||
exp "*" exp | exp "/" exp | exp "%" exp |
|
||
p10
|
||
p10: p11 | '-' p11
|
||
p11: nonbrace | '(' exp ')' varpath | '!' p11 | "NOT" p11
|
||
nonbrace: '{' hash '}' | literal | varref | name '(' ')' | name '(' list ')' | name '(' gthash ')' | name nonbrace
|
||
list: exp | exp ',' list
|
||
arglist: name | name ',' arglist |
|
||
hash: pair | pair ',' hash |
|
||
gthash: gtpair | gtpair ',' gthash
|
||
pair: exp ',' exp | gtpair
|
||
gtpair: exp "=>" exp
|
||
varref: name | varref varpart
|
||
varpart: '.' namekw | '[' exp ']' | '.' namekw '(' ')' | '.' namekw '(' list ')'
|
||
varpath: | varpath varpart
|
||
namekw: name | "IF" | "END" | "ELSE" | "ELSIF" | "ELSEIF" | "SET" | "OR" | "XOR" | "AND" | "NOT" | "FUNCTION" | "BLOCK" | "MACRO" | "FOR" | "FOREACH"
|
||
%%
|