blob: 53b554170d5011396ba58bab038d86e675b7ea45 (
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
|
#include <cstdio>
#include "model.h"
#include "exc.h"
#include "consts.h"
#include "types.h"
const int REPR_STACK_SIZE = 262144;
extern EmptyList *empty_list;
static EvalObjAddrHash hash;
static ReprCons *repr_stack[REPR_STACK_SIZE];
FrameObj::FrameObj(FrameType _ftype) : ftype(_ftype) {}
EmptyList::EmptyList() : Pair(NULL, NULL) {}
ReprCons *EmptyList::get_repr_cons() { return new ReprStr("()"); }
bool FrameObj::is_ret_addr() {
return ftype & CLS_RET_ADDR;
}
bool FrameObj::is_parse_bracket() {
return ftype & CLS_PAR_BRA;
}
EvalObj::EvalObj(int _otype) : FrameObj(CLS_EVAL_OBJ), otype(_otype) {}
void EvalObj::prepare(Pair *pc) {}
bool EvalObj::is_simple_obj() {
return otype & CLS_SIM_OBJ;
}
bool EvalObj::is_sym_obj() {
return otype & CLS_SYM_OBJ;
}
bool EvalObj::is_opt_obj() {
return otype & CLS_OPT_OBJ;
}
bool EvalObj::is_pair_obj() {
return this != empty_list && (otype & CLS_PAIR_OBJ);
}
bool EvalObj::is_num_obj() {
return otype & CLS_NUM_OBJ;
}
bool EvalObj::is_bool_obj() {
return otype & CLS_BOOL_OBJ;
}
bool EvalObj::is_str_obj() {
return otype & CLS_STR_OBJ;
}
bool EvalObj::is_prom_obj() {
return otype & CLS_PROM_OBJ;
}
int EvalObj::get_otype() {
return otype;
}
bool EvalObj::is_true() {
return true;
}
string EvalObj::ext_repr() {
hash.clear();
// TODO: Performance improvement
// (from possibly O(n^2logn) to strictly O(nlogn))
ReprCons **top_ptr = repr_stack;
*top_ptr++ = this->get_repr_cons();
EvalObj *obj;
hash.insert(this);
while (!(*repr_stack)->done)
{
if ((*(top_ptr - 1))->done)
{
top_ptr -= 2;
obj = (*top_ptr)->next((*(top_ptr + 1))->repr);
if (obj)
{
*(++top_ptr) = obj->get_repr_cons();
EvalObj *ptr = (*top_ptr)->ori;
if (ptr)
{
if (hash.count(ptr))
*top_ptr = new ReprStr("#inf#");
else hash.insert(ptr);
}
}
else
{
hash.erase((*top_ptr)->ori);
*top_ptr = new ReprStr((*top_ptr)->repr);
}
}
else
{
top_ptr--;
obj = (*top_ptr)->next("");
if (obj)
{
*(++top_ptr) = obj->get_repr_cons();
EvalObj *ptr = (*top_ptr)->ori;
if (ptr)
{
if (hash.count(ptr))
*top_ptr = new ReprStr("#inf#");
else hash.insert(ptr);
}
}
else *top_ptr = new ReprStr((*top_ptr)->repr);
}
top_ptr++;
}
string &res = (*repr_stack)->repr;
if (this->is_pair_obj())
res = "(" + res + ")";
return res;
}
|