-- Trained_Encoder
-------------------
-- This is a demo showing Trained_Compression used on the encoding side.
-- See the trtest_single.cmd script for an example
--
-- Legal licensing note:
--
-- Copyright (c) 2018 Gautier de Montmollin
-- SWITZERLAND
--
-- Permission is hereby granted, free of charge, to any person obtaining a copy
-- of this software and associated documentation files (the "Software"), to deal
-- in the Software without restriction, including without limitation the rights
-- to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-- copies of the Software, and to permit persons to whom the Software is
-- furnished to do so, subject to the following conditions:
--
-- The above copyright notice and this permission notice shall be included in
-- all copies or substantial portions of the Software.
--
-- THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-- IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-- FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
-- AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-- LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-- OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
-- THE SOFTWARE.
--
-- NB: this is the MIT License, as found 21-Aug-2016 on the site
-- http://www.opensource.org/licenses/mit-license.php
with Trained_Compression;
with Ada.Command_Line; use Ada.Command_Line;
with Ada.Direct_IO;
with Ada.Text_IO; use Ada.Text_IO;
with Interfaces;
procedure Trained_Encoder is
-- NB: The Byte I/O below is not buffered, so it is very slow.
-- You need to implement a circular buffer of type Stream_Element_Array for a fast I/O.
-- For instance, see the BlockRead in the Zip package for how to do it.
subtype Byte is Interfaces.Unsigned_8;
package Byte_IO is new Ada.Direct_IO (Byte);
Infile_Train, Infile_Data, Outfile : Byte_IO.File_Type;
function Read_Train_Byte return Byte is
B : Byte;
begin
Byte_IO.Read (Infile_Train, B);
return B;
end Read_Train_Byte;
function Read_Data_Byte return Byte is
B : Byte;
begin
Byte_IO.Read (Infile_Data, B);
return B;
end Read_Data_Byte;
function More_Data_Bytes return Boolean is
begin
return not Byte_IO.End_Of_File (Infile_Data);
end More_Data_Bytes;
procedure Write_Byte (B : Byte) is
begin
Byte_IO.Write (Outfile, B);
end Write_Byte;
procedure TCE is new Trained_Compression.Encode (
Data_Bytes_Count => Byte_IO.Count,
Read_Uncompressed_Training => Read_Train_Byte,
Read_Uncompressed_Data => Read_Data_Byte,
More_Uncompressed_Data_Bytes => More_Data_Bytes,
Write_Compressed_Byte => Write_Byte);
begin
if Argument_Count < 4 then
Put_Line ("Syntax:");
Put_Line ("trained_encoder train_file (in) data_file (in) compressed_file (out) skip_compressed_size");
New_Line;
Put_Line ("Important: skip_compressed_size needs to be slightly less");
Put_Line (" than the full compressed trainer size");
else
Byte_IO.Open (Infile_Train, Byte_IO.In_File, Name => Argument (1));
Byte_IO.Open (Infile_Data, Byte_IO.In_File, Name => Argument (2));
Byte_IO.Create (Outfile, Byte_IO.Out_File, Name => Argument (3));
TCE (
Train_Uncompressed => Byte_IO.Size (Infile_Train), -- We use the training data fully.
Skip_Compressed => Byte_IO.Count'Value (Argument (4))
);
Byte_IO.Close (Infile_Train);
Byte_IO.Close (Infile_Data);
Byte_IO.Close (Outfile);
end if;
end Trained_Encoder;