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:17:06 +1100
commitf60b1239cfd4679be88d47a0e7cff248e0a57c55 (patch)
tree6773f388c8c90118a253fda3fac5f88e173c3100 /crypto
parentfe89566149fca339e4213b172c9928a5bf837506 (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) (cherry picked from commit 9866200bbe8eb65628f3f3e6eb290c48efb5a8ac)
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_]* )*