summaryrefslogtreecommitdiffstats
path: root/debian/uncrustify-trinity/uncrustify-trinity-0.72.0/tests/input/c/t3.in.c
diff options
context:
space:
mode:
authorMichele Calgaro <michele.calgaro@yahoo.it>2020-12-20 23:01:54 +0900
committerMichele Calgaro <michele.calgaro@yahoo.it>2020-12-22 11:50:09 +0900
commit112ca8677b9b024de5529712e559c968da40a67a (patch)
treea8e93a0b05d61aeaab1dab3288c5fc518cdd05c6 /debian/uncrustify-trinity/uncrustify-trinity-0.72.0/tests/input/c/t3.in.c
parentb37f44d6c7444ca20c48a07fdcaf7b2a812db5bd (diff)
downloadextra-dependencies-112ca8677b9b024de5529712e559c968da40a67a.tar.gz
extra-dependencies-112ca8677b9b024de5529712e559c968da40a67a.zip
DEB uncrustify: added first version of uncrustify-trinity. This is basically the upstream 0.72.0 version of uncrustify, repackaged.
Signed-off-by: Michele Calgaro <michele.calgaro@yahoo.it>
Diffstat (limited to 'debian/uncrustify-trinity/uncrustify-trinity-0.72.0/tests/input/c/t3.in.c')
-rw-r--r--debian/uncrustify-trinity/uncrustify-trinity-0.72.0/tests/input/c/t3.in.c10
1 files changed, 10 insertions, 0 deletions
diff --git a/debian/uncrustify-trinity/uncrustify-trinity-0.72.0/tests/input/c/t3.in.c b/debian/uncrustify-trinity/uncrustify-trinity-0.72.0/tests/input/c/t3.in.c
new file mode 100644
index 00000000..e352f736
--- /dev/null
+++ b/debian/uncrustify-trinity/uncrustify-trinity-0.72.0/tests/input/c/t3.in.c
@@ -0,0 +1,10 @@
+extern /*@observer@*/ /*@null@*/ const dcroid_t* dcrp_oidget
+(
+ /*@in@*/ const char* h,
+ /*@in@*/const char* t
+ ) /*@ensures maxRead(result) >= 0@*/;
+
+extern /*@observer@*/const char* dcrp_oidlabel
+(
+ /*@in@*/const dcroid_t* oid
+ );