< 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 >