30 : d_em(em), d_os(&cout), d_depth(em->printDepth()), d_currDepth(0),
31 d_lang(em->getOutputLang()),
32 d_indent(em->withIndentation()), d_col(em->indent()),
33 d_lineWidth(em->lineWidth()), d_indentReg(0), d_beginningOfLine(false),
34 d_dag(em->dagPrinting()), d_dagBuilt(false), d_idCounter(0),
100 if(((*i).first).isType())
113 "ExprStream::popIndent(): popped too much: "
134 "ExprStream::popDag: popping more than pushed");
187 return os << ss.str();
212 else pp->
print(os, e2);
253 int oldCol(os.
d_col);
255 os.
d_col += s.size();
264 os.
d_col += s.size();
274 return os << string(s);
281 return os << ss.str();
288 return os << ss.str();
358 string spaces(n,
' ');