|
Serene Runtime 1.0.0-dev
C runtime for the Serene programming language
|
#include <core.h>
Data Fields | |
| uint16_t | buffer_id |
| ID of the source buffer that is registered with the source manager. | |
| uint32_t | offset |
| Byte offset of the form's first byte in the buffer. | |
| uint32_t | len |
| Length of the form in bytes. | |
| uint16_t srn_src_location_t::buffer_id |
ID of the source buffer that is registered with the source manager.
If we ever need to increase this limit we have to adjust the guard at the source_manager.c where we check the buffer id to be less that UINT16_MAX
| uint32_t srn_src_location_t::len |
| uint32_t srn_src_location_t::offset |