void
SplatExtension::output_symbolics(ostream &out)
{
std::vector<ExtensionValue*>::iterator i;
out << "#ifdef __SPLAT__" << endl;
for (i = values_.begin(); i != values_.end(); ++i) {
assert(*i);
out << AbsExtension::tab_;
int bits = (*i)->get_type()->SizeInBytes() * 8;
out << "setInput(&" << (*i)->get_name() << ", " << bits << ", ";
Constant *value = (*i)->get_value();
assert(value);
value->Output(out);
out << ");" << endl;
}
out << "#endif" << endl << endl;
}
