Differences

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

--- documentation:tiny [2023/09/16 13:09] – Extend SORTED-HIERARCHY description nebelnidas
+++ documentation:tiny [2023/09/16 13:38] – Use <space> instead of literal space nebelnidas
@@ Line 32: / Line 32: @@
 <namespace>             ::= <safe-string>
-<properties>            ::= '' | '# ' <property> <eol> <properties>
+<properties>            ::= '' | '#' <space> <property> <eol> <properties>
 <property>              ::= <property-key> | <property-key> <space> <property-value>
 <property-key>          ::= <safe-string>
@@ Line 80: / Line 80: @@
   * ''%%<properties>%%'' are either in the ''%%<header>%%'' or at the bottom of the file, //not// scattered across both locations.
   * ''%%<class-name>%%'' 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.
+  * ''%%<parent-class-name-a>%%'' is the ''%%<class-name>%%'' of the entry's parent (owning) class.
   * ''%%<field-name>%%''/''%%<method-name>%%'' is the unqualified name of a field/method specified in JVMS SE 8 §4.2.2.
   * ''%%<field-desc>%%'' is a field descriptor as specified in JVMS SE 8 §4.3.2.