DataMuseum.dk

top - metrics - download

    Length: 1207 (0x4b7)
    Types: TextFile
    Names: »V«

└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─⟦129cab021⟧ »DATA« 
        └─⟦this⟧ 
└─⟦2f6cfab89⟧ Bits:30000547 8mm tape, Rational 1000, !projects 94-01-04
    └─⟦d65440be7⟧ »DATA« 
        └─⟦this⟧ 

TextFile

with Ascan_Dfa;
use Ascan_Dfa;
with Text_Io;
use Text_Io;

package Ascan_Io is
    Null_In_Input : exception;
    Aflex_Internal_Error : exception;
    Unexpected_Last_Match : exception;
    Pushback_Overflow : exception;
    Aflex_Scanner_Jammed : exception;
    type Eob_Action_Type is (Eob_Act_Restart_Scan,
                             Eob_Act_End_Of_File, Eob_Act_Last_Match);
    Yy_End_Of_Buffer_Char : constant Character := Ascii.Nul;
    Yy_N_Chars : Integer;       -- number of characters read into yy_ch_buf

-- true when we've seen an EOF for the current input file
    Yy_Eof_Has_Been_Seen : Boolean;

    procedure Yy_Input (Buf : out Unbounded_Character_Array;
                        Result : out Integer;
                        Max_Size : in Integer);
    function Yy_Get_Next_Buffer return Eob_Action_Type;
    procedure Yyunput (C : Character; Yy_Bp : in out Integer);
    procedure Unput (C : Character);
    function Input return Character;
    procedure Output (C : Character);
    function Yywrap return Boolean;
    procedure Open_Input (Fname : in String);
    procedure Close_Input;
    procedure Create_Output (Fname : in String := "");
    procedure Close_Output;
end Ascan_Io;