Ddoc $(SPEC_S Embedded Documentation, $(P The D programming language enables embedding both contracts and test code along side the actual code, which helps to keep them all consistent with each other. One thing lacking is the documentation, as ordinary comments are usually unsuitable for automated extraction and formatting into manual pages. Embedding the user documentation into the source code has important advantages, such as not having to write the documentation twice, and the likelihood of the documentation staying consistent with the code. ) $(P Some existing approaches to this are: ) $(UL $(LI Doxygen which already has some support for D) $(LI Java's Javadoc, probably the most well-known) $(LI C#'s embedded XML) $(LI Other documentation tools) ) $(P D's goals for embedded documentation are: ) $(OL $(LI It looks good as embedded documentation, not just after it is extracted and processed.) $(LI It's easy and natural to write, i.e. minimal reliance on <tags> and other clumsy forms one would never see in a finished document.) $(LI It does not repeat information that the compiler already knows from parsing the code.) $(LI It doesn't rely on embedded HTML, as such will impede extraction and formatting for other purposes.) $(LI It's based on existing D comment forms, so it is completely independent of parsers only interested in D code.) $(LI It should look and feel different from code, so it won't be visually confused with code.) $(LI It should be possible for the user to use Doxygen or other documentation extractor if desired.) )

Specification

$(P The specification for the form of embedded documentation comments only specifies how information is to be presented to the compiler. It is implementation-defined how that information is used and the form of the final presentation. Whether the final presentation form is an HTML web page, a man page, a PDF file, etc. is not specified as part of the D Programming Language. )

Phases of Processing

$(P Embedded documentation comments are processed in a series of phases: ) $(OL $(LI Lexical - documentation comments are identified and attached to tokens.) $(LI Parsing - documentation comments are associated with specific declarations and combined.) $(LI Sections - each documentation comment is divided up into a sequence of sections.) $(LI Special sections are processed.) $(LI Highlighting of non-special sections is done.) $(LI All sections for the module are combined.) $(LI Macro text substitution is performed to produce the final result.) )

Lexical

$(P Embedded documentation comments are one of the following forms: ) $(OL $(LI $(D_COMMENT /** ... */) The two *'s after the opening /) $(LI $(D_COMMENT /++ ... +/) The two +'s after the opening /) $(LI $(D_COMMENT ///) The three slashes) ) $(P The following are all embedded documentation comments:) --------------------------- /// This is a one line documentation comment. /** So is this. */ /++ And this. +/ /** This is a brief documentation comment. */ /** * The leading * on this line is not part of the documentation comment. */ /********************************* The extra *'s immediately following the /** are not part of the documentation comment. */ /++ This is a brief documentation comment. +/ /++ + The leading + on this line is not part of the documentation comment. +/ /+++++++++++++++++++++++++++++++++ The extra +'s immediately following the / ++ are not part of the documentation comment. +/ /**************** Closing *'s are not part *****************/ --------------------------- $(P The extra *'s and +'s on the comment opening, closing and left margin are ignored and are not part of the embedded documentation. Comments not following one of those forms are not documentation comments. )

Parsing

$(P Each documentation comment is associated with a declaration. If the documentation comment is on a line by itself or with only whitespace to the left, it refers to the next declaration. Multiple documentation comments applying to the same declaration are concatenated. Documentation comments not associated with a declaration are ignored. Documentation comments preceding the $(I ModuleDeclaration) apply to the entire module. If the documentation comment appears on the same line to the right of a declaration, it applies to that. ) $(P If a documentation comment for a declaration consists only of the identifier $(TT ditto) then the documentation comment for the previous declaration at the same declaration scope is applied to this declaration as well. ) $(P If there is no documentation comment for a declaration, that declaration may not appear in the output. To ensure it does appear in the output, put an empty declaration comment for it. ) ------------------------------------ int a; /// documentation for a; b has no documentation int b; /** documentation for c and d */ /** more documentation for c and d */ int c; /** ditto */ int d; /** documentation for e and f */ int e; int f; /// ditto /** documentation for g */ int g; /// more documentation for g /// documentation for C and D class C { int x; /// documentation for C.x /** documentation for C.y and C.z */ int y; int z; /// ditto } /// ditto class D { } ------------------------------------

Sections

$(P The document comment is a series of $(I Section)s. A $(I Section) is a name that is the first non-blank character on a line immediately followed by a ':'. This name forms the section name. The section name is not case sensitive. )

Summary

$(P The first section is the $(I Summary), and does not have a section name. It is first paragraph, up to a blank line or a section name. While the summary can be any length, try to keep it to one line. The $(I Summary) section is optional. )

Description

$(P The next unnamed section is the $(I Description). It consists of all the paragraphs following the $(I Summary) until a section name is encountered or the end of the comment. ) $(P While the $(I Description) section is optional, there cannot be a $(I Description) without a $(I Summary) section. ) ------------------------------------ /*********************************** * Brief summary of what * myfunc does, forming the summary section. * * First paragraph of synopsis description. * * Second paragraph of * synopsis description. */ void myfunc() { } ------------------------------------ $(P Named sections follow the $(I Summary) and $(I Description) unnamed sections. )

Standard Sections

$(P For consistency and predictability, there are several standard sections. None of these are required to be present. )
$(B Authors:)
Lists the author(s) of the declaration. ------------------------------------ /** * Authors: Melvin D. Nerd, melvin@mailinator.com */ ------------------------------------
$(B Bugs:)
Lists any known bugs. ------------------------------------ /** * Bugs: Doesn't work for negative values. */ ------------------------------------
$(B Date:)
Specifies the date of the current revision. The date should be in a form parseable by std.date. ------------------------------------ /** * Date: March 14, 2003 */ ------------------------------------
$(B Deprecated:)
Provides an explanation for and corrective action to take if the associated declaration is marked as deprecated. ------------------------------------ /** * Deprecated: superseded by function bar(). */ deprecated void foo() { ... } ------------------------------------
$(B Examples:)
Any usage examples ------------------------------------ /** * Examples: * -------------------- * writefln("3"); // writes '3' to stdout * -------------------- */ ------------------------------------
$(B History:)
Revision history. ------------------------------------ /** * History: * V1 is initial version * * V2 added feature X */ ------------------------------------
$(B License:)
Any license information for copyrighted code. ------------------------------------ /** * License: use freely for any purpose */ void bar() { ... } ------------------------------------
$(B Returns:)
Explains the return value of the function. If the function returns $(B void), don't redundantly document it. ------------------------------------ /** * Read the file. * Returns: The contents of the file. */ void[] readFile(char[] filename) { ... } ------------------------------------
$(B See_Also:)
List of other symbols and URL's to related items. ------------------------------------ /** * See_Also: * foo, bar, http://www.digitalmars.com/d/phobos/index.html */ ------------------------------------
$(B Standards:)
If this declaration is compliant with any particular standard, the description of it goes here. ------------------------------------ /** * Standards: Conforms to DSPEC-1234 */ ------------------------------------
$(B Throws:)
Lists exceptions thrown and under what circumstances they are thrown. ------------------------------------ /** * Write the file. * Throws: WriteException on failure. */ void writeFile(char[] filename) { ... } ------------------------------------
$(B Version:)
Specifies the current version of the declaration. ------------------------------------ /** * Version: 1.6a */ ------------------------------------

Special Sections

$(P Some sections have specialized meanings and syntax. )
$(B Copyright:)
This contains the copyright notice. The macro COPYRIGHT is set to the contents of the section when it documents the module declaration. The copyright section only gets this special treatment when it is for the module declaration. ------------------------------------ /** Copyright: Public Domain */ module foo; ------------------------------------
$(B Params:)
Function parameters can be documented by listing them in a params section. Each line that starts with an identifier followed by an '=' starts a new parameter description. A description can span multiple lines. ------------------------ /*********************************** * foo does this. * Params: * x = is for this * and not for that * y = is for that */ void foo(int x, int y) { } -------------------------
$(B Macros:)
The macros section follows the same syntax as the $(B Params:) section. It's a series of $(I NAME)=$(I value) pairs. The $(I NAME) is the macro name, and $(I value) is the replacement text. ------------------------------------ /** * Macros: * FOO = now is the time for * all good men * BAR = bar * MAGENTA = <font color=magenta>$0</font> */ ------------------------------------

Highlighting

Embedded Comments

$(P The documentation comments can themselves be commented using the $(DDOC_COMMENT comment text) syntax. These comments do not nest. )

Embedded Code

$(P D code can be embedded using lines with at least three hyphens in them to delineate the code section: ) ------------------------------------ /++++++++++++++++++++++++ + Our function. + Example: + -------------------------- + import std.stdio; + + void foo() + { + writefln("foo!"); /* print the string */ + } + -------------------------- +/ ------------------------------------ $(P Note that the documentation comment uses the $(D_COMMENT /++ ... +/) form so that $(D_COMMENT /* ... */) can be used inside the code section. )

Embedded HTML

$(P HTML can be embedded into the documentation comments, and it will be passed through to the HTML output unchanged. However, since it is not necessarily true that HTML will be the desired output format of the embedded documentation comment extractor, it is best to avoid using it where practical. ) ------------------------------------ /** Example of embedded HTML: * $(OL *
  • Digital Mars
  • *
  • Empire
  • * ) */ ------------------------------------

    Emphasis

    $(P Identifiers in documentation comments that are function parameters or are names that are in scope at the associated declaration are emphasized in the output. This emphasis can take the form of italics, boldface, a hyperlink, etc. How it is emphasized depends on what it is - a function parameter, type, D keyword, etc. To prevent unintended emphasis of an identifier, it can be preceded by an underscore (_). The underscore will be stripped from the output. )

    Character Entities

    $(P Some characters have special meaning to the documentation processor, to avoid confusion it can be best to replace them with their corresponding character entities: ) $(TABLE2 Characters and Entities, $(TR $(TH Character) $(TH Entity)) $(TR $(TD < )$(TD &lt; )) $(TR $(TD > )$(TD &gt; )) $(TR $(TD & )$(TD &amp; )) ) $(P It is not necessary to do this inside a code section, or if the special character is not immediately followed by a # or a letter. )

    No Documentation

    $(P No documentation is generated for the following constructs, even if they have a documentation comment: ) $(UL $(LI Invariants) $(V2 $(LI Postblits)) $(LI Destructors) $(LI Static constructors and static destructors) $(LI Class info, type info, and module info) )

    Macros

    $(P The documentation comment processor includes a simple macro text preprocessor. When a $($(I NAME)) appears in section text it is replaced with $(I NAME)'s corresponding replacement text. The replacement text is then recursively scanned for more macros. If a macro is recursively encountered, with no argument or with the same argument text as the enclosing macro, it is replaced with no text. Macro invocations that cut across replacement text boundaries are not expanded. If the macro name is undefined, the replacement text has no characters in it. If a $(NAME) is desired to exist in the output without being macro expanded, the $ should be replaced with &#36;. ) $(P Macros can have arguments. Any text from the end of the identifier to the closing $(SINGLEQUOTE $(RPAREN)) is the $0 argument. A $0 in the replacement text is replaced with the argument text. If there are commas in the argument text, $1 will represent the argument text up to the first comma, $2 from the first comma to the second comma, etc., up to $9. $+ represents the text from the first comma to the closing $(SINGLEQUOTE $(RPAREN)). The argument text can contain nested parentheses, "" or '' strings, comments, or tags. If stray, unnested parentheses are used, they can be replaced with the entity &#40; for ( and &#41; for ). ) $(P Macro definitions come from the following sources, in the specified order: ) $(OL $(LI Predefined macros.) $(LI Definitions from file specified by $(LINK2 dmd-windows.html#sc_ini, sc.ini)'s or $(LINK2 dmd-linux.html#dmd_conf, dmd.conf) DDOCFILE setting.) $(LI Definitions from *.ddoc files specified on the command line.) $(LI Runtime definitions generated by Ddoc.) $(LI Definitions from any Macros: sections.) ) $(P Macro redefinitions replace previous definitions of the same name. This means that the sequence of macro definitions from the various sources forms a hierarchy. ) $(P Macro names beginning with "D_" and "DDOC_" are reserved. )

    Predefined Macros

    $(P These are hardwired into Ddoc, and represent the minimal definitions needed by Ddoc to format and highlight the presentation. The definitions are for simple HTML. ) $(DDOCCODE B = <b>$0</b> I = <i>$0</i> U = <u>$0</u> P = <p>$0</p> DL = <dl>$0</dl> DT = <dt>$0</dt> DD = <dd>$0</dd> TABLE = <table>$0</table> TR = <tr>$0</tr> TH = <th>$0</th> TD = <td>$0</td> OL = <ol>$0</ol> UL = <ul>$0</ul> LI = <li>$0</li> BIG = <big>$0</big> SMALL = <small>$0</small> BR = <br> LINK = <a href="$0">$0</a> LINK2 = <a href="$1">$+</a> LPAREN= $(LPAREN) RPAREN= $(RPAREN) RED = <font color=red>$0</font> BLUE = <font color=blue>$0</font> GREEN = <font color=green>$0</font> YELLOW =<font color=yellow>$0</font> BLACK = <font color=black>$0</font> WHITE = <font color=white>$0</font> D_CODE = <pre class="d_code">$0</pre> D_COMMENT = $(GREEN $0) D_STRING = $(RED $0) D_KEYWORD = $(BLUE $0) D_PSYMBOL = $(U $0) D_PARAM = $(I $0) DDOC = <html><head> <META http-equiv="content-type" content="text/html; charset=utf-8"> <title>$(TITLE)</title> </head><body> <h1>$(TITLE)</h1> $(BODY) </body></html> DDOC_COMMENT = <!-- $0 --> DDOC_DECL = $(DT $(BIG $0)) DDOC_DECL_DD = $(DD $0) DDOC_DITTO = $(BR)$0 DDOC_SECTIONS = $0 DDOC_SUMMARY = $0$(BR)$(BR) DDOC_DESCRIPTION = $0$(BR)$(BR) DDOC_AUTHORS = $(B Authors:)$(BR) $0$(BR)$(BR) DDOC_BUGS = $(RED BUGS:)$(BR) $0$(BR)$(BR) DDOC_COPYRIGHT = $(B Copyright:)$(BR) $0$(BR)$(BR) DDOC_DATE = $(B Date:)$(BR) $0$(BR)$(BR) DDOC_DEPRECATED = $(RED Deprecated:)$(BR) $0$(BR)$(BR) DDOC_EXAMPLES = $(B Examples:)$(BR) $0$(BR)$(BR) DDOC_HISTORY = $(B History:)$(BR) $0$(BR)$(BR) DDOC_LICENSE = $(B License:)$(BR) $0$(BR)$(BR) DDOC_RETURNS = $(B Returns:)$(BR) $0$(BR)$(BR) DDOC_SEE_ALSO = $(B See Also:)$(BR) $0$(BR)$(BR) DDOC_STANDARDS = $(B Standards:)$(BR) $0$(BR)$(BR) DDOC_THROWS = $(B Throws:)$(BR) $0$(BR)$(BR) DDOC_VERSION = $(B Version:)$(BR) $0$(BR)$(BR) DDOC_SECTION_H = $(B $0)$(BR)$(BR) DDOC_SECTION = $0$(BR)$(BR) DDOC_MEMBERS = $(DL $0) DDOC_MODULE_MEMBERS = $(DDOC_MEMBERS $0) DDOC_CLASS_MEMBERS = $(DDOC_MEMBERS $0) DDOC_STRUCT_MEMBERS = $(DDOC_MEMBERS $0) DDOC_ENUM_MEMBERS = $(DDOC_MEMBERS $0) DDOC_TEMPLATE_MEMBERS = $(DDOC_MEMBERS $0) DDOC_PARAMS = $(B Params:)$(BR)\n$(TABLE $0)$(BR) DDOC_PARAM_ROW = $(TR $0) DDOC_PARAM_ID = $(TD $0) DDOC_PARAM_DESC = $(TD $0) DDOC_BLANKLINE = $(BR)$(BR) DDOC_PSYMBOL = $(U $0) DDOC_KEYWORD = $(B $0) DDOC_PARAM = $(I $0) ) $(P Ddoc does not generate HTML code. It formats into the basic formatting macros, which (in their predefined form) are then expanded into HTML. If output other than HTML is desired, then these macros need to be redefined. ) $(TABLE2 Basic Formatting Macros, $(TR $(TD $(B B)) $(TD boldface the argument)) $(TR $(TD $(B I)) $(TD italicize the argument)) $(TR $(TD $(B U)) $(TD underline the argument)) $(TR $(TD $(B P)) $(TD argument is a paragraph)) $(TR $(TD $(B DL)) $(TD argument is a definition list)) $(TR $(TD $(B DT)) $(TD argument is a definition in a definition list)) $(TR $(TD $(B DD)) $(TD argument is a description of a definition)) $(TR $(TD $(B TABLE)) $(TD argument is a table)) $(TR $(TD $(B TR)) $(TD argument is a row in a table)) $(TR $(TD $(B TH)) $(TD argument is a header entry in a row)) $(TR $(TD $(B TD)) $(TD argument is a data entry in a row)) $(TR $(TD $(B OL)) $(TD argument is an ordered list)) $(TR $(TD $(B UL)) $(TD argument is an unordered list)) $(TR $(TD $(B LI)) $(TD argument is an item in a list)) $(TR $(TD $(B BIG)) $(TD argument is one font size bigger)) $(TR $(TD $(B SMALL)) $(TD argument is one font size smaller)) $(TR $(TD $(B BR)) $(TD start new line)) $(TR $(TD $(B LINK)) $(TD generate clickable link on argument)) $(TR $(TD $(B LINK2)) $(TD generate clickable link, first arg is address)) $(TR $(TD $(B RED)) $(TD argument is set to be red)) $(TR $(TD $(B BLUE)) $(TD argument is set to be blue)) $(TR $(TD $(B GREEN)) $(TD argument is set to be green)) $(TR $(TD $(B YELLOW)) $(TD argument is set to be yellow)) $(TR $(TD $(B BLACK)) $(TD argument is set to be black)) $(TR $(TD $(B WHITE)) $(TD argument is set to be white)) $(TR $(TD $(B D_CODE)) $(TD argument is D code)) $(TR $(TD $(B DDOC)) $(TD overall template for output)) ) $(P $(B DDOC) is special in that it specifies the boilerplate into which the entire generated text is inserted (represented by the Ddoc generated macro $(B BODY)). For example, in order to use a style sheet, $(B DDOC) would be redefined as: ) $(DDOCCODE DDOC = <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> <html><head> <META http-equiv="content-type" content="text/html; charset=utf-8"> <title>$(TITLE)</title> <link rel="stylesheet" type="text/css" href="$(B style.css)"> </head><body> <h1>$(TITLE)</h1> $(BODY) </body></html> ) $(P $(B DDOC_COMMENT) is used to insert comments into the output file. ) $(P Highlighting of D code is performed by the following macros: ) $(TABLE2 D Code Formatting Macros, $(TR $(TD $(B D_COMMENT)) $(TD Highlighting of comments)) $(TR $(TD $(B D_STRING)) $(TD Highlighting of string literals)) $(TR $(TD $(B D_KEYWORD)) $(TD Highlighting of D keywords)) $(TR $(TD $(B D_PSYMBOL)) $(TD Highlighting of current declaration name)) $(TR $(TD $(B D_PARAM)) $(TD Highlighting of current function declaration parameters)) ) $(P The highlighting macros start with $(B DDOC_). They control the formatting of individual parts of the presentation. ) $(TABLE2 Ddoc Section Formatting Macros, $(TR $(TD $(B DDOC_DECL)) $(TD Highlighting of the declaration.)) $(TR $(TD $(B DDOC_DECL_DD)) $(TD Highlighting of the description of a declaration.)) $(TR $(TD $(B DDOC_DITTO)) $(TD Highlighting of ditto declarations.)) $(TR $(TD $(B DDOC_SECTIONS)) $(TD Highlighting of all the sections.)) $(TR $(TD $(B DDOC_SUMMARY)) $(TD Highlighting of the summary section.)) $(TR $(TD $(B DDOC_DESCRIPTION)) $(TD Highlighting of the description section.)) $(TR $(TD $(B DDOC_AUTHORS .. DDOC_VERSION)) $(TD Highlighting of the corresponding standard section.)) $(TR $(TD $(B DDOC_SECTION_H)) $(TD Highlighting of the section name of a non-standard section.)) $(TR $(TD $(B DDOC_SECTION)) $(TD Highlighting of the contents of a non-standard section.)) $(TR $(TD $(B DDOC_MEMBERS)) $(TD Default highlighting of all the members of a class, struct, etc.)) $(TR $(TD $(B DDOC_MODULE_MEMBERS)) $(TD Highlighting of all the members of a module.)) $(TR $(TD $(B DDOC_CLASS_MEMBERS)) $(TD Highlighting of all the members of a class.)) $(TR $(TD $(B DDOC_STRUCT_MEMBERS)) $(TD Highlighting of all the members of a struct.)) $(TR $(TD $(B DDOC_ENUM_MEMBERS)) $(TD Highlighting of all the members of an enum.)) $(TR $(TD $(B DDOC_TEMPLATE_MEMBERS)) $(TD Highlighting of all the members of a template.)) $(TR $(TD $(B DDOC_PARAMS)) $(TD Highlighting of a function parameter section.)) $(TR $(TD $(B DDOC_PARAM_ROW)) $(TD Highlighting of a name=value function parameter.)) $(TR $(TD $(B DDOC_PARAM_ID)) $(TD Highlighting of the parameter name.)) $(TR $(TD $(B DDOC_PARAM_DESC)) $(TD Highlighting of the parameter value.)) $(TR $(TD $(B DDOC_PSYMBOL)) $(TD Highlighting of declaration name to which a particular section is referring.)) $(TR $(TD $(B DDOC_KEYWORD)) $(TD Highlighting of D keywords.)) $(TR $(TD $(B DDOC_PARAM)) $(TD Highlighting of function parameters.)) $(TR $(TD $(B DDOC_BLANKLINE)) $(TD Inserts a blank line.)) ) $(P For example, one could redefine $(B DDOC_SUMMARY): ) $(DDOCCODE DDOC_SUMMARY = $(GREEN $0) ) $(P And all the summary sections will now be green. )

    Macro Definitions from $(LINK2 dmd-windows.html#sc_ini, $(TT sc.ini))'s DDOCFILE

    $(P A text file of macro definitions can be created, and specified in $(TT sc.ini): ) $(DDOCCODE DDOCFILE=myproject.ddoc )

    Macro Definitions from .ddoc Files on the Command Line

    $(P File names on the DMD command line with the extension .ddoc are text files that are read and processed in order. )

    Macro Definitions Generated by Ddoc

    $(TABLE2 Generated Macro Definitions, $(TR $(TH Macro Name) $(TH Contents) ) $(TR $(TD $(B BODY)) $(TD Set to the generated document text.) ) $(TR $(TD $(B TITLE)) $(TD Set to the module name.) ) $(TR $(TD $(B DATETIME)) $(TD Set to the current date and time.) ) $(TR $(TD $(B YEAR)) $(TD Set to the current year.) ) $(TR $(TD $(B COPYRIGHT)) $(TD Set to the contents of any $(B Copyright:) section that is part of the module comment.) ) $(TR $(TD $(B DOCFILENAME)) $(TD Set to the name of the generated output file.) ) )

    Using Ddoc for other Documentation

    $(P Ddoc is primarily designed for use in producing documentation from embedded comments. It can also, however, be used for processing other general documentation. The reason for doing this would be to take advantage of the macro capability of Ddoc and the D code syntax highlighting capability. ) $(P If the .d source file starts with the string "Ddoc" then it is treated as general purpose documentation, not as a D code source file. From immediately after the "Ddoc" string to the end of the file or any "Macros:" section forms the document. No automatic highlighting is done to that text, other than highlighting of D code embedded between lines delineated with --- lines. Only macro processing is done. ) $(P Much of the D documentation itself is generated this way, including this page. Such documentation is marked at the bottom as being generated by Ddoc. )

    References

    $(P $(LINK2 http://www.dsource.org/projects/helix/wiki/CandyDoc, CandyDoc) is a very nice example of how one can customize the Ddoc results with macros and style sheets. ) ) Macros: TITLE=Documentation Generator WIKI=Ddoc RPAREN=)