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
|
/*****
* record.cc
* Tom Prince 2004/07/15
*
* The type for records and modules in the language.
*****/
#include "record.h"
#include "inst.h"
#include "runtime.h"
#include "coder.h"
namespace types {
record::record(symbol *name, frame *level)
: ty(ty_record),
name(name),
level(level),
init(new vm::lambda),
e()
{
assert(init);
#ifdef DEBUG_STACK
init->name = "struct "+string(*name);
#endif
}
record::~record()
{}
record *record::newRecord(symbol *id, bool statically)
{
frame *underlevel = getLevel(statically);
assert(underlevel);
frame *level = new frame(*id, underlevel, 0);
record *r = new record(id, level);
return r;
}
// Initialize to null by default.
trans::access *record::initializer() {
static trans::bltinAccess a(run::pushNullRecord);
return &a;
}
dummyRecord::dummyRecord(symbol *name)
: record(name, new frame(*name, 0,0))
{
// Encode the instructions to put an placeholder instance of the record
// on the stack.
trans::coder c(this, 0);
c.closeRecord();
}
dummyRecord::dummyRecord(string s)
: record (symbol::trans(s), new frame(s,0,0))
{
// Encode the instructions to put an placeholder instance of the record
// on the stack.
trans::coder c(this, 0);
c.closeRecord();
}
void dummyRecord::add(string name, ty *t, trans::access *a,
trans::permission perm) {
e.addVar(symbol::trans(name),
new trans::varEntry(t, a, perm, this, this, position()));
}
void dummyRecord::add(string name, function *t, vm::bltin f,
trans::permission perm) {
REGISTER_BLTIN(f, name);
add(name, t, new trans::bltinAccess(f), perm);
}
} // namespace types
|
