Function jsonToSize

source/core/StarJsonExtra.cpp:7–15

namespace Star {

size_t jsonToSize(Json const& v) {
  if (v.isNull())
    return NPos;

  if (!v.canConvert(Json::Type::Int))
    throw JsonException("Json not an int in jsonToSize");

  return v.toUInt();
}

Json jsonFromSize(size_t s) {
  if (s == NPos)