aboutsummaryrefslogtreecommitdiffstats
path: root/kernel
diff options
context:
space:
mode:
authorJannis Harder <me@jix.one>2022-12-23 17:22:24 +0100
committerJannis Harder <me@jix.one>2023-01-11 18:07:16 +0100
commit3e25e61778cc9fe427bf68f45de43f26985b12c3 (patch)
tree29215ec1d1788c0a3c950fd9fd25cbb3b648d5cd /kernel
parent29461ade177eb3dfb2ba5714c4a6bf365b09a24e (diff)
downloadyosys-3e25e61778cc9fe427bf68f45de43f26985b12c3.tar.gz
yosys-3e25e61778cc9fe427bf68f45de43f26985b12c3.tar.bz2
yosys-3e25e61778cc9fe427bf68f45de43f26985b12c3.zip
aiger: Use new JSON code for writing aiger witness map files
Diffstat (limited to 'kernel')
-rw-r--r--kernel/json.cc43
-rw-r--r--kernel/json.h10
2 files changed, 47 insertions, 6 deletions
diff --git a/kernel/json.cc b/kernel/json.cc
index 6ea873329..59f782e5e 100644
--- a/kernel/json.cc
+++ b/kernel/json.cc
@@ -23,13 +23,38 @@ USING_YOSYS_NAMESPACE
void PrettyJson::emit_to_log()
{
- targets.push_back([](const char *raw_json) { log("%s", raw_json); });
+ struct LogTarget : public Target {
+ void emit(const char *data) override { log("%s", data); }
+ };
+
+ targets.push_back(std::unique_ptr<Target>(new LogTarget));
}
void PrettyJson::append_to_string(std::string &target)
{
- std::string *target_p = &target;
- targets.push_back([=](const char *raw_json) { *target_p += raw_json; });
+ struct AppendStringTarget : public Target {
+ std::string &target;
+ AppendStringTarget(std::string &target) : target(target) {}
+ void emit(const char *data) override { target += data; }
+ };
+
+ targets.push_back(std::unique_ptr<Target>(new AppendStringTarget(target)));
+}
+
+bool PrettyJson::write_to_file(const std::string &path)
+{
+ struct WriteFileTarget : public Target {
+ std::ofstream target;
+ void emit(const char *data) override { target << data; }
+ void flush() override { target.flush(); }
+ };
+
+ auto target = std::unique_ptr<WriteFileTarget>(new WriteFileTarget);
+ target->target.open(path);
+ if (target->target.fail())
+ return false;
+ targets.push_back(std::unique_ptr<Target>(target.release()));
+ return true;
}
void PrettyJson::line()
@@ -42,7 +67,13 @@ void PrettyJson::line()
void PrettyJson::raw(const char *raw_json)
{
for (auto &target : targets)
- target(raw_json);
+ target->emit(raw_json);
+}
+
+void PrettyJson::flush()
+{
+ for (auto &target : targets)
+ target->flush();
}
void PrettyJson::begin_object()
@@ -110,8 +141,10 @@ void PrettyJson::begin_value()
void PrettyJson::end_value()
{
- if (state.empty())
+ if (state.empty()) {
raw("\n");
+ flush();
+ }
}
void PrettyJson::value_json(const Json &value)
diff --git a/kernel/json.h b/kernel/json.h
index 3ba355327..ae86b3aa6 100644
--- a/kernel/json.h
+++ b/kernel/json.h
@@ -38,18 +38,26 @@ class PrettyJson
ARRAY,
};
+ struct Target {
+ virtual void emit(const char *data) = 0;
+ virtual void flush() {};
+ virtual ~Target() {};
+ };
+
std::string newline_indent = "\n";
- std::vector<std::function<void(const char *)>> targets;
+ std::vector<std::unique_ptr<Target>> targets;
std::vector<Scope> state = {VALUE};
public:
void emit_to_log();
void append_to_string(std::string &target);
+ bool write_to_file(const std::string &path);
bool active() { return !targets.empty(); }
void line();
void raw(const char *raw_json);
+ void flush();
void begin_object();
void begin_array();
void end_object();