Mtk's Blog: [Java] 文字列がSQL ServerのDateTime型に適合するかチェックする

2014年6月14日土曜日

[Java] 文字列がSQL ServerのDateTime型に適合するかチェックする

How to validate the DateTime format
Javaには文字列が日付に適合するかを調べるDateFormatクラスがあります。
DateFormatクラスで日付に適合した文字列がSQL ServerのDateTime型に適合できないことがありました。

そこでJavaでSQL ServerのDateTime型の適合するかチェックする機能を作ってみました。

SQL ServerのDateTime型の仕様

・年月日のセパレーターはハイフン(-)
・時分秒のセパレーターはコロン(:)
・年は1753から9999まで
・最小単位は1ミリ秒

年月日のセパレーターはハイフンの他、スラッシュ (/)やピリオド (.) も可能ですが今回はハイフンのみ可とします。
また、扱える最大値は9999-12-31 23:59:59.997でこれを1ミリ秒でも超えると扱えませんが今回は無視します。
他にもSQL ServerのDateTimeに適合するケースは沢山ありますが今回は次の書式を可とします。

YYYY-MM-DD hh:mm:ss.n*
・YYYYは1753～9999の年を表す
・MMは01～12の月を表す
・DDは01～31の日を表す
・hhは00～23の時を表す
・mmは00～59の分を表す
・ssは00～59の秒を表す
・n*は0～999のミリ秒を表す(省略可)

サンプル

package jp.fujiu.DateTimeMatching;

import java.util.regex.Matcher;
import java.util.regex.Pattern;

public class TestDateTimeMatching {
 //日付パターンマッチ用の正規表現 YYYY-MM-DD hh:mm:ss(.n*)
 private static final String DATE_PATTERN
 = "^[0-9]{4}-[0-9]{1,2}-[0-9]{1,2}[ ]{1,}[0-9]{1,2}:[0-9]{1,2}:[0-9]{1,2}[.]{0,1}[0-9]{0,3}$";
 private static Pattern dateFormatPattern = Pattern.compile(DATE_PATTERN);
 
 //テスト用文字列
 private static final String[] TEST_VALUES ={
  "1753-1-1 0:0:0", //OK
  "1753-01-01 00:00:00", //OK
  "1753-01-01 00:00:00.", //OK
  "1753-01-01 00:00:00.000", //OK
  "1753-02-28 00:00:00.000", //OK
  "2000-02-29 00:00:00.000", //OK
  "9999-12-31 23:59:59", //OK
  "9999-12-31 23:59:59.", //OK
  "9999-12-31 23:59:59.997", //OK
  "9999-12-31     23:59:59.997", //OK
  
  "1753/1/1 0:0:0", //NG
  "1753.1.1 0:0:0", //NG
  "175311 000", //NG
  "-- ::.", //NG
  "1752-1-1 00:00:00", //NG
  "1753-02-29 00:00:00.000", //NG
  "2000-02-30 00:00:00.000", //NG
  "10000-1-1 00:00:00", //NG
  "2014-0-1 00:00:00", //NG
  "2014-13-1 00:00:00", //NG
  "2014-1-0 00:00:00", //NG
  "2014-1-32 00:00:00", //NG
  "2014-2-29 00:00:00", //NG
  "2014-3-32 00:00:00", //NG
  "2014-4-31 00:00:00", //NG
  "2014-5-32 00:00:00", //NG
  "2014-6-31 00:00:00", //NG
  "2014-7-32 00:00:00", //NG
  "2014-8-32 00:00:00", //NG
  "2014-9-31 00:00:00", //NG
  "2014-10-32 00:00:00", //NG
  "2014-11-31 00:00:00", //NG
  "2014-12-32 00:00:00", //NG
  "2014-6-3 000:00:00.000", //NG
  "2014-6-3 24:00:00.000", //NG
  "2014-6-3 00:000:00.000", //NG
  "2014-6-3 00:60:00.000", //NG
  "2014-6-3 00:00:000.000", //NG
  "2014-6-3 00:00:60.000", //NG
  "2014-6-3 00:00:00.0000", //NG
 };

 public static void main(String[] args) {
  for (String value : TEST_VALUES){
   if (isDateTimeFormat(value)){
    System.out.println(value + " is matched" );
   } else {
    System.out.println("! " + value + " is not matched" );
   }
  }
 }
 
 //書式が日付に適合するかチェック YYYY-MM-DD hh:mm:ss
 static boolean isDateTimeFormat(String source) {
  Matcher matcher = dateFormatPattern.matcher(source);
  if (matcher.find()) {
   String ymd[] = source.split("-");

   //年のチェック
   int y = Integer.parseInt(ymd[0]);
   if (y < 1753) {
    return false;
   }

   //月のチェック
   int m = Integer.parseInt(ymd[1]);
   if (m < 1 || m > 12) {
    return false;
   }

   //日のチェック
   int spacePotision = ymd[2].indexOf(" ");
   int d = Integer.parseInt(ymd[2].substring(0, spacePotision));
   if (d < 1) {
    return false;
   } else {
    if (m == 1 || m == 3 || m == 5 || m == 7 || m == 8 || m == 10 || m == 12) {
     if (d > 31) {
      return false;
     }
    } else if (m == 2) {
     if ((y % 4 == 0) && (y % 100 != 0) || (y % 400 == 0)) {
      if (d > 29) {
       return false;
      }
     } else {
      if (d > 28) {
       return false;
      }
     }
    } else if (m == 4 || m == 6 || m == 9 || m == 11) {
     if (d > 30) {
      return false;
     }
    }
   }

   //時分秒
   String[] hms = source.split(":");
   spacePotision = hms[0].indexOf(" ");
   int hh = Integer.parseInt(hms[0].substring(spacePotision + 1, hms[0].length()).trim());
   if (hh > 23) {
    return false;
   }

   int mi = Integer.parseInt(hms[1]);
   if (mi > 59) {
    return false;
   }

   int ss;
   int dotPosition = hms[2].indexOf(".");
   if (dotPosition == -1) {
    ss = Integer.parseInt(hms[2]);
   } else {
    ss = Integer.parseInt(hms[2].substring(0, dotPosition));
   }
   if (ss > 59) {
    return false;
   }
  } else {
   return false;
  }
  return true;
 }
}

なんだか汚いコードになってしまいました。

isDateTimeFormat(String source) メソッドの内容が日付型の適合をチェックする部分です。
staticなmainメソッドから呼ばれるため、isDateTimeFormatメソッドもstaticにしてます。非staticメソッドから呼び出す場合はstaticにする必要はありません。
日付として適合ならtrue、不適合ならfalseを返します。
はじめにパターンマッチで書式をチェックします。
書式がOKだったら各要素が日付として正しいかチェックします。

Mtk's Blog

新アプリケーション

2014年6月14日土曜日

[Java] 文字列がSQL ServerのDateTime型に適合するかチェックする

SQL ServerのDateTime型の仕様

サンプル

関連ブログ

0 件のコメント:

コメントを投稿