Function jsonFromSize

source/core/StarJsonExtra.cpp:17–21

}

Json jsonFromSize(size_t s) {
  if (s == NPos)
    return Json();
  return Json(s);
}

Vec2D jsonToVec2D(Json const& v) {
  if (v.type() != Json::Type::Array || v.size() != 2)