X-Git-Url: https://ncurses.scripts.mit.edu/?a=blobdiff_plain;ds=sidebyside;f=doc%2Fhtml%2Fada%2Fterminal_interface-curses-forms-field_types__adb.htm;h=51f90d80306834186c7ad1a7fd79423a27e99985;hb=97cb42f22c43eb31a4bf11475bd73ab0e0b10923;hp=e12eab6b3d7cfe981a8cce6f4ae6dbcdc07b4e8f;hpb=761e4f0825b330e970558e82a4bd638383914429;p=ncurses.git
diff --git a/doc/html/ada/terminal_interface-curses-forms-field_types__adb.htm b/doc/html/ada/terminal_interface-curses-forms-field_types__adb.htm
index e12eab6b..51f90d80 100644
--- a/doc/html/ada/terminal_interface-curses-forms-field_types__adb.htm
+++ b/doc/html/ada/terminal_interface-curses-forms-field_types__adb.htm
@@ -24,7 +24,7 @@
-
+
@@ -52,11 +52,11 @@
-
-
+
+
-with Terminal_Interface.Curses.Aux; use Terminal_Interface.Curses.Aux;
+with Terminal_Interface.Curses.Aux; use Terminal_Interface.Curses.Aux;
with Ada.Unchecked_Deallocation;
with System.Address_To_Access_Conversions;
@@ -65,17 +65,17 @@
-package body Terminal_Interface.Curses.Forms.Field_Types is
+package body Terminal_Interface.Curses.Forms.Field_Types is
use type System.Address;
package Argument_Conversions is
new System.Address_To_Access_Conversions (Argument);
- function Get_Fieldtype (F : Field) return C_Field_Type;
+ function Get_Fieldtype (F : Field) return C_Field_Type;
pragma Import (C, Get_Fieldtype, "field_type");
- function Get_Arg (F : Field) return System.Address;
+ function Get_Arg (F : Field) return System.Address;
pragma Import (C, Get_Arg, "field_arg");
@@ -84,7 +84,7 @@
- function Get_Type (Fld : Field) return Field_Type_Access
+ function Get_Type (Fld : Field) return Field_Type_Access
is
Low_Level : constant C_Field_Type := Get_Fieldtype (Fld);
Arg : Argument_Access;
@@ -93,144 +93,141 @@
return null;
else
if Low_Level = M_Builtin_Router or else
- Low_Level = M_Generic_Type or else
- Low_Level = M_Choice_Router or else
- Low_Level = M_Generic_Choice then
+ Low_Level = M_Generic_Type or else
+ Low_Level = M_Choice_Router or else
+ Low_Level = M_Generic_Choice
+ then
Arg := Argument_Access
(Argument_Conversions.To_Pointer (Get_Arg (Fld)));
if Arg = null then
- raise Form_Exception;
+ raise Form_Exception;
else
return Arg.all.Typ;
end if;
else
- raise Form_Exception;
+ raise Form_Exception;
end if;
end if;
end Get_Type;
- function Copy_Arg (Usr : System.Address) return System.Address
+ function Copy_Arg (Usr : System.Address) return System.Address
is
begin
return Usr;
end Copy_Arg;
- procedure Free_Arg (Usr : System.Address)
+ procedure Free_Arg (Usr : System.Address)
is
procedure Free_Type is new Ada.Unchecked_Deallocation
(Field_Type'Class, Field_Type_Access);
procedure Freeargs is new Ada.Unchecked_Deallocation
(Argument, Argument_Access);
- To_Be_Free : Argument_Access
+ To_Be_Free : Argument_Access
:= Argument_Access (Argument_Conversions.To_Pointer (Usr));
- Low_Level : C_Field_Type;
+ Low_Level : C_Field_Type;
begin
- if To_Be_Free /= null then
- if To_Be_Free.all.Usr /= System.Null_Address then
- Low_Level := To_Be_Free.all.Cft;
- if Low_Level.all.Freearg /= null then
- Low_Level.all.Freearg (To_Be_Free.all.Usr);
+ if To_Be_Free /= null then
+ if To_Be_Free.all.Usr /= System.Null_Address then
+ Low_Level := To_Be_Free.all.Cft;
+ if Low_Level.all.Freearg /= null then
+ Low_Level.all.Freearg (To_Be_Free.all.Usr);
end if;
end if;
- if To_Be_Free.all.Typ /= null then
- Free_Type (To_Be_Free.all.Typ);
+ if To_Be_Free.all.Typ /= null then
+ Free_Type (To_Be_Free.all.Typ);
end if;
- Freeargs (To_Be_Free);
+ Freeargs (To_Be_Free);
end if;
end Free_Arg;
- procedure Wrap_Builtin (Fld : Field;
- Typ : Field_Type'Class;
- Cft : C_Field_Type := C_Builtin_Router)
+ procedure Wrap_Builtin (Fld : Field;
+ Typ : Field_Type'Class;
+ Cft : C_Field_Type := C_Builtin_Router)
is
- Usr_Arg : constant System.Address := Get_Arg (Fld);
- Low_Level : constant C_Field_Type := Get_Fieldtype (Fld);
- Arg : Argument_Access;
- Res : Eti_Error;
- function Set_Fld_Type (F : Field := Fld;
+ Usr_Arg : constant System.Address := Get_Arg (Fld);
+ Low_Level : constant C_Field_Type := Get_Fieldtype (Fld);
+ Arg : Argument_Access;
+ function Set_Fld_Type (F : Field := Fld;
Cf : C_Field_Type := Cft;
- Arg1 : Argument_Access) return C_Int;
+ Arg1 : Argument_Access) return Eti_Error;
pragma Import (C, Set_Fld_Type, "set_field_type_user");
begin
- pragma Assert (Low_Level /= Null_Field_Type);
+ pragma Assert (Low_Level /= Null_Field_Type);
if Cft /= C_Builtin_Router and then Cft /= C_Choice_Router then
- raise Form_Exception;
+ raise Form_Exception;
else
- Arg := new Argument'(Usr => System.Null_Address,
+ Arg := new Argument'(Usr => System.Null_Address,
Typ => new Field_Type'Class'(Typ),
Cft => Get_Fieldtype (Fld));
- if Usr_Arg /= System.Null_Address then
- if Low_Level.all.Copyarg /= null then
- Arg.all.Usr := Low_Level.all.Copyarg (Usr_Arg);
+ if Usr_Arg /= System.Null_Address then
+ if Low_Level.all.Copyarg /= null then
+ Arg.all.Usr := Low_Level.all.Copyarg (Usr_Arg);
else
- Arg.all.Usr := Usr_Arg;
+ Arg.all.Usr := Usr_Arg;
end if;
end if;
- Res := Set_Fld_Type (Arg1 => Arg);
- if Res /= E_Ok then
- Eti_Exception (Res);
- end if;
+ Eti_Exception (Set_Fld_Type (Arg1 => Arg));
end if;
end Wrap_Builtin;
- function Field_Check_Router (Fld : Field;
- Usr : System.Address) return Curses_Bool
+ function Field_Check_Router (Fld : Field;
+ Usr : System.Address) return Curses_Bool
is
- Arg : constant Argument_Access
+ Arg : constant Argument_Access
:= Argument_Access (Argument_Conversions.To_Pointer (Usr));
begin
- pragma Assert (Arg /= null and then Arg.all.Cft /= Null_Field_Type
- and then Arg.all.Typ /= null);
- if Arg.all.Cft.all.Fcheck /= null then
- return Arg.all.Cft.all.Fcheck (Fld, Arg.all.Usr);
+ pragma Assert (Arg /= null and then Arg.all.Cft /= Null_Field_Type
+ and then Arg.all.Typ /= null);
+ if Arg.all.Cft.all.Fcheck /= null then
+ return Arg.all.Cft.all.Fcheck (Fld, Arg.all.Usr);
else
return 1;
end if;
end Field_Check_Router;
- function Char_Check_Router (Ch : C_Int;
- Usr : System.Address) return Curses_Bool
+ function Char_Check_Router (Ch : C_Int;
+ Usr : System.Address) return Curses_Bool
is
- Arg : constant Argument_Access
+ Arg : constant Argument_Access
:= Argument_Access (Argument_Conversions.To_Pointer (Usr));
begin
- pragma Assert (Arg /= null and then Arg.all.Cft /= Null_Field_Type
- and then Arg.all.Typ /= null);
- if Arg.all.Cft.all.Ccheck /= null then
- return Arg.all.Cft.all.Ccheck (Ch, Arg.all.Usr);
+ pragma Assert (Arg /= null and then Arg.all.Cft /= Null_Field_Type
+ and then Arg.all.Typ /= null);
+ if Arg.all.Cft.all.Ccheck /= null then
+ return Arg.all.Cft.all.Ccheck (Ch, Arg.all.Usr);
else
return 1;
end if;
end Char_Check_Router;
- function Next_Router (Fld : Field;
- Usr : System.Address) return Curses_Bool
+ function Next_Router (Fld : Field;
+ Usr : System.Address) return Curses_Bool
is
- Arg : constant Argument_Access
+ Arg : constant Argument_Access
:= Argument_Access (Argument_Conversions.To_Pointer (Usr));
begin
- pragma Assert (Arg /= null and then Arg.all.Cft /= Null_Field_Type
- and then Arg.all.Typ /= null);
- if Arg.all.Cft.all.Next /= null then
- return Arg.all.Cft.all.Next (Fld, Arg.all.Usr);
+ pragma Assert (Arg /= null and then Arg.all.Cft /= Null_Field_Type
+ and then Arg.all.Typ /= null);
+ if Arg.all.Cft.all.Next /= null then
+ return Arg.all.Cft.all.Next (Fld, Arg.all.Usr);
else
return 1;
end if;
end Next_Router;
- function Prev_Router (Fld : Field;
- Usr : System.Address) return Curses_Bool
+ function Prev_Router (Fld : Field;
+ Usr : System.Address) return Curses_Bool
is
- Arg : constant Argument_Access :=
+ Arg : constant Argument_Access :=
Argument_Access (Argument_Conversions.To_Pointer (Usr));
begin
- pragma Assert (Arg /= null and then Arg.all.Cft /= Null_Field_Type
- and then Arg.all.Typ /= null);
- if Arg.all.Cft.all.Prev /= null then
- return Arg.all.Cft.all.Prev (Fld, Arg.all.Usr);
+ pragma Assert (Arg /= null and then Arg.all.Cft /= Null_Field_Type
+ and then Arg.all.Typ /= null);
+ if Arg.all.Cft.all.Prev /= null then
+ return Arg.all.Cft.all.Prev (Fld, Arg.all.Usr);
else
return 1;
end if;
@@ -238,26 +235,22 @@
- function C_Builtin_Router return C_Field_Type
+ function C_Builtin_Router return C_Field_Type
is
- Res : Eti_Error;
- T : C_Field_Type;
+ T : C_Field_Type;
begin
if M_Builtin_Router = Null_Field_Type then
- T := New_Fieldtype (Field_Check_Router'Access,
+ T := New_Fieldtype (Field_Check_Router'Access,
Char_Check_Router'Access);
- if T = Null_Field_Type then
- raise Form_Exception;
+ if T = Null_Field_Type then
+ raise Form_Exception;
else
- Res := Set_Fieldtype_Arg (T,
- Make_Arg'Access,
- Copy_Arg'Access,
- Free_Arg'Access);
- if Res /= E_Ok then
- Eti_Exception (Res);
- end if;
+ Eti_Exception (Set_Fieldtype_Arg (T,
+ Make_Arg'Access,
+ Copy_Arg'Access,
+ Free_Arg'Access));
end if;
- M_Builtin_Router := T;
+ M_Builtin_Router := T;
end if;
pragma Assert (M_Builtin_Router /= Null_Field_Type);
return M_Builtin_Router;
@@ -265,37 +258,30 @@
- function C_Choice_Router return C_Field_Type
+ function C_Choice_Router return C_Field_Type
is
- Res : Eti_Error;
- T : C_Field_Type;
+ T : C_Field_Type;
begin
if M_Choice_Router = Null_Field_Type then
- T := New_Fieldtype (Field_Check_Router'Access,
+ T := New_Fieldtype (Field_Check_Router'Access,
Char_Check_Router'Access);
- if T = Null_Field_Type then
- raise Form_Exception;
+ if T = Null_Field_Type then
+ raise Form_Exception;
else
- Res := Set_Fieldtype_Arg (T,
- Make_Arg'Access,
- Copy_Arg'Access,
- Free_Arg'Access);
- if Res /= E_Ok then
- Eti_Exception (Res);
- end if;
+ Eti_Exception (Set_Fieldtype_Arg (T,
+ Make_Arg'Access,
+ Copy_Arg'Access,
+ Free_Arg'Access));
- Res := Set_Fieldtype_Choice (T,
- Next_Router'Access,
- Prev_Router'Access);
- if Res /= E_Ok then
- Eti_Exception (Res);
- end if;
+ Eti_Exception (Set_Fieldtype_Choice (T,
+ Next_Router'Access,
+ Prev_Router'Access));
end if;
- M_Choice_Router := T;
+ M_Choice_Router := T;
end if;
pragma Assert (M_Choice_Router /= Null_Field_Type);
return M_Choice_Router;
end C_Choice_Router;
-end Terminal_Interface.Curses.Forms.Field_Types;
+end Terminal_Interface.Curses.Forms.Field_Types;