1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
//
// file_loader.h - Definitions of an API for loading files.
//
#ifndef FILE_LOADER__H
#define FILE_LOADER__H
#include <stdio.h>
struct allocated_op_s; // declared in types.h
typedef struct {
const char *filename;
char *contents, **lines, *end;
size_t nlines;
struct allocated_op_s *ops;
unsigned int mmapped:1;
} 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);
__attribute__((nonnull))
void destroy_file(file_t **f);
__attribute__((pure, nonnull))
size_t get_line_number(file_t *f, const char *p);
__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__((nonnull(1,2,3), format(printf, 5, 6)))
void fprint_line(FILE *dest, file_t *f, const char *start, const char *end, const char *fmt, ...);
#endif
// vim: ts=4 sw=0 et cino=L2,l1,(0,W4,m1
|
