Mercurial > repo
view interps/c-intercal/src/uncommon.h @ 8038:f698aeafd7ca
<gamemanj> mkx bin/pacman//echo Error: Could not install package, system is actually a cat.
author | HackBot |
---|---|
date | Sat, 14 May 2016 13:09:33 +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 ;