diff options
| author | Dimitri van Heesch <dimitri@stack.nl> | 2013-07-19 19:46:35 (GMT) |
|---|---|---|
| committer | Dimitri van Heesch <dimitri@stack.nl> | 2013-07-19 19:46:35 (GMT) |
| commit | 5875da6cae352bbcbe64f537ccfcfab08ad98b3f (patch) | |
| tree | 1f707443b228c25e2d0389133b8e697e88a11426 /testing/035 | |
| parent | ea7a639c40a88c0de4baad4c0ffd5ae4b4065969 (diff) | |
| download | Doxygen-5875da6cae352bbcbe64f537ccfcfab08ad98b3f.zip Doxygen-5875da6cae352bbcbe64f537ccfcfab08ad98b3f.tar.gz Doxygen-5875da6cae352bbcbe64f537ccfcfab08ad98b3f.tar.bz2 | |
Added regression test suite
Diffstat (limited to 'testing/035')
| -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> |