public int ReadIntOr(String k, int or) { Object rv = ReadOr(k, or); if (rv == Nil) return or; return parse ? Int_.parse((String) rv) : Int_.cast(rv); }
public int ReadInt(String k) { Object rv = ReadOr(k, 0); if (rv == Nil) ThrowNotFound(k); return parse ? Int_.parse((String) rv) : Int_.cast(rv); }