]> git.ipfire.org Git - thirdparty/openssl.git/blob - crypto/property/properties.ebnf
Coverity 1463571: Null pointer dereferences (FORWARD_NULL)
[thirdparty/openssl.git] / crypto / property / properties.ebnf
1 (* https://bottlecaps.de/rr/ui *)
2
3 Definition
4 ::= PropertyName ( '=' Value )? ( ',' PropertyName ( '=' Value )? )*
5 Query ::= PropertyQuery ( ',' PropertyQuery )*
6 PropertyQuery ::= '-' PropertyName
7 | '?'? ( PropertyName (( '=' | '!=' ) Value)?)
8 Value ::= NumberLiteral
9 | StringLiteral
10 StringLiteral ::= QuotedString | UnquotedString
11 QuotedString ::= '"' [^"]* '"'
12 | "'" [^']* "'"
13 UnquotedString ::= [^{space},]+
14 NumberLiteral
15 ::= '0' ( [0-7]* | 'x' [0-9A-Fa-f]+ )
16 | '-'? [1-9] [0-9]+
17 PropertyName
18 ::= [A-Z] [A-Z0-9_]* ( '.' [A-Z] [A-Z0-9_]* )*