Function jsonToStringSet

source/core/StarJsonExtra.cpp:314–319

}

StringSet jsonToStringSet(Json const& v) {
  StringSet result;
  for (auto const& entry : v.iterateArray())
    result.add(entry.toString());
  return result;
}

Json jsonFromStringSet(StringSet const& v) {
  JsonArray result;