Use properties for settings and save in json

common/nextpnr.h

@@ -541,7 +541,7 @@ struct BaseCtx
     mutable std::vector<const std::string *> *idstring_idx_to_str;
 
     // Project settings and config switches
-    std::unordered_map<IdString, std::string> settings;
+    std::unordered_map<IdString, Property> settings;
 
     // Placed nets and cells.
     std::unordered_map<IdString, std::unique_ptr<NetInfo>> nets;

common/project.cc

@@ -74,7 +74,7 @@ void ProjectHandler::save(Context *ctx, std::string filename)
             std::string path = "project.settings.";
             path += item.first.c_str(ctx);
             std::replace(path.begin(), path.end(), '/', '.');
-            root.put(path, item.second);
+            root.put(path, item.second.str);
         }
         pt::write_json(f, root);
     } catch (...) {
@@ -88,7 +88,9 @@ void addSettings(Context *ctx, std::string path, pt::ptree sub)
         const std::string &key = v.first;
         const boost::property_tree::ptree &subtree = v.second;
         if (subtree.empty()) {
-            ctx->settings.emplace(ctx->id(path + key), subtree.get_value<std::string>().c_str());
+            Property p;
+            p.setString(subtree.get_value<std::string>().c_str());
+            ctx->settings.emplace(ctx->id(path + key), p);
         } else {
             addSettings(ctx, path + key + "/", subtree);
         }

common/settings.h

@@ -34,10 +34,10 @@ class Settings
     {
         try {
             IdString id = ctx->id(name);
-            auto pair = ctx->settings.emplace(id, std::to_string(defaultValue));
+            if (ctx->settings.find(id) != ctx->settings.end())
-            if (!pair.second) {
+                return boost::lexical_cast<T>(ctx->settings.find(id)->second.str);
-                return boost::lexical_cast<T>(pair.first->second);
+            else
-            }
+                ctx->settings[ctx->id(name)] = std::to_string(defaultValue);
 
         } catch (boost::bad_lexical_cast &) {
             log_error("Problem reading setting %s, using default value\n", name);
@@ -53,20 +53,12 @@ class Settings
 
 template <typename T> inline void Settings::set(const char *name, T value)
 {
-    IdString id = ctx->id(name);
+    ctx->settings[ctx->id(name)] = std::to_string(value);
-    auto pair = ctx->settings.emplace(id, std::to_string(value));
-    if (!pair.second) {
-        ctx->settings[pair.first->first] = value;
-    }
 }
 
 template <> inline void Settings::set<std::string>(const char *name, std::string value)
 {
-    IdString id = ctx->id(name);
+    ctx->settings[ctx->id(name)] = value;
-    auto pair = ctx->settings.emplace(id, value);
-    if (!pair.second) {
-        ctx->settings[pair.first->first] = value;
-    }
 }
 
 NEXTPNR_NAMESPACE_END

ecp5/lpf.cc

@@ -133,7 +133,7 @@ bool Arch::applyLPF(std::string filename, std::istream &in)
         }
         if (!isempty(linebuf))
             log_error("unexpected end of LPF file\n");
-        settings.emplace(id("input/lpf"), filename);
+        settings[id("input/lpf")] = filename;
         return true;
     } catch (log_execution_error_exception) {
         return false;

ice40/pcf.cc

@@ -116,7 +116,7 @@ bool apply_pcf(Context *ctx, std::string filename, std::istream &in)
                 }
             }
         }
-        ctx->settings.emplace(ctx->id("input/pcf"), filename);
+        ctx->settings[ctx->id("input/pcf")] = filename;
         return true;
     } catch (log_execution_error_exception) {
         return false;

json/jsonparse.cc

@@ -907,7 +907,7 @@ bool parse_json_file(std::istream &f, std::string &filename, Context *ctx)
 
         log_info("Checksum: 0x%08x\n", ctx->checksum());
         log_break();
-        ctx->settings.emplace(ctx->id("input/json"), filename);
+        ctx->settings[ctx->id("input/json")] = filename;
         ctx->attributesToArchInfo();
         return true;
     } catch (log_execution_error_exception) {

json/jsonwrite.cc

@@ -69,10 +69,9 @@ void write_module(std::ostream &f, Context *ctx)
         f << stringf("    %s: {\n", get_string(val->second.str).c_str());
     else
         f << stringf("    %s: {\n", get_string("top").c_str());
-    // TODO: check if this is better to be separate
+    f << stringf("      \"settings\": {");
-    /*f << stringf("      \"settings\": {");
     write_parameters(f, ctx, ctx->settings, true);
-    f << stringf("\n      },\n");*/
+    f << stringf("\n      },\n");
     f << stringf("      \"attributes\": {");
     write_parameters(f, ctx, ctx->attrs, true);
     f << stringf("\n      },\n");