FUNCTION valid_time

(* SCHEMA Ship_arrangement_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;

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
2012-03-27T17:16:37-04:00