| Line 768... |
Line 768... |
end if;
|
end if;
|
|
|
-- Find next item on the line
|
-- Find next item on the line
|
read(l, c, c_good);
|
read(l, c, c_good);
|
-- Skip leading whitespace characters
|
-- Skip leading whitespace characters
|
while c_good and (c = ' ' or c = ht) loop
|
while c_good and (c = ' ' or c = ht or c = cr or c = lf) loop
|
read(l, c, c_good);
|
read(l, c, c_good);
|
end loop;
|
end loop;
|
-- Read item until next whitespace, comment character or end-of-line
|
-- Read item until next whitespace, comment character or end-of-line
|
while c_good and c /= ' ' and c /= ht and c /= '#' loop
|
while c_good and c /= ' ' and c /= ht and c /= cr and c /= lf and c /= '#' loop
|
-- If i >= item'length, an error will occur. We don't try to do anything
|
-- If i >= item'length, an error will occur. We don't try to do anything
|
-- about that here, because it is probably better that the user
|
-- about that here, because it is probably better that the user
|
-- find out the hard way, instead of trying to hide the problem.
|
-- find out the hard way, instead of trying to hide the problem.
|
item(item'low + i) := c;
|
item(item'low + i) := c;
|
i := i + 1;
|
i := i + 1;
|
| Line 2245... |
Line 2245... |
variable error_line : line;
|
variable error_line : line;
|
begin
|
begin
|
file_open(f1_status, f1, filename1, read_mode);
|
file_open(f1_status, f1, filename1, read_mode);
|
if f1_status /= open_ok then
|
if f1_status /= open_ok then
|
v_file_errors := v_file_errors + 1;
|
v_file_errors := v_file_errors + 1;
|
write(error_line, " Could not open file " & filename1 & " for reading.");
|
write(error_line, " Could not open file " & filename1 & " for reading: " & file_open_status'image(f1_status));
|
else
|
else
|
file_open(f2_status, f2, filename2, read_mode);
|
file_open(f2_status, f2, filename2, read_mode);
|
if f2_status /= open_ok then
|
if f2_status /= open_ok then
|
v_file_errors := v_file_errors + 1;
|
v_file_errors := v_file_errors + 1;
|
write(error_line, " Could not open file " & filename2 & " for reading. ");
|
write(error_line, " Could not open file " & filename2 & " for reading: " & file_open_status'image(f2_status));
|
file_close(f1);
|
file_close(f1);
|
end if;
|
end if;
|
end if;
|
end if;
|
if f1_status = open_ok and f2_status = open_ok then
|
if f1_status = open_ok and f2_status = open_ok then
|
while item_len1 /= 0 or item_len2 /= 0 loop
|
while item_len1 /= 0 or item_len2 /= 0 loop
|
