6 Tex_stream::Tex_stream(String filename
)
9 os
= new ofstream(filename
);
11 error("can't open " + filename
);
13 outputting_comment
=false;
16 Tex_stream::~Tex_stream()
18 assert(nest_level
== 0);
22 // print string. don't forget indent.
24 Tex_stream::operator<<(String s
)
26 for (const char *cp
= s
; *cp
; cp
++) {
27 if (outputting_comment
) {
30 outputting_comment
=false;
38 outputting_comment
= true;
48 assert (nest_level
>= 0);
53 *os
<< String(' ', nest_level
);
64 /****************************************************************/