Navigation

valid_time

EXPRESS specification:

FUNCTION valid_time
(time: local_time) : BOOLEAN;
  IF EXISTS (time.second_component) THEN
  RETURN (EXISTS (time.minute_component));
  ELSE
  RETURN (TRUE);
  END_IF;
END_FUNCTION;