};
typedef std::map<std::string, Option> OptionMap;
+ typedef std::map<std::string, std::string> InputOptions;
private:
class Loader: public Msp::DataFile::ObjectLoader<Config>
SourcePackage &package;
OptionMap options;
+ InputOptions pending_options;
Msp::Time::TimeStamp mtime;
- bool freeze_mtime;
bool changed;
public:
/** Checks whether an option exists. */
bool is_option(const std::string &) const;
- /** Selects the last profile used. If the profile cache file is not
- present, the default profile is assumed. */
- void select_last_profile();
-
- /** Selects a profile. */
- void select_profile(const std::string &);
-
- /** Processes options from the given raw option map. Nonexistent options
- are ignored. If any options were changed, the mtime of the configuration is
- updated to the current time. Return value indicates whether any options
- were changed. */
- bool update(const StringMap &);
-
- /** Expands any variable references in options. */
- void finish();
-
void save() const;
-private:
bool set_option(const std::string &, const std::string &);
void load();
};