diff options
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.c | 10 |
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 + ); |