| 1 | -------------------------------------------------------------------------------- |
|---|---|
| 2 | -- FILE : cubedos-time_server-messages.ads |
| 3 | -- SUBJECT: Specification of a package for a time server module. |
| 4 | -- AUTHOR : (C) Copyright 2021 by Vermont Technical College |
| 5 | -- |
| 6 | -------------------------------------------------------------------------------- |
| 7 | pragma SPARK_Mode(On); |
| 8 | |
| 9 | with Ada.Real_Time; |
| 10 | with System; |
| 11 | with Message_Manager; |
| 12 | |
| 13 | package CubedOS.Time_Server.Messages |
| 14 | with |
| 15 | Abstract_State => |
| 16 | (Tick_Database with External), |
| 17 | Initializes => |
| 18 | (Message_Loop, Tick_Database) |
| 19 | is |
| 20 | |
| 21 | task Message_Loop |
| 22 | with |
| 23 | Global => (Input => Ada.Real_Time.Clock_Time, In_Out => (Tick_Database, Message_Manager.Mailboxes)) |
| 24 | is |
| 25 | -- pragma Storage_Size(4 * 1024); |
| 26 | pragma Priority(System.Default_Priority); |
| 27 | end Message_Loop; |
| 28 | |
| 29 | end CubedOS.Time_Server.Messages; |