Mercurial > repo
view interps/c-intercal/src/uncommon.h @ 12285:69f123e9b0a2 draft
<b_jonas> STOP
author | HackEso <hackeso@esolangs.org> |
---|---|
date | Wed, 01 Jan 2020 09:35:37 +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 ;