FUNCTION valid_time

(* SCHEMA STRUCTURAL_FRAME_SCHEMA; *)


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; (* STEP Part 41 (unchanged in 2nd edition)  *)

Referenced By

Defintion valid_time is references by the following definitions:

Definition	Type
local_time	ENTITY

[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2023-03-25T00:11:39-04:00