2018-11-16 09:44:30 +08:00
|
|
|
(* https://bottlecaps.de/rr/ui *)
|
|
|
|
|
|
|
|
Definition
|
|
|
|
::= PropertyName ( '=' Value )? ( ',' PropertyName ( '=' Value )? )*
|
2019-05-16 12:50:18 +08:00
|
|
|
Query ::= PropertyQuery ( ',' PropertyQuery )*
|
2019-06-03 06:06:15 +08:00
|
|
|
PropertyQuery ::= '-' PropertyName
|
2019-05-30 08:57:53 +08:00
|
|
|
| '?'? ( PropertyName (( '=' | '!=' ) Value)?)
|
2018-11-16 09:44:30 +08:00
|
|
|
Value ::= NumberLiteral
|
|
|
|
| StringLiteral
|
|
|
|
StringLiteral ::= QuotedString | UnquotedString
|
|
|
|
QuotedString ::= '"' [^"]* '"'
|
2019-05-16 12:50:18 +08:00
|
|
|
| "'" [^']* "'"
|
2018-11-16 09:44:30 +08:00
|
|
|
UnquotedString ::= [^{space},]+
|
|
|
|
NumberLiteral
|
|
|
|
::= '0' ( [0-7]* | 'x' [0-9A-Fa-f]+ )
|
2019-05-16 12:50:18 +08:00
|
|
|
| '-'? [1-9] [0-9]+
|
2018-11-16 09:44:30 +08:00
|
|
|
PropertyName
|
|
|
|
::= [A-Z] [A-Z0-9_]* ( '.' [A-Z] [A-Z0-9_]* )*
|