mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-09-11 08:55:23 +03:00
713e485ff6
Otherwise, we're just guessing on the size, and that way lies segfaults. It turns out the size in Buffer.idr might have been correct once, but isn't now, and so unless we're lucky registering the pointer will copy memory we don't have access to. If the RTS does the registering of the pointer, at least it knows the size. (It's likely this is doable without the malloc, using iallocate directly, but this required fewer changes.)
30 lines
894 B
C
30 lines
894 B
C
#ifndef __BUFFER_H
|
|
#define __BUFFER_H
|
|
|
|
#include <stdlib.h>
|
|
#include <stdio.h>
|
|
#include <stdint.h>
|
|
#include "idris_rts.h"
|
|
|
|
VAL idris_newBuffer(VM* vm, int bytes);
|
|
|
|
int idris_getBufferSize(void* buffer);
|
|
|
|
void idris_setBufferByte(void* buffer, int loc, uint8_t byte);
|
|
void idris_setBufferInt(void* buffer, int loc, int val);
|
|
void idris_setBufferDouble(void* buffer, int loc, double val);
|
|
void idris_setBufferString(void* buffer, int loc, char* str);
|
|
|
|
void idris_copyBuffer(void* from, int start, int len,
|
|
void* to, int loc);
|
|
|
|
int idris_readBuffer(FILE* h, void* buffer, int loc, int max);
|
|
void idris_writeBuffer(FILE* h, void* buffer, int loc, int len);
|
|
|
|
uint8_t idris_getBufferByte(void* buffer, int loc);
|
|
int idris_getBufferInt(void* buffer, int loc);
|
|
double idris_getBufferDouble(void* buffer, int loc);
|
|
VAL idris_getBufferString(void* buffer, int loc, int len);
|
|
|
|
#endif
|