           *******************************************************
                            Listing of SPARK Text
                             Examiner GPL Edition

           *******************************************************


Line
      ----------------------------------------------------------------
      -- IRONSIDES - DNS SERVER
      --
      -- By: Martin C. Carlisle and Barry S. Fagin
      --     Department of Computer Science
      --     United States Air Force Academy
      --
      -- This is free software; you can redistribute it and/or 
      -- modify without restriction.  We do ask that you please keep
      -- the original author information, and clearly indicate if the
      -- software has been modified.
      --
      -- This software is distributed in the hope that it will be useful,
      -- but WITHOUT ANY WARRANTY; without even the implied warranty
      -- of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  
      ----------------------------------------------------------------
      
      with Gnat.Byte_Swapping;
           ^
---        Warning           :391: If the identifier Gnat represents a package 
           which contains a task or an interrupt handler then the 
           partition-level analysis performed by the Examiner will be 
           incomplete.  Such packages must be inherited as well as withed.

      package body DNS_Types is
      
      
         function Byte_Swap_US(U : Unsigned_Short) return Unsigned_Short is
            --# hide Byte_Swap_US
            Answer : Unsigned_Short;
         begin
            --
            Answer := U;
            Gnat.Byte_Swapping.Swap2(Answer'Address);
            return Answer;
         end Byte_Swap_US;

---        Warning           : 10: The body of subprogram Byte_Swap_US is hidden - 
           hidden text is ignored by the Examiner.

      
         ---------------
         -- Byte_Swap --
         ---------------
      
         procedure Byte_Swap (H : in out Header_Type) is
         begin
            H.MessageID := Byte_Swap_US(H.MessageID);
            H.QDCount := Byte_Swap_US(H.QDCount);
            H.ANCount := Byte_Swap_US(H.ANCount);
            H.NSCount := Byte_Swap_US(H.NSCount);
            H.ARCount := Byte_Swap_US(H.ARCount);
         end Byte_Swap;

+++        Flow analysis of subprogram Byte_Swap performed 
           (information-flow mode): no errors found.

      
      end DNS_Types;

Note: Flow analysis mode is automatic


--End of file--------------------------------------------------
