summaryrefslogtreecommitdiffstats
path: root/crypto
diff options
context:
space:
mode:
authorPauli <pauli@openssl.org>2023-01-11 11:39:02 +1100
committerPauli <pauli@openssl.org>2023-01-20 10:15:53 +1100
commit9866200bbe8eb65628f3f3e6eb290c48efb5a8ac (patch)
tree23f19cce58faa89feed17e05ce6feeebf7bae1f1 /crypto
parent091f532e0ef57cff71ab710c07eb5f6f9bb88b22 (diff)
Correct property EBNF for unquoted strings
Reviewed-by: Richard Levitte <levitte@openssl.org> Reviewed-by: Hugo Landau <hlandau@openssl.org> Reviewed-by: Shane Lontis <shane.lontis@oracle.com> (Merged from https://github.com/openssl/openssl/pull/20023)
Diffstat (limited to 'crypto')
-rw-r--r--crypto/property/properties.ebnf18
1 files changed, 0 insertions, 18 deletions
diff --git a/crypto/property/properties.ebnf b/crypto/property/properties.ebnf
deleted file mode 100644
index a55198bd75..0000000000
--- a/crypto/property/properties.ebnf
+++ /dev/null
@@ -1,18 +0,0 @@
-(* https://bottlecaps.de/rr/ui *)
-
-Definition
- ::= PropertyName ( '=' Value )? ( ',' PropertyName ( '=' Value )? )*
-Query ::= PropertyQuery ( ',' PropertyQuery )*
-PropertyQuery ::= '-' PropertyName
- | '?'? ( PropertyName (( '=' | '!=' ) Value)?)
-Value ::= NumberLiteral
- | StringLiteral
-StringLiteral ::= QuotedString | UnquotedString
-QuotedString ::= '"' [^"]* '"'
- | "'" [^']* "'"
-UnquotedString ::= [^{space},]+
-NumberLiteral
- ::= '0' ( [0-7]* | 'x' [0-9A-Fa-f]+ )
- | '-'? [1-9] [0-9]+
-PropertyName
- ::= [A-Z] [A-Z0-9_]* ( '.' [A-Z] [A-Z0-9_]* )*