libpcscada2-dev 0.7.1-4 / usr / share / ada / adainclude / pcscada / pcsc-scard-utils.adb

--
--  Copyright (c) 2008-2010,
--  Reto Buerki <reet@codelabs.ch>
--
--  This file is part of PCSC/Ada.
--
--  PCSC/Ada is free software; you can redistribute it and/or modify
--  it under the terms of the GNU Lesser General Public License as published
--  by the Free Software Foundation; either version 2.1 of the License, or
--  (at your option) any later version.
--
--  PCSC/Ada 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.  See the
--  GNU Lesser General Public License for more details.
--
--  You should have received a copy of the GNU Lesser General Public License
--  along with PCSC/Ada; if not, write to the Free Software
--  Foundation, Inc., 51 Franklin St, Fifth Floor, Boston,
--  MA  02110-1301  USA
--

with Ada.Text_IO;
with Ada.Strings.Unbounded;
with Ada.Strings.Fixed;

with Interfaces;

package body PCSC.SCard.Utils is

   -------------------------------------------------------------------------

   procedure Action_Info (Text : String) is
   begin
      Ada.Text_IO.Put (Item => Text);
      Ada.Text_IO.Set_Col (To => 28);
      Ada.Text_IO.Put (":");
   end Action_Info;

   -------------------------------------------------------------------------

   procedure Action_Result (Result : String) is
   begin
      Ada.Text_IO.Set_Col (To => 30);
      Ada.Text_IO.Put_Line (Item => Result);
   end Action_Result;

   -------------------------------------------------------------------------

   procedure For_Every_Reader
     (Readers : Reader_ID_Set;
      Call    : Callback)
   is
      Position : VOIDP.Cursor := Readers.Data.First;
      Reader   : Reader_ID;
   begin
      while VOIDP.Has_Element (Position) loop
         Reader := VOIDP.Element (Position);

         --  Perform action on specific reader.

         Call (Reader);
         VOIDP.Next (Position);
      end loop;
   end For_Every_Reader;

   -------------------------------------------------------------------------

   procedure Print_ReaderID (ID : Reader_ID) is
   begin
      Ada.Text_IO.Put_Line (To_String (ID));
   end Print_ReaderID;

   -------------------------------------------------------------------------

   function To_Hex_String
     (Given : Byte_Set := Null_Byte_Set;
      Len   : Positive)
      return String
   is
      use type Interfaces.Unsigned_8;

      Hex    : constant String            := "0123456789ABCDEF";

      Result : String (1 .. Len)          := (others => '0');
      Where  : Integer range Result'Range := Result'First;

      Temp   : Interfaces.Unsigned_8;

   begin
      if Given = Null_Byte_Set then
         return "0";
      end if;

      for Index in Given'Range loop
         Temp := Given (Index);
         for J in reverse 0 .. 2 - 1 loop
            Result (Where + J) := Hex (Integer (Temp and 16#F#) + 1);
            Temp := Interfaces.Shift_Right (Value  => Temp,
                                            Amount => 4);
         end loop;
         if Index /= Given'Last then
            exit when Where + 2 >= Result'Last;
            Where := Where + 2;
         end if;
      end loop;
      return Result;
   end To_Hex_String;

   -------------------------------------------------------------------------

   function To_Hex_String (Given : Byte_Set := Null_Byte_Set) return String
   is
   begin
      if Given = Null_Byte_Set then
         return "0";
      end if;

      return To_Hex_String (Given => Given,
                            Len   => 2 * Given'Length);
   end To_Hex_String;

   -------------------------------------------------------------------------

   function To_Hex_String
     (Given : Thin.Byte_Array := Thin.Null_Byte_Array;
      Len   : Positive)
      return String
   is
      use type Thin.Byte_Array;
   begin
      if Given = Thin.Null_Byte_Array then
         return "0";
      end if;

      return To_Hex_String (Given => Byte_Set (Given), Len => Len);
   end To_Hex_String;

   -------------------------------------------------------------------------

   function To_Hex_String (Given : ATR := Null_ATR) return String is
   begin
      if Given = Null_ATR then
         return "0";
      end if;

      return To_Hex_String (Given => Byte_Set (Given.Data),
                            Len   => 2 * Positive (Given.Size));
   end To_Hex_String;

   -------------------------------------------------------------------------

   function To_Long_Long_Integer
     (Given : Byte_Set := Null_Byte_Set)
      return Long_Long_Integer
   is
      use type Interfaces.Unsigned_64;

      Result, U : Interfaces.Unsigned_64 := 0;
   begin
      for Index in Given'Range loop
         U := Interfaces.Unsigned_64 (Given (Index));
         Result := Result or Interfaces.Shift_Left
           (Value  => U,
            Amount => (Index - 1) * 8);
      end loop;

      return Long_Long_Integer (Result);
   exception
      when Constraint_Error =>
         raise Bytes_Too_Big;
   end To_Long_Long_Integer;

   -------------------------------------------------------------------------

   function To_String
     (Reader : Reader_ID := Null_Reader_ID)
      return String
   is
   begin
      return Ada.Strings.Unbounded.To_String
        (Unbounded_String (Reader));
   end To_String;

   -------------------------------------------------------------------------

   function To_String (States : Card_States_Set) return String is
      Str_States : Unbounded_String;
      Position   : VOCSP.Cursor := States.Data.First;
      State      : Card_State;
   begin
      while VOCSP.Has_Element (Position) loop
         State := VOCSP.Element (Position);
         Str_States := Card_State'Image (State) & " " & Str_States;
         VOCSP.Next (Position);
      end loop;
      --  TODO: find a better solution here!
      return Ada.Strings.Fixed.Trim (Source => To_String (Str_States),
                                     Side   => Ada.Strings.Right);
   end To_String;

   -------------------------------------------------------------------------

   function To_String (States : Reader_States_Set) return String is
      Str_States : Unbounded_String;
      Position   : VORSP.Cursor := States.Data.First;
      State      : Reader_State;
   begin
      while VORSP.Has_Element (Position) loop
         State := VORSP.Element (Position);
         Str_States := Reader_State'Image (State) & " " & Str_States;
         VORSP.Next (Position);
      end loop;
      --  TODO: find a better solution here!
      return Ada.Strings.Fixed.Trim (Source => To_String (Str_States),
                                     Side   => Ada.Strings.Right);
   end To_String;

   -------------------------------------------------------------------------

   function To_String (Given : Byte_Set := Null_Byte_Set) return String is
   begin
      return To_String
        (Given => Given,
         Len   => Given'Last);
   end To_String;

   -------------------------------------------------------------------------

   function To_String
     (Given : Byte_Set := Null_Byte_Set;
      Len   : Natural)
      return String
   is
      Upper : Natural := Len;
   begin
      if Given = Null_Byte_Set then
         return "0";
      end if;

      if Len > Given'Last then
         Upper := Given'Last;
      end if;

      declare
         New_String : String (1 .. Upper);
      begin
         for Index in Given'First .. Upper loop
            New_String (Index) := Character'Val (Given (Index));
         end loop;

         return New_String;
      end;
   end To_String;

end PCSC.SCard.Utils;