using trans::frame;
using trans::protoenv;
using trans::varEntry;
using trans::tyEntry;
namespace types {
class record : public ty {
// The base name of this type.
symbol name;
// The frame. Like a frame for a function, it allocates the accesses
// for fields and specifies the size of the record.
frame *level;
// The runtime representation of the record used by the virtual machine.
vm::lambda *init;
public:
// The name bindings for fields of the record.
protoenv e;
// These are name bindings that should be added to the enclosing environment
// after translation of the record is completed. Constructors implicitly
// defined by "operator init" are stored here.
protoenv postdefenv;
record(symbol name, frame *level);
~record();
symbol getName()
{
return name;
}
symbol getTemplateIndex() {
return getName(); // May change in the future.
}
bool isReference() {
return true;
}
size_t hash() const {
// Use the pointer, as two records are equivalent only if they are the
// same object.
return (size_t)this;
}
// Initialize to null by default.
trans::access *initializer();
frame *getLevel(bool statically = false)
{
if (statically) {
frame *f=level->getParent();
return f ? f : level;
}
else
return level;
}
vm::lambda *getInit()
{
return init;
}
// Allocates a new dynamic field in the record.
trans::access *allocField(bool statically)
{
frame *underlevel = getLevel(statically);
assert(underlevel);
return underlevel->allocLocal();
}
// Create a statically enclosed record from this record.
record *newRecord(symbol id, bool statically);
void print(ostream& out) const
{
out << name;
}
void debug(ostream& out) const
{
out << "struct " << name << endl;
out << "types:" << endl;
out << "re-implement" << endl;
//out << te;
out << "fields: " << endl;
out << "re-implement" << endl;
//out << ve;
}
};
// A record that is being used just for its fields and types, and has no real
// initializer. This is for modules such as settings that are built into the
// language.
class dummyRecord : public record {
public:
dummyRecord(symbol name);
dummyRecord(string s);
// Convenient functions for adding fields.
void add(string name, ty *t, trans::access *a,
trans::permission perm=trans::PUBLIC);
void add(string name, function *t, vm::bltin f,
trans::permission perm=trans::PUBLIC);
};
