+private:
+ class SpecializationLoader: public DataFile::Loader
+ {
+ private:
+ std::map<std::string, int> &spec_values;
+
+ static ActionMap shared_actions;
+
+ public:
+ SpecializationLoader(std::map<std::string, int> &);
+
+ private:
+ virtual void init_actions();
+
+ void specialize_bool(const std::string &, bool);
+ void specialize_int(const std::string &, int);
+ };
+
+public: