Method OutputInit

src/SplatExtension.cpp:103–114

}

void
SplatExtension::OutputInit(std::ostream &out)
{
	out << "#ifdef __SPLAT__" << endl;
	out << "void __splat_instrumentedCode()" << endl;
	out << "#else" << endl;
	out << "int main(void)" << endl;
	out << "#endif" << endl;
	out << "{" << endl;
	AbsExtension::default_output_definitions(out, values_, true);
	output_symbolics(out);
}

void
SplatExtension::OutputFirstFunInvocation(std::ostream &out, FunctionInvocation *invoke)