aboutsummaryrefslogtreecommitdiffstats
path: root/src/bytecode/objects.h
blob: e0c72b0dbcdc2818d11dd8eb4ebdea2e9181aab8 (plain)
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
#ifndef BDL_OBJECTS_H
#define BDL_OBJECTS_H

#include "string_view.h"
#include "darray.h"
#include "chunk.h"

typedef enum ObjectType {
    OBJ_TYPE_NIL,
    OBJ_TYPE_TRUE,
    OBJ_TYPE_FALSE,
    OBJ_TYPE_FIXNUM,
    OBJ_TYPE_SYMBOL,
    OBJ_TYPE_STRING,
    OBJ_TYPE_PAIR,
    OBJ_TYPE_LAMBDA,
    OBJ_TYPE_ERR,
} ObjectType;

typedef struct Object {
    ObjectType type;
    bool marked;
    union {
        // OBJ_TYPE_FIXNUM
        ssize_t fixnum;

        // OBJ_TYPE_STRING
        // OBJ_TYPE_SYMBOL
        char *text;

        // OBJ_TYPE_PAIR
        // struct {
        //     struct Object *car;
        //     struct Object *cdr;
        // };

        // OBJ_TYPE_LAMBDA
        Chunk *chunk;
        // struct {
        //     struct Object *params;
        //     struct Object *body;
        //     struct Environment *env;
        // };
    };
} Object;

Object make_string(StringView sv);
Object make_symbol(StringView sv);
Object make_lambda(StringView name);
void object_display(Object obj);
void object_free(Object obj);
bool object_equal(Object a, Object b);
Object object_copy(Object src);

// Value initialization.
#define NIL_VAL         ((Object){.type = OBJ_TYPE_NIL})
#define TRUE_VAL        ((Object){.type = OBJ_TYPE_TRUE})
#define FALSE_VAL       ((Object){.type = OBJ_TYPE_FALSE})
#define FIXNUM_VAL(VAL) ((Object){.type = OBJ_TYPE_FIXNUM, .fixnum = VAL})
#define BOOL_VAL(VAL)   ((VAL) ? TRUE_VAL : FALSE_VAL)

// Value extraction.
#define AS_FIXNUM(VAL) ((VAL).fixnum)

// Type checking.
#define IS_TRUE(VAL)   ((VAL).type != OBJ_TYPE_FALSE)
#define IS_FALSE(VAL)  ((VAL).type == OBJ_TYPE_FALSE)
#define IS_FIXNUM(VAL) ((VAL).type == OBJ_TYPE_FIXNUM)
#define IS_STRING(VAL) ((VAL).type == OBJ_TYPE_STRING)
#define IS_SYMBOL(VAL) ((VAL).type == OBJ_TYPE_SYMBOL)
#define IS_LAMBDA(VAL) ((VAL).type == OBJ_TYPE_LAMBDA)

#endif // BDL_OBJECTS_H