2019-10-30 13:07:32 +03:00
|
|
|
void IO_println(String *s) {
|
|
|
|
puts(*s);
|
|
|
|
}
|
|
|
|
void IO_print(String *s) {
|
|
|
|
printf("%s", *s);
|
|
|
|
}
|
2018-01-24 17:53:18 +03:00
|
|
|
|
2019-10-30 13:07:32 +03:00
|
|
|
void IO_errorln(String *s) {
|
|
|
|
fprintf(stderr, "%s\n", *s);
|
|
|
|
}
|
|
|
|
void IO_error(String *s) {
|
|
|
|
fprintf(stderr, "%s", *s);
|
|
|
|
}
|
2018-10-23 00:47:40 +03:00
|
|
|
|
2018-03-18 16:53:03 +03:00
|
|
|
String IO_get_MINUS_line() {
|
2020-05-09 13:19:22 +03:00
|
|
|
char *b = NULL;
|
|
|
|
size_t cap = 64;
|
|
|
|
size_t sofar = 0;
|
|
|
|
while (1) {
|
|
|
|
b = CARP_REALLOC(b, cap);
|
|
|
|
b[cap - 1] = -1;
|
|
|
|
if (!fgets(b + sofar, cap - sofar, stdin)) break;
|
|
|
|
sofar = cap - 1;
|
|
|
|
if (b[cap - 1] == -1) break;
|
|
|
|
cap *= 2;
|
|
|
|
}
|
|
|
|
return b;
|
2018-01-24 17:53:18 +03:00
|
|
|
}
|
|
|
|
|
2021-06-08 22:05:51 +03:00
|
|
|
String IO_unsafe_MINUS_read_MINUS_file(const String *filename) {
|
2018-03-18 16:53:03 +03:00
|
|
|
String buffer = 0;
|
2019-09-28 02:05:30 +03:00
|
|
|
Long length;
|
2018-01-24 17:53:18 +03:00
|
|
|
FILE *f = fopen(*filename, "rb");
|
|
|
|
|
2019-10-30 10:47:36 +03:00
|
|
|
if (f) {
|
|
|
|
fseek(f, 0, SEEK_END);
|
|
|
|
length = ftell(f);
|
|
|
|
fseek(f, 0, SEEK_SET);
|
|
|
|
buffer = CARP_MALLOC(length + 1);
|
|
|
|
if (buffer) {
|
2020-05-09 13:18:25 +03:00
|
|
|
size_t sz = fread(buffer, 1, length, f);
|
|
|
|
assert(sz == length);
|
|
|
|
buffer[sz] = '\0';
|
2018-01-24 17:53:18 +03:00
|
|
|
} else {
|
2021-06-08 22:05:51 +03:00
|
|
|
fprintf(stderr, "Failed to open buffer from file: %s\n", *filename);
|
2018-01-24 17:53:18 +03:00
|
|
|
buffer = String_empty();
|
|
|
|
}
|
2019-10-30 10:47:36 +03:00
|
|
|
fclose(f);
|
2018-01-24 17:53:18 +03:00
|
|
|
} else {
|
2021-06-08 22:05:51 +03:00
|
|
|
fprintf(stderr, "Failed to open file: %s\n", *filename);
|
2018-01-24 17:53:18 +03:00
|
|
|
buffer = String_empty();
|
|
|
|
}
|
|
|
|
|
|
|
|
return buffer;
|
|
|
|
}
|