static void set_print_options(std::ostream & s, unsigned options)
{
print_context *p = get_print_context(s);
- if (p == 0)
+ if (p == nullptr)
set_print_context(s, print_dflt(s, options));
else
p->options = options;
std::ostream & operator<<(std::ostream & os, const ex & e)
{
print_context *p = get_print_context(os);
- if (p == 0)
+ if (p == nullptr)
e.print(print_dflt(os));
else
e.print(*p);
os << "[";
while (true) {
- if (p == 0)
+ if (p == nullptr)
i -> print(print_dflt(os));
else
i -> print(*p);
os << "<";
while (true) {
- if (p == 0)
+ if (p == nullptr)
i->print(print_dflt(os));
else
i->print(*p);
os << "{";
while (true) {
- if (p == 0)
+ if (p == nullptr)
i->first.print(print_dflt(os));
else
i->first.print(*p);
os << "==";
- if (p == 0)
+ if (p == nullptr)
i->second.print(print_dflt(os));
else
i->second.print(*p);