15 #include "savedContext.h" 26 output(ostream &out)
const {
27 out <<
"SavedContext " <<
this;
36 write(ostream &out,
int indent_level)
const {
37 indent(out, indent_level) << *
this <<
"\n";
TypeHandle is the identifier used to differentiate C++ class types.