Ada95/src/terminal_interface-curses-forms-field_types-user.adb

   1 ------------------------------------------------------------------------------
   2 --                                                                          --
   3 --                           GNAT ncurses Binding                           --
   4 --                                                                          --
   5 --              Terminal_Interface.Curses.Forms.Field_Types.User            --
   6 --                                                                          --
   7 --                                 B O D Y                                  --
   8 --                                                                          --
   9 ------------------------------------------------------------------------------
  10 -- Copyright 2020 Thomas E. Dickey                                          --
  11 -- Copyright 1999-2011,2014 Free Software Foundation, Inc.                  --
  12 --                                                                          --
  13 -- Permission is hereby granted, free of charge, to any person obtaining a  --
  14 -- copy of this software and associated documentation files (the            --
  15 -- "Software"), to deal in the Software without restriction, including      --
  16 -- without limitation the rights to use, copy, modify, merge, publish,      --
  17 -- distribute, distribute with modifications, sublicense, and/or sell       --
  18 -- copies of the Software, and to permit persons to whom the Software is    --
  19 -- furnished to do so, subject to the following conditions:                 --
  20 --                                                                          --
  21 -- The above copyright notice and this permission notice shall be included  --
  22 -- in all copies or substantial portions of the Software.                   --
  23 --                                                                          --
  24 -- THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS  --
  25 -- OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF               --
  26 -- MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.   --
  27 -- IN NO EVENT SHALL THE ABOVE COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM,   --
  28 -- DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR    --
  29 -- OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR    --
  30 -- THE USE OR OTHER DEALINGS IN THE SOFTWARE.                               --
  31 --                                                                          --
  32 -- Except as contained in this notice, the name(s) of the above copyright   --
  33 -- holders shall not be used in advertising or otherwise to promote the     --
  34 -- sale, use or other dealings in this Software without prior written       --
  35 -- authorization.                                                           --
  36 ------------------------------------------------------------------------------
  37 --  Author:  Juergen Pfeifer, 1996
  38 --  Version Control:
  39 --  $Revision: 1.24 $
  40 --  $Date: 2020/02/02 23:34:34 $
  41 --  Binding Version 01.00
  42 ------------------------------------------------------------------------------
  43 with System.Address_To_Access_Conversions;
  44 with Terminal_Interface.Curses.Aux; use Terminal_Interface.Curses.Aux;
  45
  46 package body Terminal_Interface.Curses.Forms.Field_Types.User is
  47
  48    procedure Set_Field_Type (Fld : Field;
  49                              Typ : User_Defined_Field_Type)
  50    is
  51       function Allocate_Arg (T : User_Defined_Field_Type'Class)
  52                              return Argument_Access;
  53
  54       function Set_Fld_Type (F    : Field := Fld;
  55                              Cft  : C_Field_Type := C_Generic_Type;
  56                              Arg1 : Argument_Access)
  57                              return Eti_Error;
  58       pragma Import (C, Set_Fld_Type, "set_field_type_user");
  59
  60       function Allocate_Arg (T : User_Defined_Field_Type'Class)
  61                              return Argument_Access
  62       is
  63          Ptr : constant Field_Type_Access
  64              := new User_Defined_Field_Type'Class'(T);
  65       begin
  66          return new Argument'(Usr => System.Null_Address,
  67                               Typ => Ptr,
  68                               Cft => Null_Field_Type);
  69       end Allocate_Arg;
  70
  71    begin
  72       Eti_Exception (Set_Fld_Type (Arg1 => Allocate_Arg (Typ)));
  73    end Set_Field_Type;
  74
  75    package Argument_Conversions is
  76       new System.Address_To_Access_Conversions (Argument);
  77
  78    function Generic_Field_Check (Fld : Field;
  79                                  Usr : System.Address) return Curses_Bool
  80    is
  81       Result : Boolean;
  82       Udf    : constant User_Defined_Field_Type_Access :=
  83         User_Defined_Field_Type_Access
  84           (Argument_Access (Argument_Conversions.To_Pointer (Usr)).all.Typ);
  85    begin
  86       Result := Field_Check (Fld, Udf.all);
  87       return Curses_Bool (Boolean'Pos (Result));
  88    end Generic_Field_Check;
  89
  90    function Generic_Char_Check (Ch  : C_Int;
  91                                 Usr : System.Address) return Curses_Bool
  92    is
  93       Result : Boolean;
  94       Udf    : constant User_Defined_Field_Type_Access :=
  95         User_Defined_Field_Type_Access
  96           (Argument_Access (Argument_Conversions.To_Pointer (Usr)).all.Typ);
  97    begin
  98       Result := Character_Check (Character'Val (Ch), Udf.all);
  99       return Curses_Bool (Boolean'Pos (Result));
 100    end Generic_Char_Check;
 101
 102    --  -----------------------------------------------------------------------
 103    --
 104    function C_Generic_Type return C_Field_Type
 105    is
 106       Res : Eti_Error;
 107       T   : C_Field_Type;
 108    begin
 109       if M_Generic_Type = Null_Field_Type then
 110          T := New_Fieldtype (Generic_Field_Check'Access,
 111                              Generic_Char_Check'Access);
 112          if T = Null_Field_Type then
 113             raise Form_Exception;
 114          else
 115             Res := Set_Fieldtype_Arg (T,
 116                                       Make_Arg'Access,
 117                                       Copy_Arg'Access,
 118                                       Free_Arg'Access);
 119             Eti_Exception (Res);
 120          end if;
 121          M_Generic_Type := T;
 122       end if;
 123       pragma Assert (M_Generic_Type /= Null_Field_Type);
 124       return M_Generic_Type;
 125    end C_Generic_Type;
 126
 127 end Terminal_Interface.Curses.Forms.Field_Types.User;