< prev index next >

modules/javafx.web/src/main/java/com/sun/webkit/network/DateParser.java

Print this page

        

*** 23,52 **** * questions. */ package com.sun.webkit.network; import java.text.ParseException; import java.util.Calendar; import java.util.Collections; import java.util.Date; import java.util.HashMap; import java.util.Locale; import java.util.Map; import java.util.TimeZone; - import java.util.logging.Level; - import java.util.logging.Logger; import java.util.regex.Matcher; import java.util.regex.Pattern; /** * An RFC 6265-compliant date parser. */ final class DateParser { ! private static final Logger logger = ! Logger.getLogger(DateParser.class.getName()); private static final Pattern DELIMITER_PATTERN = Pattern.compile( "[\\x09\\x20-\\x2F\\x3B-\\x40\\x5B-\\x60\\x7B-\\x7E]+"); private static final Pattern TIME_PATTERN = Pattern.compile( "(\\d{1,2}):(\\d{1,2}):(\\d{1,2})(?:[^\\d].*)*"); --- 23,53 ---- * questions. */ package com.sun.webkit.network; + import com.sun.javafx.logging.PlatformLogger; + import com.sun.javafx.logging.PlatformLogger.Level; + import java.text.ParseException; import java.util.Calendar; import java.util.Collections; import java.util.Date; import java.util.HashMap; import java.util.Locale; import java.util.Map; import java.util.TimeZone; import java.util.regex.Matcher; import java.util.regex.Pattern; /** * An RFC 6265-compliant date parser. */ final class DateParser { ! private static final PlatformLogger logger = ! PlatformLogger.getLogger(DateParser.class.getName()); private static final Pattern DELIMITER_PATTERN = Pattern.compile( "[\\x09\\x20-\\x2F\\x3B-\\x40\\x5B-\\x60\\x7B-\\x7E]+"); private static final Pattern TIME_PATTERN = Pattern.compile( "(\\d{1,2}):(\\d{1,2}):(\\d{1,2})(?:[^\\d].*)*");
*** 87,97 **** * @return the difference, measured in milliseconds, between the parsed * date and midnight, January 1, 1970 UTC * @throws ParseException if {@code date} cannot be parsed */ static long parse(String date) throws ParseException { ! logger.log(Level.FINEST, "date: [{0}]", date); Time time = null; Integer dayOfMonth = null; Integer month = null; Integer year = null; --- 88,98 ---- * @return the difference, measured in milliseconds, between the parsed * date and midnight, January 1, 1970 UTC * @throws ParseException if {@code date} cannot be parsed */ static long parse(String date) throws ParseException { ! logger.finest("date: [{0}]", date); Time time = null; Integer dayOfMonth = null; Integer month = null; Integer year = null;
*** 154,165 **** time.hour, time.minute, time.second); try { long result = calendar.getTimeInMillis(); if (logger.isLoggable(Level.FINEST)) { ! logger.log(Level.FINEST, "result: [{0}]", ! new Date(result).toString()); } return result; } catch (Exception ex) { ParseException pe = new ParseException("Error parsing date", 0); pe.initCause(ex); --- 155,165 ---- time.hour, time.minute, time.second); try { long result = calendar.getTimeInMillis(); if (logger.isLoggable(Level.FINEST)) { ! logger.finest("result: [{0}]", new Date(result).toString()); } return result; } catch (Exception ex) { ParseException pe = new ParseException("Error parsing date", 0); pe.initCause(ex);
< prev index next >