typedef std::map<std::string, unsigned> StringMap;
Dictionary dict;
- unsigned next_kwd_id;
+ unsigned next_kwd_id = 1;
StringMap strings;
- unsigned next_str_id;
- unsigned float_precision;
+ unsigned next_str_id = 1;
+ unsigned float_precision = 32;
public:
BinaryWriter(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);
void collect_keywords(const Statement &st);