diff options
Diffstat (limited to 'testing/035/035__invariant_8c.xml')
-rw-r--r-- | testing/035/035__invariant_8c.xml | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/testing/035/035__invariant_8c.xml b/testing/035/035__invariant_8c.xml new file mode 100644 index 0000000..d036388 --- /dev/null +++ b/testing/035/035__invariant_8c.xml @@ -0,0 +1,45 @@ +<?xml version="1.0" encoding="UTF-8" standalone="no"?> +<doxygen xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="compound.xsd" version=""> + <compounddef id="035__invariant_8c" kind="file"> + <compoundname>035_invariant.c</compoundname> + <sectiondef kind="func"> + <memberdef kind="function" id="035__invariant_8c_1a92e32ddd4278ab907422d5aaa34cb796" prot="public" static="no" const="no" explicit="no" inline="no" virt="non-virtual"> + <type>void</type> + <definition>void func</definition> + <argsstring>(int p, int *q)</argsstring> + <name>func</name> + <param> + <type>int</type> + <declname>p</declname> + </param> + <param> + <type>int *</type> + <declname>q</declname> + </param> + <briefdescription> + </briefdescription> + <detaileddescription> + <para> + <simplesect kind="invariant"> + <para>i+j=p </para> + </simplesect> + <simplesect kind="pre"> + <para>p>=0 </para> + </simplesect> + <simplesect kind="post"> + <para>*q=2^(p+1) </para> + </simplesect> + </para> + </detaileddescription> + <inbodydescription> + </inbodydescription> + <location file="035_invariant.c" bodystart="10" bodyend="15"/> + </memberdef> + </sectiondef> + <briefdescription> + </briefdescription> + <detaileddescription> + </detaileddescription> + <location file="035_invariant.c"/> + </compounddef> +</doxygen> |