FUNCTION valid_calendar_date
(* SCHEMA STRUCTURAL_FRAME_SCHEMA; *)
(* Modified for LPM/6 *)
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; (* STEP Part 41 2nd edition *)
Referenced By
Defintion valid_calendar_date is references by the following definitions:
[Top Level Definitions] [Exit]Generated by STEP Tools® EXPRESS to HTML Converter
2023-03-25T00:11:39-04:00