Use custom encoding for floats in binary format

[libs/datafile.git] / source / binarywriter.h

diff --git a/source/binarywriter.h b/source/binarywriter.h
index 4d18196663d377e9bdf992748a9021e0a845e902..2f67bbd24e43bad9403865a8488098ed82d703a9 100644 (file)
--- a/source/binarywriter.h
+++ b/source/binarywriter.h
@@ -15,17 +15,19 @@ Writes data in binary format.
 class BinaryWriter: public WriterMode
 {
 private:
-       typedef std::map<DictEntry, unsigned> Dictionary;
+       typedef std::map<DictEntry, int> Dictionary;
        typedef std::map<std::string, unsigned> StringMap;
 
        Dictionary dict;
        unsigned next_kwd_id;
        StringMap strings;
        unsigned next_str_id;
+       unsigned float_precision;
 
 public:
        BinaryWriter(IO::Base &o);
 
+       virtual void set_float_precision(unsigned);
        virtual void write(const Statement &st);
 private:
        void write_(const Statement &st);