UPMT-master/java/upmt/src/org/zoolu/tools/DateFormat.java
/*
 * Copyright (C) 2005 Luca Veltri - University of Parma - Italy
 * 
 * This file is part of MjSip (http://www.mjsip.org)
 * 
 * MjSip is free software; you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation; either version 2 of the License, or
 * (at your option) any later version.
 * 
 * MjSip is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 * 
 * You should have received a copy of the GNU General Public License
 * along with MjSip; if not, write to the Free Software
 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 * 
 * Author(s):
 * Luca Veltri (luca.veltri@unipr.it)
 */

package org.zoolu.tools;


import java.util.Calendar;
import java.util.Date;


/** Class DateFormat can be used to properly format Date information.
  * It substantially replaces method format() of class java.text.DateFormat.  
  */
public class DateFormat
{

   /** Months */
   private static final String[] MONTHS={ "Jan", "Feb", "Mar", "Apr", "May", "Jun", "Jul", "Aug", "Sep", "Oct", "Nov", "Dec" };


   /** Days of the week */
   private static final  String[] WEEKDAYS={ "Sun", "Mon", "Tue", "Wed", "Thu", "Fri", "Sat" };


   /** Gets a "HH:mm:ss.SSS EEE dd MMM yyyy" representation of a Date */
   public static String formatHHMMSS(Date date)
   {  //DateFormat df=new SimpleDateFormat("HH:mm:ss.SSS EEE dd MMM yyyy",Locale.US);
      //return df.format(date);
      /*
      String str=date.toString(); // dow mon dd hh:mm:ss zzz yyyy
      int len=str.length();
      String weekday=str.substring(0,3);
      String month=str.substring(4,7);
      String day=str.substring(8,10);
      String time=str.substring(11,19);
      String millisec=Integer.toString((int)(date.getTime()%1000));
      if (millisec.length()==1) millisec="00"+millisec;
      else if (millisec.length()==2) millisec="0"+millisec;
      String year=str.substring(len-4,len);
      
      return time+"."+millisec+" "+weekday+" "+day+" "+month+" "+year;
      */
      Calendar cal=Calendar.getInstance();
      cal.setTime(date);      
      String weekday=WEEKDAYS[cal.get(Calendar.DAY_OF_WEEK)-1];
      String month=MONTHS[cal.get(Calendar.MONTH)];
      String year=Integer.toString(cal.get(Calendar.YEAR));
      String day=Integer.toString(cal.get(Calendar.DAY_OF_MONTH));
      String hour=Integer.toString(cal.get(Calendar.HOUR_OF_DAY));
      String min=Integer.toString(cal.get(Calendar.MINUTE));
      String sec=Integer.toString(cal.get(Calendar.SECOND));
      String millisec=Integer.toString(cal.get(Calendar.MILLISECOND));
      if (day.length()==1) day="0"+day;
      if (hour.length()==1) hour="0"+hour;
      if (min.length()==1) min="0"+min;
      if (sec.length()==1) sec="0"+sec;
      if (millisec.length()==1) millisec="00"+millisec;
      else if (millisec.length()==2) millisec="0"+millisec;
      
      return hour+":"+min+":"+sec+"."+millisec+" "+weekday+" "+day+" "+month+" "+year;
   }

   
   /** Gets a "yyyy MMM dd, HH:mm:ss.SSS" representation of a Date */
   public static String formatYYYYMMDD(Date date)
   {  Calendar cal=Calendar.getInstance();
      cal.setTime(date);      
      String weekday=WEEKDAYS[cal.get(Calendar.DAY_OF_WEEK)-1];
      //String month=MONTHS[cal.get(Calendar.MONTH)];
      String year=Integer.toString(cal.get(Calendar.YEAR));
      String day=Integer.toString(cal.get(Calendar.DAY_OF_MONTH));
      String hour=Integer.toString(cal.get(Calendar.HOUR_OF_DAY));
      String min=Integer.toString(cal.get(Calendar.MINUTE));
      String sec=Integer.toString(cal.get(Calendar.SECOND));
      String millisec=Integer.toString(cal.get(Calendar.MILLISECOND));
      if (day.length()==1) day="0"+day;
      if (hour.length()==1) hour="0"+hour;
      if (min.length()==1) min="0"+min;
      if (sec.length()==1) sec="0"+sec;
      if (millisec.length()==1) millisec="00"+millisec;
      else if (millisec.length()==2) millisec="0"+millisec;
 
      String month=Integer.toString(cal.get(Calendar.MONTH)+1);
      if (month.length()==1) month="0"+month;
      
      return year+"-"+month+"-"+day+" "+hour+":"+min+":"+sec+"."+millisec;
   }


   /** Gets a "EEE, dd MMM yyyy hh:mm:ss 'GMT'" representation of a Date */
   public static String formatEEEddMMM(Date date)
   {  //DateFormat df=new SimpleDateFormat("EEE, dd MMM yyyy hh:mm:ss 'GMT'",Locale.US);
      //return df.format(date);
      /*
      String str=date.toString(); // dow mon dd hh:mm:ss zzz yyyy
      int len=str.length();
      String weekday=str.substring(0,3);
      String month=str.substring(4,7);
      String day=str.substring(8,10);
      String time=str.substring(11,19);
      String year=str.substring(len-4,len);
      return weekday+", "+day+" "+month+" "+year+" "+time+" GMT";
      */
      Calendar cal=Calendar.getInstance();
      cal.setTime(date);      
      String weekday=WEEKDAYS[cal.get(Calendar.DAY_OF_WEEK)-1];
      String month=MONTHS[cal.get(Calendar.MONTH)];
      String year=Integer.toString(cal.get(Calendar.YEAR));
      String day=Integer.toString(cal.get(Calendar.DAY_OF_MONTH));
      String hour=Integer.toString(cal.get(Calendar.HOUR_OF_DAY));
      String min=Integer.toString(cal.get(Calendar.MINUTE));
      String sec=Integer.toString(cal.get(Calendar.SECOND));
      if (day.length()==1) day="0"+day;
      if (hour.length()==1) hour="0"+hour;
      if (min.length()==1) min="0"+min;
      if (sec.length()==1) sec="0"+sec;
      
      return weekday+", "+day+" "+month+" "+year+" "+hour+":"+min+":"+sec+" GMT";
   }


   /** Parses a String for a "EEE, dd MMM yyyy hh:mm:ss 'GMT'" formatted Date */
   public static Date parseEEEddMMM(String str, int index)
   {  //DateFormat df=new SimpleDateFormat("EEE, dd MMM yyyy hh:mm:ss 'GMT'",Locale.US);
      //return df.format(date);
      Calendar cal=Calendar.getInstance();
      char[] delim={ ' ', ',', ':' };
      Parser par=new Parser(str,index);
      String EEE=par.getString(); // day of the week
      int day=par.getInt(); // day of the month
      String MMM=par.getString(); // month
      int month=0;
      for (; month<12; month++) if (MMM.equalsIgnoreCase(MONTHS[month])) break;
      if (month==12) return null; // ERROR..
      // else
      int year=par.getInt();
      int hour=Integer.parseInt(par.getWord(delim));
      int min=Integer.parseInt(par.getWord(delim));
      int sec=Integer.parseInt(par.getWord(delim));
      
      cal.set(Calendar.YEAR,year);
      cal.set(Calendar.MONTH,month);
      cal.set(Calendar.DAY_OF_MONTH,day);
      cal.set(Calendar.HOUR_OF_DAY,hour);
      cal.set(Calendar.MINUTE,min);
      cal.set(Calendar.SECOND,sec);

      return cal.getTime();
   }
}
