Re: newbie binary file I/O question

[bishopm@source.asset.com (Michael M. Bishop)]

In article <D4vHw0.LB@nvl.army.mil>, Dolores Shaffer <shaffer@oliver> wrote:
>procedure nextstep is
>
>Package byte_io is new sequential_io(intbyte);
>
>din_file: byte_io.file_type;
>value:intbyte;
>name_of_file: string(1..80);
>name_length : natural;
>
>begin
>    text_io.put_line("enter name of file to open");
>    text_io.get_line(name_of_file,name_length);
>
>    byte_io.open(din_file, byte_io.file_mode'first, name=>name_of_file);
>--IT BOMBS HERE!!
>--but byte_io.open(din_file, byte_io.file_mode'first, "filename"); works

You might want to try this:

     byte_io.open (din_file, byte_io.file_mode'first, 
         name => name_of_file(1 .. name_length));

What is probably happening in the code that raises name_error is that
the slice name_of_file(name_length + 1 .. name_of_file'last) (i.e., the
part of name_of_file that wasn't filled in by get_line) has some junk
characters in it and the OS is thinking that those junk characters
constitute part of the file name. So the slice name_of_file(1 ..
name_length) references only that part of name_of_file that the user
entered.

Hope this works...
-- 
| Mike Bishop              | The opinions expressed here reflect    |
| bishopm@source.asset.com | those of this station, its management, |
| Member: Team Ada         | and the entire world.                  |