H1.title |
the name of the class |
H3.title |
the name of the client of the class; also the "Creation features" and "Exported features" titles |
A.link |
a link to another class documentation |
TD.comment |
the cell containing the class header comment |
PRE.comment |
the class header comment |
H2.title |
the "Summary" and "Details" titles |
B.comment |
the comment of a feature clause |
LI.summary |
a feature of the class in the "summary" section |
A.summary |
the link to the details of a feature |
I.comment |
the comment of a feature |
U.field |
a field (feature or anything between a back-quote and a forward quote), when this field is not a link
(does not point to anything known) |
A.field |
a field (feature or anything between a back-quote and a forward quote), when this field is a link |
TD.title |
the cell containing the name of a feature in the details section |
B.details |
the name of a feature in the details section |
TD.details |
the cell containing the details of a feature |
B.assertion |
the "Require" and "Ensure" titles; also the tags of the assertions |
TT.assertion |
the expression of an assertion |
I.assertion |
the comment of an assertion |
TT.character |
a character (delimited between simple quotes) in a comment |
TT.string |
a string (delimited between double quotes) in a comment |