Differences

This shows you the differences between two versions of the page.

--- documentation:tiny2 [2023/09/16 14:12] – <sections> -> <content> nebelnidas
+++ documentation:tiny2 [2023/09/16 21:09] – Clarify <safe-string> explanation nebelnidas
@@ Line 41: / Line 41: @@
 <property-value>                ::= <escaped-string>
-<content>                      ::= '' | <class-section> <content>
+<content>                       ::= '' | <class-section> <content>
 <class-section>                 ::= 'c' <tab> <class-name-a> <tab> <class-name-b> <extra-ns-class-names> <eol> <class-sub-sections>
@@ Line 98: / Line 98: @@
   * ''%%<safe-string>%%'' is a non-empty string that must not contain:
     * ''\'',
-    * ''"\n"'',
+    * ''\n'',
-    * ''"\r"'',
+    * ''\r'',
-    * ''"\t"'' or
+    * ''\t'' or
-    * ''"\0"''.
+    * ''\0''.
   * ''%%<conf-safe-string>%%'' is the same as ''%%<safe-string>%%'' if ''%%<properties>%%'' doesn't contain a ''%%<property>%%'' ''escaped-names'', otherwise it's a non-empty string further described by ''%%<escaped-string>%%''.
-  * ''%%<escaped-string>%%'' is a string that must not contain ''%%<eol>%%'' and escapes:
+  * ''%%<escaped-string>%%'' is a string that must not contain an ''%%<eol>%%'', escapes ''\'' to ''\\'' and the other forbidden values to their string literal equivalents, as seen in the list above.
-    *  ''\'' to ''\\'',
-    * ''"\n"'' to ''\n'',
-    * ''"\r"'' to ''\r'',
-    * ''"\t"'' to ''\t'' and
-    * ''"\0"'' to ''\0''.
   * ''%%<non-negative-int>%%'' is any integer from 0 to 2147483647 (2^31-1) inclusive, represented as per ''java.lang.Integer.toString()''.
   * ''%%<class-name>%%'', once optionally unescaped, is the binary name of a class as specified in JVMS SE 8 §4.2.1. Nested class identifiers are typically separated with ''$'' (e.g. ''some/package/class$nested$subnested''). Outer names must not be omitted for any namespace.