1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
#ifndef _val_h
#define _val_h
#include <stdbool.h>
#include <stdint.h>
#include <stddef.h>
typedef struct _val Val;
typedef struct _obj Obj;
typedef enum {
TY_NIL,
TY_NUM,
TY_BOOL,
TY_OBJ,
} ValTy;
typedef struct _val {
ValTy ty;
union {
double d;
bool b;
Obj *o;
} as;
} Val;
void print_val(Val v);
void println_val(Val v);
const char *typename_str(Val v);
bool is_truthy(Val v);
bool val_equal(Val a, Val b);
typedef enum {
OTY_STRING,
OTY_FUNC,
} ObjTy;
typedef struct _obj {
ObjTy oty;
} Obj;
typedef struct {
Obj obj;
size_t len;
uint32_t hash;
char *d;
} ObjString;
#include "chunk.h"
typedef struct {
Obj obj;
Chunk ch;
uint8_t arity;
} ObjFunc;
// Constructs a new objstring from the given C string,
// creating its own fresh copy of the data.
ObjString *objstring_copy(State *S, char *src, size_t len);
ObjString *objstring_copy_cstr(State *s, char *str);
// Constructs a new objstring from the given C string,
// taking ownership of the provided data.
ObjString *objstring_take(State *S, char *src, size_t len);
ObjFunc *objfunc_new(State *S, uint8_t arity);
#define IS_NIL(x) (x.ty == TY_NIL)
#define IS_NUM(x) (x.ty == TY_NUM)
#define IS_BOOL(x) (x.ty == TY_BOOL)
#define IS_OBJ(x) (x.ty == TY_OBJ)
#define IS_STRING(x) (is_obj_ty((x), OTY_STRING))
#define IS_FUNC(x) (is_obj_ty((x), OTY_FUNC))
#define AS_NUM(x) (x.as.d)
#define AS_BOOL(x) (x.as.b)
#define AS_OBJ(x) (x.as.o)
#define AS_STRING(x) ((ObjString*)AS_OBJ(x))
#define AS_CSTRING(x) (AS_STRING(x)->d)
#define AS_FUNC(x) ((ObjFunc*)AS_OBJ(x))
#define VAL_NIL ((Val){.ty=TY_NIL})
#define VAL_NUM(x) ((Val){.ty=TY_NUM, .as.d=(x) })
#define VAL_BOOL(x) ((Val){.ty=TY_BOOL, .as.b=(x) })
#define VAL_TRUE VAL_BOOL(1)
#define VAL_FALSE VAL_BOOL(0)
#define VAL_OBJ(x) ((Val){.ty=TY_OBJ, .as.o=(Obj*)(x) })
static inline bool is_obj_ty(Val v, ObjTy t) {
return IS_OBJ(v) && (AS_OBJ(v)->oty == t);
}
#endif
|
