------------------------------------------------------------------
-- Tokeneer ID Station Support Software
--
-- Copyright (2003) United States Government, as represented
-- by the Director, National Security Agency.All rights reserved.
--
-- This material was originally developed by Praxis High Integrity
-- Systems Ltd.under contract to the National Security Agency.
------------------------------------------------------------------
------------------------------------------------------------------
-- AlarmAPI
--
-- Implementation Notes:
-- None
--
------------------------------------------------------------------
with TcpIp;
with MsgProc;
with Ada.Strings.Fixed;
package body AlarmAPI
with SPARK_Mode => On
is
------------------------------------------------------------------
-- Activate
--
-- Implementation Notes:
-- Don't check whether alarm is activated or not.
--
------------------------------------------------------------------
procedure Activate
is
InMsg : TcpIp.MessageT;
OutMsg : constant TcpIp.MessageT :=
(Data =>
Ada.Strings.Fixed.Overwrite(Source => TcpIp.NullMsg.Data,
Position => 1,
New_Item => "alarm.activate()"),
Length => 16);
CommsIsOK : Boolean;
begin
TcpIp.SendAndReceive (IsAdmin => True,
Outgoing => OutMsg,
Incoming => InMsg,
Success => CommsIsOk);
end Activate;
------------------------------------------------------------------
-- Deactivate
--
-- Implementation Notes:
-- Don't check whether alarm is deactivated or not.
--
------------------------------------------------------------------
procedure Deactivate
is
InMsg : TcpIp.MessageT;
OutMsg : constant TcpIp.MessageT :=
(Data =>
Ada.Strings.Fixed.Overwrite(Source => TcpIp.NullMsg.Data,
Position => 1,
New_Item => "alarm.deactivate()"),
Length => 18);
CommsIsOK : Boolean;
begin
TcpIp.SendAndReceive (IsAdmin => True,
Outgoing => OutMsg,
Incoming => InMsg,
Success => CommsIsOk);
end Deactivate;
end AlarmAPI;