void test_visitors()
{
TestVisitor tv;
Loc loc;
Identifier *ident = Identifier::idPool("test");
IntegerExp *ie = IntegerExp::createi(loc, 42, Type::tint32);
ie->accept(&tv);
assert(tv.expr == true);
IdentifierExp *id = IdentifierExp::create (loc, ident);
id->accept(&tv);
assert(tv.idexpr == true);
Module *mod = Module::create("test", ident, 0, 0);
mod->accept(&tv);
assert(tv.package == true);
ExpStatement *es = ExpStatement::create(loc, ie);
es->accept(&tv);
assert(tv.stmt == true);
TypePointer *tp = TypePointer::create(Type::tvoid);
tp->accept(&tv);
assert(tv.type == true);
LinkDeclaration *ld = LinkDeclaration::create(LINKd, NULL);
ld->accept(&tv);
assert(tv.attrib == true);
ClassDeclaration *cd = ClassDeclaration::create(loc, Identifier::idPool("TypeInfo"), NULL, NULL, true);
cd->accept(&tv);
assert(tv.aggr = true);
AliasDeclaration *ad = AliasDeclaration::create(loc, ident, tp);
ad->accept(&tv);
assert(tv.decl == true);
cd = ClassDeclaration::create(loc, Identifier::idPool("TypeInfo_Pointer"), NULL, NULL, true);
TypeInfoPointerDeclaration *ti = TypeInfoPointerDeclaration::create(tp);
ti->accept(&tv);
assert(tv.typeinfo == true);
}
int main(int argc, char **argv) {
if (argc < 2) {
std::cerr << "USAGE: " << argv[0] << " <INPUT>\n";
std::cerr << " Annotates Bish file <INPUT> with inferred type information.\n";
return 1;
}
std::string path(argv[1]);
Parser p;
Module *m = p.parse(path);
std::stringstream s;
// Don't actually care about the output, just need the compile
// pipeline to run.
CodeGenerators::initialize();
CodeGenerators::CodeGeneratorConstructor cg_constructor =
CodeGenerators::get("bash");
assert(cg_constructor);
compile(m, cg_constructor(s));
TypeAnnotator annotate(std::cout);
m->accept(&annotate);
return 0;
}
