Fcalva/cyclone
1
0
Fork 0
mirror of https://github.com/justinethier/cyclone.git synced 2025-05-21 14:49:17 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

Added checks for immutable objs

Browse source
This commit is contained in:
Justin Ethier 2019-06-03 13:18:08 -04:00
parent 3a5b6520fb
commit 7bd77e1ac3
2 changed files with 8 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
include/cyclone/runtime.h
View file

@ -66,6 +66,8 @@ void gc_init_heap(long heap_size);
#define Cyc_verify_mutable(data, obj) { \ #define Cyc_verify_mutable(data, obj) { \
if (immutable(obj)) Cyc_immutable_obj_error(data, obj); } if (immutable(obj)) Cyc_immutable_obj_error(data, obj); }
#define Cyc_verify_immutable(data, obj) { \
if (!immutable(obj)) Cyc_mutable_obj_error(data, obj); }
#define Cyc_check_type(data, fnc_test, tag, obj) { \ #define Cyc_check_type(data, fnc_test, tag, obj) { \
if ((boolean_f == fnc_test(obj))) Cyc_invalid_type_error(data, tag, obj); } if ((boolean_f == fnc_test(obj))) Cyc_invalid_type_error(data, tag, obj); }
#define Cyc_check_type2(data, fnc_test, tag, obj) { \ #define Cyc_check_type2(data, fnc_test, tag, obj) { \
@ -88,6 +90,7 @@ void gc_init_heap(long heap_size);
#define Cyc_check_opaque(d,obj) Cyc_check_type(d,Cyc_is_opaque, c_opaque_tag, obj) #define Cyc_check_opaque(d,obj) Cyc_check_type(d,Cyc_is_opaque, c_opaque_tag, obj)
void Cyc_invalid_type_error(void *data, int tag, object found); void Cyc_invalid_type_error(void *data, int tag, object found);
void Cyc_immutable_obj_error(void *data, object obj); void Cyc_immutable_obj_error(void *data, object obj);
void Cyc_mutable_obj_error(void *data, object obj);
void Cyc_check_obj(void *data, int tag, object obj); void Cyc_check_obj(void *data, int tag, object obj);
void Cyc_check_bounds(void *data, const char *label, int len, int index); void Cyc_check_bounds(void *data, const char *label, int len, int index);
/**@}*/ /**@}*/

5
runtime.c
View file

@ -78,6 +78,11 @@ void Cyc_immutable_obj_error(void *data, object obj)
Cyc_rt_raise2(data, "Unable to modify immutable object ", obj); Cyc_rt_raise2(data, "Unable to modify immutable object ", obj);
} }
void Cyc_mutable_obj_error(void *data, object obj)
{
Cyc_rt_raise2(data, "Expected immutable object ", obj);
}
void Cyc_check_obj(void *data, int tag, object obj) void Cyc_check_obj(void *data, int tag, object obj)
{ {
if (!is_object_type(obj)) { if (!is_object_type(obj)) {