Navigation

leap_year

EXPRESS specification:

FUNCTION leap_year
(year : year_number) : BOOLEAN;
 
  IF ((((year MOD 4) = 0) AND ((year MOD 100) <> 0)) OR
  ((year MOD 400) = 0)) THEN
  RETURN(TRUE);
  ELSE
  RETURN(FALSE);
  END_IF;
END_FUNCTION;