[FS] added buffer type

Author: di

shared/files/buffer.c

@@ -0,0 +1,32 @@
+#include "buffer.h"
+#include "syscalls/syscalls.h"
+
+buffer buffer_create(size_t size, bool can_grow, bool circular){
+    return (buffer){
+        .buffer = zalloc(size),
+        .buffer_size = 0,
+        .limit = size,
+        .can_grow = can_grow,
+        .circular = circular,
+        .cursor = 0,
+    };
+}
+
+void buffer_write(buffer *buf, char* fmt, ...){
+    __attribute__((aligned(16))) va_list args;
+    va_start(args, fmt); 
+    size_t n = string_format_va_buf(fmt, buf->buffer+buf->cursor, buf->limit-buf->cursor, args);
+    buf->cursor += n;
+    buf->buffer_size += n;
+    if (buf->can_grow && buf->buffer_size > buf->limit-256){
+        size_t new_size = buf->limit;
+        buf->buffer = realloc_sized(buf->buffer, buf->limit, new_size);
+        buf->limit = new_size;
+    }
+    //TODO: circular
+    va_end(args);
+}
+
+void buffer_write_space(buffer *buf){
+    buffer_write(buf, " ");
+}

shared/files/buffer.h

@@ -0,0 +1,16 @@
+#pragma once
+
+#include "types.h"
+
+typedef struct {
+    char* buffer;
+    size_t buffer_size;
+    size_t limit;
+    bool can_grow;
+    bool circular;
+    uintptr_t cursor;
+} buffer;
+
+buffer buffer_create(size_t size, bool can_grow, bool circular);
+void buffer_write(buffer *buf, char* fmt, ...);
+void buffer_write_space(buffer *buf);

user/default_process.c

@@ -89,7 +89,7 @@ int audio_example(){
     if (wav_load_as_int16("/resources/scale.wav", audio)){
         mixin[0] = audio_play_sync(&audio[0], 0, AUDIO_ONESHOT, AUDIO_LEVEL_MAX/4, PAN_CENTRE);
         return 0;
-    }else{
+    } else {
         printf("Could not load wav");
         return -1;
     }