FUNCTION valid_calendar_date

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

Referenced By

Defintion valid_calendar_date is references by the following definitions:
DefinitionType
 calendar_date ENTITY


[Top Level Definitions]

Generated by STEP ToolsTM EXPRESS to HTML Converter
on 2010-01-12T10:42:26-02:00