Mercurial > repo
view interps/c-intercal/src/uncommon.h @ 6842:76c0c1881313
<olsner> learn The internet is for everything. However many thing can done even without internet too, often better without use of internet, but internet is good too.
| author | HackBot |
|---|---|
| date | Mon, 15 Feb 2016 01:09:11 +0000 |
| parents | 859f9b4339e6 |
| children |
line wrap: on
line source
/* uncommon.h -- declarations for uncommon.c and C files linked to it */ #include "config.h" /*@null@*/ /*@dependent@*/ extern FILE* ick_debfopen(/*@observer@*/ const char*, /*@observer@*/ const char*); /*@null@*/ /*@dependent@*/ extern FILE* ick_findandfopen(/*@observer@*/ const char*, /*@observer@*/ const char*, /*@observer@*/ const char*, /*@observer@*/ const char*); /*@observer@*/ /*@null@*/ extern const char* ick_findandtestopen(/*@observer@*/ const char*, /*@observer@*/ const char*, /*@observer@*/ const char*, /*@observer@*/ const char*); /*@null@*/ /*@dependent@*/ extern FILE* ick_findandfreopen(/*@observer@*/ const char*, /*@observer@*/ const char*, /*@observer@*/ const char*, /*@observer@*/ const char*, FILE*); extern int ick_snprintf_or_die(/*@out@*/ char *str, size_t size, /*@observer@*/ const char *format, ...) #ifdef __GNUC__ __attribute__ ((format(printf, 3, 4))) #endif ;