4cca2a4dd42b0a0e8a5bc25a4114163d3daccdb6
[ncurses.git] / terminal_interface-curses-forms-field_types-user.ads
1 ------------------------------------------------------------------------------
2 --                                                                          --
3 --                           GNAT ncurses Binding                           --
4 --                                                                          --
5 --               Terminal_Interface.Curses.Forms.Field_Types.User           --
6 --                                                                          --
7 --                                 S P E C                                  --
8 --                                                                          --
9 ------------------------------------------------------------------------------
10 -- Copyright (c) 1998 Free Software Foundation, Inc.                        --
11 --                                                                          --
12 -- Permission is hereby granted, free of charge, to any person obtaining a  --
13 -- copy of this software and associated documentation files (the            --
14 -- "Software"), to deal in the Software without restriction, including      --
15 -- without limitation the rights to use, copy, modify, merge, publish,      --
16 -- distribute, distribute with modifications, sublicense, and/or sell       --
17 -- copies of the Software, and to permit persons to whom the Software is    --
18 -- furnished to do so, subject to the following conditions:                 --
19 --                                                                          --
20 -- The above copyright notice and this permission notice shall be included  --
21 -- in all copies or substantial portions of the Software.                   --
22 --                                                                          --
23 -- THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS  --
24 -- OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF               --
25 -- MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.   --
26 -- IN NO EVENT SHALL THE ABOVE COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM,   --
27 -- DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR    --
28 -- OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR    --
29 -- THE USE OR OTHER DEALINGS IN THE SOFTWARE.                               --
30 --                                                                          --
31 -- Except as contained in this notice, the name(s) of the above copyright   --
32 -- holders shall not be used in advertising or otherwise to promote the     --
33 -- sale, use or other dealings in this Software without prior written       --
34 -- authorization.                                                           --
35 ------------------------------------------------------------------------------
36 --  Author:  Juergen Pfeifer, 1996
37 --  Contact: http://www.familiepfeifer.de/Contact.aspx?Lang=en
38 --  Version Control:
39 --  $Revision: 1.10 $
40 --  Binding Version 01.00
41 ------------------------------------------------------------------------------
42 with Interfaces.C;
43
44 package Terminal_Interface.Curses.Forms.Field_Types.User is
45    pragma Preelaborate (Terminal_Interface.Curses.Forms.Field_Types.User);
46    use type Interfaces.C.int;
47    subtype C_Int is Interfaces.C.int;
48
49    type User_Defined_Field_Type is abstract new Field_Type with null record;
50    --  This is the root of the mechanism we use to create field types in
51    --  Ada95. You should your own type derive from this one and implement
52    --  the Field_Check and Character_Check functions for your own type.
53
54    type User_Defined_Field_Type_Access is access all
55      User_Defined_Field_Type'Class;
56
57    function Field_Check
58      (Fld : Field;
59       Typ : User_Defined_Field_Type) return Boolean
60       is abstract;
61    --  If True is returned, the field is considered valid, otherwise it is
62    --  invalid.
63
64    function Character_Check
65      (Ch  : Character;
66       Typ : User_Defined_Field_Type) return Boolean
67       is abstract;
68    --  If True is returned, the character is considered as valid for the
69    --  field, otherwise as invalid.
70
71    procedure Set_Field_Type (Fld : in Field;
72                              Typ : in User_Defined_Field_Type);
73    --  This should work for all types derived from User_Defined_Field_Type.
74    --  No need to reimplement it for your derived type.
75
76    --  +----------------------------------------------------------------------
77    --  | Private Part.
78    --  | Used by the Choice child package.
79 private
80    use type Interfaces.C.int;
81
82    function C_Generic_Type   return C_Field_Type;
83
84    function Generic_Field_Check (Fld : Field;
85                                  Usr : System.Address) return C_Int;
86    pragma Convention (C, Generic_Field_Check);
87    --  This is the generic Field_Check_Function for the low-level fieldtype
88    --  representing all the User_Defined_Field_Type derivates. It routes
89    --  the call to the Field_Check implementation for the type.
90
91    function Generic_Char_Check (Ch  : C_Int;
92                                 Usr : System.Address) return C_Int;
93    pragma Convention (C, Generic_Char_Check);
94    --  This is the generic Char_Check_Function for the low-level fieldtype
95    --  representing all the User_Defined_Field_Type derivates. It routes
96    --  the call to the Character_Check implementation for the type.
97
98 end Terminal_Interface.Curses.Forms.Field_Types.User;