46474849505152
/** Parse from string fomat "hh:mm:ss.FF" or raise ParseException */ public static HTime make(String s) { HVal val = new HZincReader(s).readScalar(); if (val instanceof HTime) return (HTime) val; throw new ParseException(s); }
3839404142434445
String lat = s.substring(2, comma); String lng = s.substring(comma + 1, s.length() - 1); return make(Double.parseDouble(lat), Double.parseDouble(lng)); } catch (Exception e) { throw new ParseException(s); } }
331332333334335336337338339340341
else { try { r = HDateTimeRange.make(range.toString(), tz); } catch (ParseException e) { throw new ParseException("Invalid date time range: " + range); } } // checking if (!r.start.tz.equals(tz))
36373839404142
/** Parse from string fomat "YYYY-MM-DD" or raise ParseException */ public static HDate make(String s) { HVal val = new HZincReader(s).readScalar(); if (val instanceof HDate) return (HDate) val; throw new ParseException(s); }
780781782783784785786
private ParseException err(Throwable ex) { return err(ex.toString(), ex); } private ParseException err(String msg, Throwable ex) { return new ParseException(msg + " [Line " + lineNum + "]", ex); }