/*
 * Created by PyramIDE.
 * User: フランスのトトロ 
 * Date: 17/05/2015
 * Time: 01:27
 * © David RENÉ
 */

transmit tools/basis.anubis
transmit system/string.anubis

public define Maybe(String)
  day_name
  (
    Int day_num
  )=
  if      day_num = 1  then success("Mon")
  else if day_num = 2  then success("Tue")
  else if day_num = 3  then success("Wed")
  else if day_num = 4  then success("Thu")
  else if day_num = 5  then success("Fri")
  else if day_num = 6  then success("Sat")
  else if day_num = 7  then success("Sun")
  else                      failure
  .

public define Maybe(String)
  month_name
  (
    Int month_num
  )=
  if      month_num = 1  then success("Jan")
  else if month_num = 2  then success("Feb")
  else if month_num = 3  then success("Mar")
  else if month_num = 4  then success("Apr")
  else if month_num = 5  then success("May")
  else if month_num = 6  then success("Jun")
  else if month_num = 7  then success("Jul")
  else if month_num = 8  then success("Aug")
  else if month_num = 9  then success("Sep")
  else if month_num = 10 then success("Oct")
  else if month_num = 11 then success("Nov")
  else if month_num = 12 then success("Dec")
  else                        failure
  .
  
public define String
  str_utime_send_mail
  (
    UTime t
  ) =
  with date_send  = convert_time(t.seconds),
  if day_name(date_send.week_day) is
  {
    failure then "",
    success(the_day_name) then the_day_name + ", "
  }+
  date_send.day + " " + 
  if month_name(date_send.month) is
  {
    failure then to_decimal(date_send.month),
    success(the_month_name) then the_month_name
  }+ " " +
  date_send.year + " " + 
  zero_pad_n(2, date_send.hour) + ":" + zero_pad_n(2, date_send.minute) + ":" + zero_pad_n(2, date_send.second) 
  //+ " +0000"
  .

public define String
  get_rfc822_date_format
  =
  str_utime_send_mail(unow).