forked from Imagelibrary/seL4
a961f9e46c
Allow 0 or 1 description and 0 or more errors. Signed-off-by: matt rice <ratmice@gmail.com>
63 lines
1.7 KiB
DTD
63 lines
1.7 KiB
DTD
<!--
|
|
Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
|
|
|
|
SPDX-License-Identifier: BSD-2-Clause
|
|
-->
|
|
|
|
<!ELEMENT api (struct*,interface*)>
|
|
<!ATTLIST api name CDATA #IMPLIED>
|
|
<!ATTLIST api label_prefix CDATA #IMPLIED>
|
|
|
|
<!ELEMENT struct (member*)>
|
|
<!ATTLIST struct name CDATA #REQUIRED>
|
|
|
|
<!ELEMENT member EMPTY>
|
|
<!ATTLIST member name CDATA #REQUIRED>
|
|
|
|
<!ELEMENT interface (method*)>
|
|
<!ATTLIST interface name CDATA #REQUIRED>
|
|
<!ATTLIST interface manual_name CDATA #IMPLIED>
|
|
<!ATTLIST interface cap_description CDATA #IMPLIED>
|
|
|
|
<!ELEMENT method (brief?,description?,return?,cap_param?,param*,error*)>
|
|
<!ATTLIST method name CDATA #REQUIRED>
|
|
<!ATTLIST method id CDATA #REQUIRED>
|
|
<!ATTLIST method condition CDATA #IMPLIED>
|
|
<!ATTLIST method manual_name CDATA #IMPLIED>
|
|
<!ATTLIST method manual_label CDATA #IMPLIED>
|
|
|
|
<!ELEMENT param (description?, error*)>
|
|
<!ATTLIST param type CDATA #REQUIRED>
|
|
<!ATTLIST param name CDATA #REQUIRED>
|
|
<!ATTLIST param dir CDATA #REQUIRED>
|
|
<!ATTLIST param description CDATA #IMPLIED>
|
|
|
|
<!ELEMENT error (description?)>
|
|
<!ATTLIST error name CDATA #REQUIRED>
|
|
<!ATTLIST error description CDATA #IMPLIED>
|
|
|
|
<!ELEMENT brief (#PCDATA|texttt|docref|shortref|autoref|obj)*>
|
|
|
|
<!ELEMENT description (#PCDATA|texttt|docref|shortref|autoref|obj)*>
|
|
|
|
<!ELEMENT return (#PCDATA|texttt|docref|shortref|autoref|obj|errorenumdesc)*>
|
|
|
|
<!ELEMENT docref (#PCDATA|texttt|shortref|autoref|obj)*>
|
|
|
|
<!ELEMENT texttt EMPTY>
|
|
<!ATTLIST texttt text CDATA #REQUIRED>
|
|
|
|
<!ELEMENT autoref EMPTY>
|
|
<!ATTLIST autoref label CDATA #REQUIRED>
|
|
|
|
<!ELEMENT shortref EMPTY>
|
|
<!ATTLIST shortref sec CDATA #REQUIRED>
|
|
|
|
<!ELEMENT obj EMPTY>
|
|
<!ATTLIST obj name CDATA #REQUIRED>
|
|
|
|
<!ELEMENT errorenumdesc EMPTY>
|
|
|
|
<!ELEMENT cap_param EMPTY>
|
|
<!ATTLIST cap_param append_description CDATA #IMPLIED>
|