Sha256: d576bfaafd3ced7822c66afa772a6111619015551f115e4e28cd80872167d16b
Contents?: true
Size: 641 Bytes
Versions: 41
Compression:
Stored size: 641 Bytes
Contents
with Ada.Directories; with Ada.Direct_IO; with Ada.Text_IO; procedure Extra_IO.Read_File (Name : String) is package Dirs renames Ada.Directories; package Text_IO renames Ada.Text_IO; -- Get the size of the file for a new string. Size : Natural := Natural (Dirs.Size (Name)); subtype File_String is String (1 .. Size); -- Instantiate Direct_IO for our file type. package FIO is new Ada.Direct_IO (File_String); File : FIO.File_Type; Contents : File_String; begin FIO.Open (File, FIO.In_File, Name); FIO.Read (File, Contents); FIO.Close (File); Text_IO.Put (Contents); end Extra_IO.Read_File;
Version data entries
41 entries across 41 versions & 2 rubygems