aboutsummaryrefslogtreecommitdiffstats
path: root/e-util/e-sexp.h
blob: 5f41c97dcc2dd666c9eb794320c8c3c8a4e73c35 (plain) (blame)
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
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
/*
  generic s-exp evaluator class
*/
#ifndef _E_SEXP_H
#define _E_SEXP_H

#include <setjmp.h>
#include <time.h>
#include <glib.h>

#ifdef E_SEXP_IS_G_OBJECT
#include <glib-object.h>
#endif

#ifdef E_SEXP_IS_G_OBJECT
#define E_TYPE_SEXP            (e_sexp_get_type ())
#define E_SEXP(obj)            (G_TYPE_CHECK_INSTANCE_CAST ((obj), E_TYPE_SEXP, ESExp))
#define E_SEXP_CLASS(klass)    (G_TYPE_CHECK_CLASS_CAST ((klass), E_TYPE_SEXP, ESExpClass))
#define IS_E_SEXP(obj)         (G_TYPE_CHECK_INSTANCE_TYPE ((obj), E_TYPE_SEXP))
#define IS_E_SEXP_CLASS(klass) (G_TYPE_CHECK_CLASS_TYPE ((klass), E_TYPE_SEXP))
#define E_SEXP_GET_CLASS(obj)  (G_TYPE_INSTANCE_GET_CLASS ((obj), E_TYPE_SEXP, ESExpClass))
#else
#define E_TYPE_SEXP            (0)
#define E_SEXP(obj)            ((struct _ESExp *) (obj))
#define E_SEXP_CLASS(klass)    ((struct _ESExpClass *) (klass))
#define IS_E_SEXP(obj)         (1)
#define IS_E_SEXP_CLASS(obj)   (1)
#define E_SEXP_GET_CLASS(obj)  (NULL)
#endif

typedef struct _ESExp      ESExp;
typedef struct _ESExpClass ESExpClass;

typedef struct _ESExpSymbol ESExpSymbol;
typedef struct _ESExpResult ESExpResult;
typedef struct _ESExpTerm ESExpTerm;

typedef struct _ESExpResult *(ESExpFunc)(struct _ESExp *sexp, int argc,
                     struct _ESExpResult **argv,
                     void *data);

typedef struct _ESExpResult *(ESExpIFunc)(struct _ESExp *sexp, int argc,
                      struct _ESExpTerm **argv,
                      void *data);

enum _ESExpResultType {
    ESEXP_RES_ARRAY_PTR=0,  /* type is a ptrarray, what it points to is implementation dependant */
    ESEXP_RES_INT,      /* type is a number */
    ESEXP_RES_STRING,   /* type is a pointer to a single string */
    ESEXP_RES_BOOL,     /* boolean type */
    ESEXP_RES_TIME,     /* time_t type */
    ESEXP_RES_UNDEFINED /* unknown type */
};

struct _ESExpResult {
    enum _ESExpResultType type;
    union {
        GPtrArray *ptrarray;
        int number;
        char *string;
        int bool;
        time_t time;
    } value;
};

enum _ESExpTermType {
    ESEXP_TERM_INT  = 0,    /* integer literal */
    ESEXP_TERM_BOOL,    /* boolean literal */
    ESEXP_TERM_STRING,  /* string literal */
    ESEXP_TERM_TIME,    /* time_t literal (number of seconds past the epoch) */
    ESEXP_TERM_FUNC,    /* normal function, arguments are evaluated before calling */
    ESEXP_TERM_IFUNC,   /* immediate function, raw terms are arguments */
    ESEXP_TERM_VAR,     /* variable reference */
};

struct _ESExpSymbol {
    int type;       /* ESEXP_TERM_FUNC or ESEXP_TERM_VAR */
    char *name;
    void *data;
    union {
        ESExpFunc *func;
        ESExpIFunc *ifunc;
    } f;
};

struct _ESExpTerm {
    enum _ESExpTermType type;
    union {
        char *string;
        int number;
        int bool;
        time_t time;
        struct {
            struct _ESExpSymbol *sym;
            struct _ESExpTerm **terms;
            int termcount;
        } func;
        struct _ESExpSymbol *var;
    } value;
};



struct _ESExp {
#ifdef E_SEXP_IS_G_OBJECT
    GObject parent_object;
#else
    int refcount;
#endif
    GScanner *scanner;  /* for parsing text version */
    ESExpTerm *tree;    /* root of expression tree */
    
    /* private stuff */
    jmp_buf failenv;
    char *error;
    
    /* TODO: may also need a pool allocator for term strings, so we dont lose them
       in error conditions? */
    struct _EMemChunk *term_chunks;
    struct _EMemChunk *result_chunks;
};

struct _ESExpClass {
#ifdef E_SEXP_IS_G_OBJECT
    GObjectClass parent_class;
#else
    int dummy;
#endif
};

#ifdef E_SEXP_IS_G_OBJECT
GType           e_sexp_get_type     (void);
#endif
ESExp          *e_sexp_new      (void);
#ifdef E_SEXP_IS_G_OBJECT
#define         e_sexp_ref(f)           g_object_ref (f)
#define         e_sexp_unref(f)         g_object_unref (f)
#else
void        e_sexp_ref      (ESExp *f);
void        e_sexp_unref        (ESExp *f);
#endif
void        e_sexp_add_function     (ESExp *f, int scope, char *name, ESExpFunc *func, void *data);
void        e_sexp_add_ifunction    (ESExp *f, int scope, char *name, ESExpIFunc *func, void *data);
void        e_sexp_add_variable     (ESExp *f, int scope, char *name, ESExpTerm *value);
void        e_sexp_remove_symbol    (ESExp *f, int scope, char *name);
int     e_sexp_set_scope    (ESExp *f, int scope);

void        e_sexp_input_text   (ESExp *f, const char *text, int len);
void        e_sexp_input_file   (ESExp *f, int fd);


int     e_sexp_parse        (ESExp *f);
ESExpResult    *e_sexp_eval     (ESExp *f);

ESExpResult    *e_sexp_term_eval    (struct _ESExp *f, struct _ESExpTerm *t);
ESExpResult    *e_sexp_result_new   (struct _ESExp *f, int type);
void        e_sexp_result_free  (struct _ESExp *f, struct _ESExpResult *t);

/* used in normal functions if they have to abort, to free their arguments */
void        e_sexp_resultv_free (struct _ESExp *f, int argc, struct _ESExpResult **argv);

/* utility functions for creating s-exp strings. */
void        e_sexp_encode_bool  (GString *s, gboolean state);
void        e_sexp_encode_string    (GString *s, const char *string);

/* only to be called from inside a callback to signal a fatal execution error */
void        e_sexp_fatal_error  (struct _ESExp *f, char *why, ...);

/* return the error string */
const char     *e_sexp_error        (struct _ESExp *f);

#endif /* _E_SEXP_H */