8 Tex_stream::Tex_stream(String filename
)
10 os
= new ofstream(filename
);
12 error("can't open `" + filename
+"\'");
14 outputting_comment
=false;
20 *os
<< "% Creator: " << get_version();
21 *os
<< "% Automatically generated, at ";
24 //*os << "% from input file ..\n";
26 Tex_stream::~Tex_stream()
29 assert(nest_level
== 0);
32 // print string. don't forget indent.
34 Tex_stream::operator<<(String s
)
37 for (const char *cp
= s
; *cp
; cp
++) {
38 if (outputting_comment
) {
41 outputting_comment
=false;
49 outputting_comment
= true;
59 assert (nest_level
>= 0);
64 *os
<< String(' ', nest_level
);
75 /* *************************************************************** */