aboutsummaryrefslogtreecommitdiff
path: root/file_loader.h
diff options
context:
space:
mode:
authorBruce Hill <bruce@bruce-hill.com>2021-01-12 22:22:38 -0800
committerBruce Hill <bruce@bruce-hill.com>2021-01-12 22:22:38 -0800
commit2d109f974b6a03a79db3dd8a5ffe5c2aff76659e (patch)
tree082415222af72e0ac17eac9260a5e5a1ce59221a /file_loader.h
parent5811ff4554da3d980ff32a83efa35ea1a4512484 (diff)
Some general cleanup, adding comments, adding more __attribute__s where
applicable
Diffstat (limited to 'file_loader.h')
-rw-r--r--file_loader.h3
1 files changed, 2 insertions, 1 deletions
diff --git a/file_loader.h b/file_loader.h
index b4e7938..3b0f15b 100644
--- a/file_loader.h
+++ b/file_loader.h
@@ -14,6 +14,7 @@ typedef struct {
} file_t;
file_t *load_file(const char *filename);
+__attribute__((nonnull(2), returns_nonnull))
file_t *spoof_file(const char *filename, char *text);
__attribute__((nonnull))
void intern_file(file_t *f);
@@ -25,7 +26,7 @@ __attribute__((pure, nonnull))
size_t get_char_number(file_t *f, const char *p);
__attribute__((pure, nonnull))
const char *get_line(file_t *f, size_t line_number);
-__attribute__((format (printf, 5, 6)))
+__attribute__((nonnull(1,2,3,4), format(printf, 5, 6)))
void fprint_line(FILE *dest, file_t *f, const char *start, const char *end, const char *fmt, ...);
#endif