FUNCTION valid_calendar_date

(* SCHEMA date_time_schema; *)

  FUNCTION valid_calendar_date (date : calendar_date):LOGICAL;
    CASE date.month_component OF 
      1:
        RETURN ({1 <= date.day_component <= 31});
      2:
        BEGIN
          IF (leap_year(date.year_component)) THEN
            RETURN ({1 <= date.day_component <= 29});
          ELSE
            RETURN ({1 <= date.day_component <= 28});
          END_IF;
        END;
      3:
        RETURN ({1 <= date.day_component <= 31});
      4:
        RETURN ({1 <= date.day_component <= 30});
      5:
        RETURN ({1 <= date.day_component <= 31});
      6:
        RETURN ({1 <= date.day_component <= 30});
      7:
        RETURN ({1 <= date.day_component <= 31});
      8:
        RETURN ({1 <= date.day_component <= 31});
      9:
        RETURN ({1 <= date.day_component <= 30});
      10:
        RETURN ({1 <= date.day_component <= 31});
      11:
        RETURN ({1 <= date.day_component <= 30});
      12:
        RETURN ({1 <= date.day_component <= 31});
    END_CASE;
    RETURN (FALSE);
  END_FUNCTION;

Referenced By

Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:13:58-04:00