-- PragmAda Reusable Component (PragmARC)
-- Copyright (C) 2020 by PragmAda Software Engineering. All rights reserved.
-- Released under the terms of the BSD 3-Clause license; see https://opensource.org/licenses
-- **************************************************************************
--
-- Provides the capability to get a word from a text file
-- A word is a sequence of non-whitespace characters separated by whitespace
-- Whitespace is one or more spaces, horizontal tabs, or line terminators
--
-- History:
-- 2020 Nov 01 J. Carter V2.0--Initial Ada-12 version
----------------------------------------------------------------------------
-- 2000 May 01 J. Carter V1.0--Initial release
--
pragma Assertion_Policy (Check);
pragma Unsuppress (All_Checks);
with Ada.Strings.Bounded;
with Ada.Text_IO;
generic -- PragmARC.Word_Input
Max_Word : Positive := 40; -- Maximum # of input characters in a word
package PragmARC.Word_Input is
use Ada;
package V_String is new Strings.Bounded.Generic_Bounded_Length (Max => Max_Word);
subtype Word is V_String.Bounded_String;
procedure Get (File : in Text_IO.File_Type; Value : out Word) with
Pre => Ada.Text_IO.Is_Open (File) and Ada.Text_IO.Mode (File) in Ada.Text_IO.In_File; -- raise Too_Short, Text_IO.End_Error
-- Obtains the next Word from File using Text_IO.Get
-- Raises Too_Short if the Word won't fit
-- Raises Text_IO.End_Error if File is at the end of file
-- Value is undefined if an exception is raised
procedure Get (Value : out Word); -- raise Too_Short, Text_IO.End_Error
-- Obtains the next Word from Text_IO.Current_Input
end PragmARC.Word_Input;