public:
TextWriter(Output &o);
- virtual void set_float_precision(unsigned);
- virtual void write(const Statement &st);
+ void set_float_precision(unsigned) override;
+ void write(const Statement &st) override;
private:
void write_(const Statement &st, unsigned);
};