public Io_url ReadIoUrl(String k) { Object rv = ReadOr(k, null); if (rv == Nil) ThrowNotFound(k); return parse ? Io_url_.new_any_((String) rv) : Io_url_.cast(rv); }
public Io_url ReadIoUrlOr(String k, Io_url or) { Object rv = ReadOr(k, or); if (rv == Nil) return or; return parse ? Io_url_.new_any_((String) rv) : Io_url_.cast(rv); }
public Db_mgr_fxt Init_fil(String url, String raw) { return Init_fil(Io_url_.new_fil_(url), raw); }