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:16:38 +1100
commit5aa0554ac37fd031d76c6288835641d092d9bb10 (patch)
tree52d2a0bdde75a4a6c57f028767f68665ee1c18be /crypto
parentb9097b0c3b0a83814ae378b0a70d9daf75185e5f (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_]* )*