// This code associates a number with each month.

Month {
  abstract double getMonth();
}

MonthInteger {
  double getMonth() {{
    return get_integer().doubleValue();
  }}
}

Jan {
  double getMonth() {{
    return 1.0;
  }}
}

Feb {
  double getMonth() {{
    return 2.0;
  }}
}

Mar {
  double getMonth() {{
    return 3.0;
  }}
}

Apr {
  double getMonth() {{
    return 4.0;
  }}
}

May {
  double getMonth() {{
    return 5.0;
  }}
}

Jun {
  double getMonth() {{
    return 6.0;
  }}
}

Jul {
  double getMonth() {{
    return 7.0;
  }}
}

Aug {
  double getMonth() {{
    return 8.0;
  }}
}

Sep {
  double getMonth() {{
    return 9.0;
  }}
}

Oct {
  double getMonth() {{
    return 10.0;
  }}
}

Nov {
  double getMonth() {{
    return 11.0;
  }}
}

Dec {
  double getMonth() {{
    return 12.0;
  }}
}