//  Date Handling Utilities

/*  
    Date Handling Utilities to return date strings in long format, 
    optionally with time.
    
    smartDXL.com
*/

const string monthStrs[]    = { "Jan", "Feb", "Mar", "Apr", "May", "Jun", 
                                "Jul", "Aug", "Sep", "Oct", "Nov", "Dec" }

const string monthStrings[] = { "January", "February", "March",     "April",   "May",      "June", 
                                "July",    "August",   "September", "October", "November", "December" }

                                
Regexp hasDate = regexp "(([0-9]*)/([0-9]*)/([0-9]*))"
	
Regexp hasTime = regexp "(([0-9]*):([0-9]*):([0-9]*))"


/******************************************************************************
    getDateAndTimeString
    
    if incTime = TRUE, returns date and time in long format DD Month YYYY HH:MM	
    
    if incTime = FALSE, returns date in long format DD Month YYYY
******************************************************************************/
string getDateAndTimeString(Date d, bool incTime) 
{
    string dateAndTime = null
    string sTime       = null
    int    iDay        = 0
    int    iMonth      = 0
    int    iYear       = 0
    
    dateAndTime = (dateOf(intOf(d))) ""
    
    if (hasDate dateAndTime) 
    {
	    iDay   = intOf(dateAndTime[match 3])
	    iMonth = intOf(dateAndTime[match 2])
	    iYear  = intOf(dateAndTime[match 4])
	    
	    iYear += (iYear >= 50 ? 1900 : 2000)
    }
    else
    {
		return("")
    }
    
    if (hasTime dateAndTime)
    {
		sTime = dateAndTime[match 2] ":" dateAndTime[match 3]	    
    }
    
    return(iDay " " monthStrings[iMonth - 1] " " iYear (incTime ? " " sTime : ""))
}    
    

/******************************************************************************
	getDateAndTimeString
	
	Returns date in long format DD Month YYYY HH:MM
******************************************************************************/
string getDateAndTimeString(Date d)
{
	return(getDateAndTimeString(d, true))
}


/******************************************************************************
	getDateString
	
	Returns date in long format DD Month YYYY
******************************************************************************/
string getDateString(Date d)
{
	return(getDateAndTimeString(d, false))
}