Datum überprüfen

[maik]

Möchte mit einer Methode ein Datum im String Format TT.MM.JJJJ überprüfen ob es ein Datum ist.
Als Rückgabe true or false.

Wie kann ich das schnell und effizent machen?

private boolean isDate(String datum)
{
????


}

thx

 

[Isaac]

Schreib dir ne regual expression "REGEX_DATE", das geht ja fix und dann einfach

strDateTime.matches(REGEX_DATE);

 

[maik]

regual expression ???:L

keine Ahnung was du damit meinst ???

 

[Isaac]

Z.B:


http://www.regular-expressions.info/dates.html

 

[bygones]

regex sind sog. regulare ausdrücke mit denen man strings auf gewisse kennzeichen hin testen kann:
mehr findest du hier http://java.sun.com/j2se/1.4.2/docs/api/java/util/regex/Pattern.html

 

[maik]

Hast du ein Beispiel wie ich das machen könnte. Etwas Code würde mir viel mehr weiterhelfen!
Vielleicht gibts da auch noch andere Möglichkeiten ???
Danke

 

[Isaac]

In dem von mir geposteten Link geht es doch darum wie eine regular expression aufgestellt wird um einem Datum in der Form yyyy-mm-dd von 1900-01-01 bis 2099-12-31 zu beschreiben. Sogar mit Erklärung. welcher Teil der regex wozu da ist.

 

[maik]

Da ich das mit der regual expression nicht verstehe, habe ich mir folgendes überlegt:

Das Datum im String Fromat TT.MM.JJJJ in ein Date Objekt umzuwandeln, wenn es klappt ist es ein Datum wenn nicht dann keins !

   try
   {
     java.util.Date d = new java.util.Date("12.04.2004");
   }
   catch(Exception e)
   {
     System.out.println(e);
   }

leider bekomme ich immer eine java.lang.IllegalArgumentException obwohl es ein Datum ist ??

Hat jemand einen Verbesserungsvorschlag !?

 

[bygones]

mit Date zu arbeiten ist nicht so gut, da die meisten Methoden deprecated sind...

ich wüsste momentan auch keine andere Lösung als regex, da mit den Formattern für Date es nicht zu lösen ist:

System.out.println(DateFormat.getDateInstance().parse("33.44.1979"));

liefert z.b. Thu Sep 02 00:00:00 CEST 1982 zurück....

 

[Jaraz]

Schaut mal ca. 10 Threads nach unten :roll:

 

[bygones]

Schaut mal ca. 10 Threads nach unten :roll:

Um genau zu sein: http://www.java-forum.org/de/viewtopic.php?t=5918

aber es besteht immer noch das Problem dass man damit nicht ein richtiges Datum erkennen kann - oder gibts da noch n Trick ?

 

[Isaac]

Du willst wissen ob TT.MM.JJJJ ein valides Datum ist. Jetzt musst du dich entscheiden ob du obskure daten erlaubst oder nicht. Also z.b. ist der 45 Tag des 15 Monats erlaubt? Ja oder Nein. Der Calendar frist das und setzt es in ein Datum um. So wird aus dem 13 Monat eben Januar. Ich persönlich erlaube solche Daten nicht da kein Mensch sowas genau umrechnet.


Willst du keine Beschränkungen ist eine regex der Form

/d/d[.]/d/d[.]/d/d/d/d

vollkommen ausreichend. Hier wird nur geschaut ob die Eingegebenen Werte dezimale Zahlen sind und von einem Punkt separiert werden. Nix dolles aber es tut.

Witziger wird es wenn du dem Nutzer Beschränkungen auf vernünftige daten auferlegen willst. Gibts es nur besimmte Jahrhunderte die valide sind? Für eine Kalkulationssoftware reicht sicher von 1800-2100. Für eine Ahnentafel reicht es nicht. Das muss man wissen.

/d/d/d/d

wir beschneiden also das Jahr nicht. alles von 0000 bis 9999 ist ein valides Jahr. Kommen wir zum Monat. Alle Monate haben maximal 31 Tage. Also werden nur Zahlen von 1 bis 31 als valider Monat erkannt.

(0[1-9]|[12][0-9]|3[01])

Was macht diese regex? die erste die 0 vorne ist erlaubt mit einer folgenden 1 oder 2 etc bis 9. Die 1 oder 2 vorne ist erlaubt mit einer folgenden 0-9 und die 3 ist nur mit einer folgenden 0 oder 1 erlaubt. Kommen wir zum Monat. Monate hats immer 12, fix. Naja mir ist kein Jahr mit mehr oder weniger Monaten bekannt.

(0[1-9]|1[012])

Same as above, die 0 ist erlaubt mit einer 1-9 zusammen also z.b. 07 03 etc. Die 1 ist erlaubt mit einer 0 1 und 2. Also 10 11 und 12. Fügen wir alle 3 zusammen...

(0[1-9]|[12][0-9]|3[01])[.](0[1-9]|1[012])[.]/d/d/d/d


Das wars. So schwer sind regular expressions nicht. Einziger Wermutstropfen ist, das auch der 31 Februar ein valides Datum ist. Aber damit, denke ich, kann man leben.

Im Programm sieht das dann so aus

private static final String REGEX_DATE = "(0[1-9]|[12][0-9]|3[01])[.](0[1-9]|1[012])[.]/d/d/d/d";

public boolean isDate(String s)
{
    return s.matches(REGEX_DATE);
}

Das wars

 

[Jaraz]

Schaut mal ca. 10 Threads nach unten :roll:

Um genau zu sein: http://www.java-forum.org/de/viewtopic.php?t=5918

aber es besteht immer noch das Problem dass man damit nicht ein richtiges Datum erkennen kann - oder gibts da noch n Trick ?

Musst du lesen! :wink:

dateFormat.setLenient (false);

Gruß Jaraz

 

[Jaraz]

Einziger Wermutstropfen ist, das auch der 31 Februar ein valides Datum ist. Aber damit, denke ich, kann man leben.

<übertreibung>Ja, klar, dann legt jemand die wichtige jährliche Wartung eines Atomreaktors aus versehen auf diese Datum. Ist ja nicht schlimm wenn die mal vergessen wird. :wink: </übertreibung>

 

[bygones]

Musst du lesen! :wink:

dateFormat.setLenient (false);

Uhi - das sollte ich echt mal tun :roll: thx

 

[Isaac]

Einziger Wermutstropfen ist, das auch der 31 Februar ein valides Datum ist. Aber damit, denke ich, kann man leben.

<übertreibung>Ja, klar, dann legt jemand die wichtige jährliche Wartung eines Atomreaktors aus versehen auf diese Datum. Ist ja nicht schlimm wenn die mal vergessen wird. :wink: </übertreibung>

Es kommt eben immer darauf an wie sicher man etwas wissen muss. Die selbe Argumentation zieht aber bei meinem allseits beliebten Beispiel auch

int i = (int)1./0.
System.out.println(i);

Ergibt:
2147483647


1 geteilt durch 0 ist also laut Java 2147483647


Man muss eben immer wissen wie genau man es braucht

 

[Illuvatar]

@Isaac *klugscheiß*
Das kommt aber vom Typcast, da wird Infinity in int gecastet.
-> 1/0 gibt ArithmeticException
1.f/0.f gibt Infinity
(int)(1.f/0.f) gibt Integer.MAX_VALUE :wink:

 

[gondor]

ich habe mal den anstaz genommen. doch kommt bei einem string wie: '09.03.2004' unter

final String REGEX_DATE = "(0[1-9]|[12][0-9]|3[01])[.](0[1-9]|1[012])[.]/d/d/d/d";

System.out.println(temp_StartDateFromHeader.matches(REGEX_DATE));

immer 'false' heraus, obwohl das format ja stimmen müsste.

kann hier noch mal jemand helfen?

gondor(..)

Du willst wissen ob TT.MM.JJJJ ein valides Datum ist. Jetzt musst du dich entscheiden ob du obskure daten erlaubst oder nicht. Also z.b. ist der 45 Tag des 15 Monats erlaubt? Ja oder Nein. Der Calendar frist das und setzt es in ein Datum um. So wird aus dem 13 Monat eben Januar. Ich persönlich erlaube solche Daten nicht da kein Mensch sowas genau umrechnet.


Willst du keine Beschränkungen ist eine regex der Form

/d/d[.]/d/d[.]/d/d/d/d

vollkommen ausreichend. Hier wird nur geschaut ob die Eingegebenen Werte dezimale Zahlen sind und von einem Punkt separiert werden. Nix dolles aber es tut.

Witziger wird es wenn du dem Nutzer Beschränkungen auf vernünftige daten auferlegen willst. Gibts es nur besimmte Jahrhunderte die valide sind? Für eine Kalkulationssoftware reicht sicher von 1800-2100. Für eine Ahnentafel reicht es nicht. Das muss man wissen.

/d/d/d/d

wir beschneiden also das Jahr nicht. alles von 0000 bis 9999 ist ein valides Jahr. Kommen wir zum Monat. Alle Monate haben maximal 31 Tage. Also werden nur Zahlen von 1 bis 31 als valider Monat erkannt.

(0[1-9]|[12][0-9]|3[01])

Was macht diese regex? die erste die 0 vorne ist erlaubt mit einer folgenden 1 oder 2 etc bis 9. Die 1 oder 2 vorne ist erlaubt mit einer folgenden 0-9 und die 3 ist nur mit einer folgenden 0 oder 1 erlaubt. Kommen wir zum Monat. Monate hats immer 12, fix. Naja mir ist kein Jahr mit mehr oder weniger Monaten bekannt.

(0[1-9]|1[012])

Same as above, die 0 ist erlaubt mit einer 1-9 zusammen also z.b. 07 03 etc. Die 1 ist erlaubt mit einer 0 1 und 2. Also 10 11 und 12. Fügen wir alle 3 zusammen...

(0[1-9]|[12][0-9]|3[01])[.](0[1-9]|1[012])[.]/d/d/d/d


Das wars. So schwer sind regular expressions nicht. Einziger Wermutstropfen ist, das auch der 31 Februar ein valides Datum ist. Aber damit, denke ich, kann man leben.

Im Programm sieht das dann so aus

private static final String REGEX_DATE = "(0[1-9]|[12][0-9]|3[01])[.](0[1-9]|1[012])[.]/d/d/d/d";

public boolean isDate(String s)
{
    return s.matches(REGEX_DATE);
}

Das wars

 

[gondor]

so ist es richtig:

private static final String REGEX_DATE = "(0[1-9]|[12][0-9]|3[01])[.](0[1-9]|1[012])[.]\\d\\d\\d\\d"; 

public boolean isDate(String s) 
{ 
    return s.matches(REGEX_DATE); 
}