Re: Re : Simple call of Procedure with Ada.float_text_IO.Get

[comicfanzine@gmail.com]

Le lundi 2 novembre 2015 14:03:39 UTC+1, Jacob Sparre Andersen a écrit :
> You say that you understand the error messages.  What do they mean?
They mean that i don't use the "Procedure Get" right , i understand but i don't know how to fix it . 

> PS: Please format your code nicely - and mark the position the error
>     message refers to - before posting it.
Here is the code whith errors included , the presentation is better if you copy-paste it into your text-editor:
============
with Ada.Text_IO;
with Identification;

  --  File  : log_in.adb  

Procedure log_in is

   Procedure check_password is 

   Password : Identification.Password_Value;
   
   begin

   Identification.Get (Password => Password);
   
if Password = "admin" then
      Ada.Text_IO.Put_Line (Item => "Welcome, Administrator.");
   end if;
   
end check_password;

   virgules :  Identification.virgules_Value ;
   
begin

   check_password;
   -- Here i want the procedure check_password be executed before log_in , for the arguments given to  Ada.float_text_IO.Get 
   
  Identification.Get (virgules => virgules);
  -- error : missing argument for parameter "From" in call to "get" declared at identification.ads:8
  -- error : missing argument for parameter "Password" in call to "get" declared at identification.ads:7
  
    if virgules'Valid then 
        Ada.Text_IO.Put_Line("A float number was not asked") ;
end if;			end log_in;

============
with Ada.Text_IO;

    --  File  :  identification.adb
    
package body identification is

procedure Get (Password : out Password_Value ) is

procedure Get 
     (From : in Password_Value;
      Item : out virgules_Value;
      Last : out Positive_package_declaration_need);  is

begin
      Ada.float_text_IO.get(Item => virgules); Skip_line  ; 
end Get;
begin
Ada.Text_IO.Put (Item => "Hello, User. What's your name? ");

      Get_Name : declare
         Name : constant String := Ada.Text_IO.Get_Line;
      begin 
         if Name /= "fanzine" then
            Ada.Text_IO.Put_Line (Item => "You're not Administrator.");
	    procedure Get 
     (From : in Password_Value;
      Item : out virgules_Value;
      Last : out Positive_package_declaration_need);
         else 
            Ada.Text_IO.Get (Item => Password); 
            Ada.Text_IO.Skip_Line;
            Ada.Text_IO.New_Line;
         end if;
      end Get_Name;
   end Get;
end identification;
===================

  --  File  : identification.ads
  
package identification is

   subtype Password_Value is String (1..5);
   subtype virgules_Value is Float ; 
   subtype Positive_package_declaration_need is Positive ;
   
   procedure Get (Password : out Password_Value);
    procedure Get 
     (From : in Password_Value;
      Item : out virgules_Value;
      Last : out Positive_package_declaration_need);
-- "Last" is in the declaration in Ada.float_text_IO.Get , i don't know if i can , not use it and if it silll going to work after that .
end identification;
===================

> PPS: Which textbook (or other sources) are you using to learn Ada?  I
>      think it might be useful, if you tried to work through the
>      exercises in <http://www.dwheeler.com/lovelace/> before continuing
>      your own Ada project.
Thanks , i learn with many textbooks , but right now , i'm trying to use the fonctions in Ada.text_io(like Ada.float_text_IO.Get) right .