Mercurial > repo
view interps/c-intercal/src/uncommon.h @ 4328:9c8b7f3bd82c
<int-e> ` sed -i \'s/\\\\*/*/\' bin/espletive; cat bin/espletive
author | HackBot |
---|---|
date | Thu, 16 Jan 2014 22:58:41 +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 ;