private:
void write_(const Statement &st);
void collect_keywords(const Statement &st);
- void write_int(long long n);
- void write_string(const std::string &s);
- void write_float(float f);
- void write_symbol(const Symbol &s);
+ void write_int(IntType::Store n);
+ void write_string(const StringType::Store &s);
+ void write_float(FloatType::Store f);
+ void write_symbol(const SymbolType::Store &s);
};
} // namespace DataFile