optionmap.hh
Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022 #ifndef SPOT_MISC_OPTIONMAP_HH
00023 # define SPOT_MISC_OPTIONMAP_HH
00024
00025 #include <string>
00026 #include <map>
00027 #include <iosfwd>
00028
00029 namespace spot
00030 {
00034 class option_map
00035 {
00036 public:
00052 const char* parse_options(const char* options);
00053
00059 int get(const char* option, int def = 0) const;
00060
00065 int operator[](const char* option) const;
00066
00071 int set(const char* option, int val, int def = 0);
00072
00074 void set(const option_map& o);
00075
00077 int& operator[](const char* option);
00078
00080 friend std::ostream& operator<<(std::ostream& os, const option_map& m);
00081
00082 private:
00083 std::map<std::string, int> options_;
00084 };
00085 }
00086
00087 #endif // SPOT_MISC_OPTIONMAP_HH