//
// 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