-- CXACB02.A
|
-- CXACB02.A
|
--
|
--
|
-- Grant of Unlimited Rights
|
-- Grant of Unlimited Rights
|
--
|
--
|
-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
|
-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
|
-- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained
|
-- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained
|
-- unlimited rights in the software and documentation contained herein.
|
-- unlimited rights in the software and documentation contained herein.
|
-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making
|
-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making
|
-- this public release, the Government intends to confer upon all
|
-- this public release, the Government intends to confer upon all
|
-- recipients unlimited rights equal to those held by the Government.
|
-- recipients unlimited rights equal to those held by the Government.
|
-- These rights include rights to use, duplicate, release or disclose the
|
-- These rights include rights to use, duplicate, release or disclose the
|
-- released technical data and computer software in whole or in part, in
|
-- released technical data and computer software in whole or in part, in
|
-- any manner and for any purpose whatsoever, and to have or permit others
|
-- any manner and for any purpose whatsoever, and to have or permit others
|
-- to do so.
|
-- to do so.
|
--
|
--
|
-- DISCLAIMER
|
-- DISCLAIMER
|
--
|
--
|
-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
|
-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
|
-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
|
-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
|
-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
|
-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
|
-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
|
-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
|
-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
|
-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
|
-- PARTICULAR PURPOSE OF SAID MATERIAL.
|
-- PARTICULAR PURPOSE OF SAID MATERIAL.
|
--*
|
--*
|
--
|
--
|
-- OBJECTIVE:
|
-- OBJECTIVE:
|
-- Check that user defined subprograms can override the default
|
-- Check that user defined subprograms can override the default
|
-- attributes 'Input and 'Output using attribute definition clauses,
|
-- attributes 'Input and 'Output using attribute definition clauses,
|
-- when used with objects of discriminated record and multi-dimensional
|
-- when used with objects of discriminated record and multi-dimensional
|
-- array types.
|
-- array types.
|
--
|
--
|
-- TEST DESCRIPTION:
|
-- TEST DESCRIPTION:
|
-- This test demonstrates that the default implementations of the
|
-- This test demonstrates that the default implementations of the
|
-- 'Input and 'Output attributes can be overridden by user specified
|
-- 'Input and 'Output attributes can be overridden by user specified
|
-- subprograms in conjunction with attribute definition clauses.
|
-- subprograms in conjunction with attribute definition clauses.
|
-- These attributes have been overridden below, and in the user defined
|
-- These attributes have been overridden below, and in the user defined
|
-- substitutes, values are added or subtracted to global variables.
|
-- substitutes, values are added or subtracted to global variables.
|
-- Following the completion of the writing/reading test, the global
|
-- Following the completion of the writing/reading test, the global
|
-- variables are evaluated to ensure that the user defined subprograms
|
-- variables are evaluated to ensure that the user defined subprograms
|
-- were used in overriding the type-related default attributes.
|
-- were used in overriding the type-related default attributes.
|
--
|
--
|
-- APPLICABILITY CRITERIA:
|
-- APPLICABILITY CRITERIA:
|
-- Applicable to all implementations that support external
|
-- Applicable to all implementations that support external
|
-- Stream_IO files.
|
-- Stream_IO files.
|
--
|
--
|
--
|
--
|
-- CHANGE HISTORY:
|
-- CHANGE HISTORY:
|
-- 06 Dec 94 SAIC ACVC 2.0
|
-- 06 Dec 94 SAIC ACVC 2.0
|
-- 14 Nov 95 SAIC Corrected test errors for ACVC 2.0.1.
|
-- 14 Nov 95 SAIC Corrected test errors for ACVC 2.0.1.
|
--
|
--
|
--!
|
--!
|
|
|
with Report;
|
with Report;
|
with Ada.Streams.Stream_IO;
|
with Ada.Streams.Stream_IO;
|
|
|
procedure CXACB02 is
|
procedure CXACB02 is
|
begin
|
begin
|
|
|
Report.Test ("CXACB02", "Check that user defined subprograms can " &
|
Report.Test ("CXACB02", "Check that user defined subprograms can " &
|
"override the default attributes 'Input and " &
|
"override the default attributes 'Input and " &
|
"'Output using attribute definition clauses");
|
"'Output using attribute definition clauses");
|
|
|
Test_for_Stream_IO_Support:
|
Test_for_Stream_IO_Support:
|
declare
|
declare
|
|
|
Util_File : Ada.Streams.Stream_IO.File_Type;
|
Util_File : Ada.Streams.Stream_IO.File_Type;
|
Util_Stream : Ada.Streams.Stream_IO.Stream_Access;
|
Util_Stream : Ada.Streams.Stream_IO.Stream_Access;
|
Utility_Filename : constant String := Report.Legal_File_Name;
|
Utility_Filename : constant String := Report.Legal_File_Name;
|
|
|
begin
|
begin
|
|
|
-- If an implementation does not support Stream_IO in a particular
|
-- If an implementation does not support Stream_IO in a particular
|
-- environment, the exception Use_Error or Name_Error will be raised on
|
-- environment, the exception Use_Error or Name_Error will be raised on
|
-- calls to various Stream_IO operations. This block statement
|
-- calls to various Stream_IO operations. This block statement
|
-- encloses a call to Create, which should produce an exception in a
|
-- encloses a call to Create, which should produce an exception in a
|
-- non-supportive environment. These exceptions will be handled to
|
-- non-supportive environment. These exceptions will be handled to
|
-- produce a Not_Applicable result.
|
-- produce a Not_Applicable result.
|
|
|
Ada.Streams.Stream_IO.Create (Util_File,
|
Ada.Streams.Stream_IO.Create (Util_File,
|
Ada.Streams.Stream_IO.Out_File,
|
Ada.Streams.Stream_IO.Out_File,
|
Utility_Filename);
|
Utility_Filename);
|
|
|
Operational_Test_Block:
|
Operational_Test_Block:
|
declare
|
declare
|
|
|
type Customer_Type is (Residence, Apartment, Commercial);
|
type Customer_Type is (Residence, Apartment, Commercial);
|
type Electric_Usage_Type is range 0..100000;
|
type Electric_Usage_Type is range 0..100000;
|
type Months_In_Service_Type is range 1..12;
|
type Months_In_Service_Type is range 1..12;
|
type Quarterly_Period_Type is (Spring, Summer, Autumn, Winter);
|
type Quarterly_Period_Type is (Spring, Summer, Autumn, Winter);
|
subtype Month_In_Quarter_Type is Positive range 1..3;
|
subtype Month_In_Quarter_Type is Positive range 1..3;
|
type Service_History_Type is
|
type Service_History_Type is
|
array (Quarterly_Period_Type range <>,
|
array (Quarterly_Period_Type range <>,
|
Month_In_Quarter_Type range <>) of Electric_Usage_Type;
|
Month_In_Quarter_Type range <>) of Electric_Usage_Type;
|
|
|
type Service_Type (Customer : Customer_Type) is
|
type Service_Type (Customer : Customer_Type) is
|
record
|
record
|
Name : String (1..21);
|
Name : String (1..21);
|
Account_ID : Natural range 0..100;
|
Account_ID : Natural range 0..100;
|
case Customer is
|
case Customer is
|
when Residence | Apartment =>
|
when Residence | Apartment =>
|
Low_Income_Credit : Boolean := False;
|
Low_Income_Credit : Boolean := False;
|
when Commercial =>
|
when Commercial =>
|
Baseline_Allowance : Natural range 0..1000;
|
Baseline_Allowance : Natural range 0..1000;
|
Quantity_Discount : Boolean := False;
|
Quantity_Discount : Boolean := False;
|
end case;
|
end case;
|
end record;
|
end record;
|
|
|
|
|
-- Mode conformant, user defined subprograms that will override
|
-- Mode conformant, user defined subprograms that will override
|
-- the type-related attributes.
|
-- the type-related attributes.
|
-- In this test, the user defines these subprograms to add/subtract
|
-- In this test, the user defines these subprograms to add/subtract
|
-- specific values from global variables.
|
-- specific values from global variables.
|
|
|
function Service_Input
|
function Service_Input
|
(Stream : access Ada.Streams.Root_Stream_Type'Class)
|
(Stream : access Ada.Streams.Root_Stream_Type'Class)
|
return Service_Type;
|
return Service_Type;
|
|
|
procedure Service_Output
|
procedure Service_Output
|
(Stream : access Ada.Streams.Root_Stream_Type'Class;
|
(Stream : access Ada.Streams.Root_Stream_Type'Class;
|
Item : Service_Type);
|
Item : Service_Type);
|
|
|
function History_Input
|
function History_Input
|
(Stream : access Ada.Streams.Root_Stream_Type'Class)
|
(Stream : access Ada.Streams.Root_Stream_Type'Class)
|
return Service_History_Type;
|
return Service_History_Type;
|
|
|
procedure History_Output
|
procedure History_Output
|
(Stream : access Ada.Streams.Root_Stream_Type'Class;
|
(Stream : access Ada.Streams.Root_Stream_Type'Class;
|
Item : Service_History_Type);
|
Item : Service_History_Type);
|
|
|
|
|
-- Attribute definition clauses.
|
-- Attribute definition clauses.
|
|
|
for Service_Type'Input use Service_Input;
|
for Service_Type'Input use Service_Input;
|
for Service_Type'Output use Service_Output;
|
for Service_Type'Output use Service_Output;
|
|
|
for Service_History_Type'Input use History_Input;
|
for Service_History_Type'Input use History_Input;
|
for Service_History_Type'Output use History_Output;
|
for Service_History_Type'Output use History_Output;
|
|
|
|
|
-- Object Declarations
|
-- Object Declarations
|
|
|
Customer1 : Service_Type (Residence) :=
|
Customer1 : Service_Type (Residence) :=
|
(Residence, "1221 Morningstar Lane", 44, False);
|
(Residence, "1221 Morningstar Lane", 44, False);
|
Customer2 : Service_Type (Apartment) :=
|
Customer2 : Service_Type (Apartment) :=
|
(Customer => Apartment,
|
(Customer => Apartment,
|
Account_ID => 67,
|
Account_ID => 67,
|
Name => "15 South Front St. #8",
|
Name => "15 South Front St. #8",
|
Low_Income_Credit => True);
|
Low_Income_Credit => True);
|
Customer3 : Service_Type (Commercial) :=
|
Customer3 : Service_Type (Commercial) :=
|
(Commercial,
|
(Commercial,
|
"12442 Central Avenue ",
|
"12442 Central Avenue ",
|
100,
|
100,
|
Baseline_Allowance => 938,
|
Baseline_Allowance => 938,
|
Quantity_Discount => True);
|
Quantity_Discount => True);
|
|
|
C1_Service_History :
|
C1_Service_History :
|
Service_History_Type (Quarterly_Period_Type,
|
Service_History_Type (Quarterly_Period_Type,
|
Month_In_Quarter_Type) :=
|
Month_In_Quarter_Type) :=
|
(Spring => (1 => 35, 2 => 39, 3 => 32),
|
(Spring => (1 => 35, 2 => 39, 3 => 32),
|
Summer => (1 => 34, 2 => 33, 3 => 39),
|
Summer => (1 => 34, 2 => 33, 3 => 39),
|
Autumn => (1 => 45, 2 => 40, 3 => 38),
|
Autumn => (1 => 45, 2 => 40, 3 => 38),
|
Winter => (1 => 53, 2 => 0, 3 => 0));
|
Winter => (1 => 53, 2 => 0, 3 => 0));
|
|
|
C2_Service_History :
|
C2_Service_History :
|
Service_History_Type (Quarterly_Period_Type range Spring..Summer,
|
Service_History_Type (Quarterly_Period_Type range Spring..Summer,
|
Month_In_Quarter_Type) :=
|
Month_In_Quarter_Type) :=
|
(Spring => (23, 22, 0), Summer => (0, 0, 0));
|
(Spring => (23, 22, 0), Summer => (0, 0, 0));
|
|
|
C3_Service_History :
|
C3_Service_History :
|
Service_History_Type (Quarterly_Period_Type,
|
Service_History_Type (Quarterly_Period_Type,
|
Month_In_Quarter_Type) :=
|
Month_In_Quarter_Type) :=
|
(others => (others => 200));
|
(others => (others => 200));
|
|
|
|
|
TC_Input_Total : Integer := 0;
|
TC_Input_Total : Integer := 0;
|
TC_Output_Total : Integer := 0;
|
TC_Output_Total : Integer := 0;
|
|
|
|
|
-- Subprogram bodies.
|
-- Subprogram bodies.
|
-- These subprograms are designed to override the default attributes
|
-- These subprograms are designed to override the default attributes
|
-- 'Input and 'Output for the specified types. Each adds/subtracts
|
-- 'Input and 'Output for the specified types. Each adds/subtracts
|
-- a quantity to/from a program control variable, indicating its
|
-- a quantity to/from a program control variable, indicating its
|
-- activity. Each user defined "Input" function uses the 'Read
|
-- activity. Each user defined "Input" function uses the 'Read
|
-- attribute for the type to accomplish the operation. Likewise,
|
-- attribute for the type to accomplish the operation. Likewise,
|
-- each user defined "Output" subprogram uses the 'Write attribute
|
-- each user defined "Output" subprogram uses the 'Write attribute
|
-- for the type.
|
-- for the type.
|
|
|
function Service_Input
|
function Service_Input
|
( Stream : access Ada.Streams.Root_Stream_Type'Class )
|
( Stream : access Ada.Streams.Root_Stream_Type'Class )
|
return Service_Type is
|
return Service_Type is
|
Customer : Customer_Type;
|
Customer : Customer_Type;
|
begin
|
begin
|
TC_Input_Total := TC_Input_Total + 1;
|
TC_Input_Total := TC_Input_Total + 1;
|
|
|
-- Extract the discriminant value from the stream.
|
-- Extract the discriminant value from the stream.
|
-- This discriminant would not otherwise be extracted from the
|
-- This discriminant would not otherwise be extracted from the
|
-- stream when the Service_Type'Read attribute is used below.
|
-- stream when the Service_Type'Read attribute is used below.
|
Customer_Type'Read (Stream, Customer);
|
Customer_Type'Read (Stream, Customer);
|
|
|
declare
|
declare
|
-- Declare a constant of Service_Type, using the value just
|
-- Declare a constant of Service_Type, using the value just
|
-- read from the stream as the discriminant value of the
|
-- read from the stream as the discriminant value of the
|
-- object.
|
-- object.
|
Service : Service_Type(Customer);
|
Service : Service_Type(Customer);
|
begin
|
begin
|
Service_Type'Read (Stream, Service);
|
Service_Type'Read (Stream, Service);
|
return Service;
|
return Service;
|
end;
|
end;
|
end Service_Input;
|
end Service_Input;
|
|
|
|
|
procedure Service_Output
|
procedure Service_Output
|
( Stream : access Ada.Streams.Root_Stream_Type'Class;
|
( Stream : access Ada.Streams.Root_Stream_Type'Class;
|
Item : Service_Type ) is
|
Item : Service_Type ) is
|
begin
|
begin
|
TC_Output_Total := TC_Output_Total + 2;
|
TC_Output_Total := TC_Output_Total + 2;
|
-- Write the discriminant value to the stream.
|
-- Write the discriminant value to the stream.
|
-- The attribute 'Write (for the record type) will not write the
|
-- The attribute 'Write (for the record type) will not write the
|
-- discriminant of the record object to the stream. Therefore, it
|
-- discriminant of the record object to the stream. Therefore, it
|
-- must be explicitly written using the 'Write attribute of the
|
-- must be explicitly written using the 'Write attribute of the
|
-- discriminant type.
|
-- discriminant type.
|
Customer_Type'Write (Stream, Item.Customer);
|
Customer_Type'Write (Stream, Item.Customer);
|
-- Write the record component values (but not the discriminant) to
|
-- Write the record component values (but not the discriminant) to
|
-- the stream.
|
-- the stream.
|
Service_Type'Write (Stream, Item);
|
Service_Type'Write (Stream, Item);
|
end Service_Output;
|
end Service_Output;
|
|
|
|
|
function History_Input
|
function History_Input
|
( Stream : access Ada.Streams.Root_Stream_Type'Class )
|
( Stream : access Ada.Streams.Root_Stream_Type'Class )
|
return Service_History_Type is
|
return Service_History_Type is
|
Quarter_Bound_Low : Quarterly_Period_Type;
|
Quarter_Bound_Low : Quarterly_Period_Type;
|
Quarter_Bound_High : Quarterly_Period_Type;
|
Quarter_Bound_High : Quarterly_Period_Type;
|
Month_Bound_Low : Month_In_Quarter_Type;
|
Month_Bound_Low : Month_In_Quarter_Type;
|
Month_Bound_High : Month_In_Quarter_Type;
|
Month_Bound_High : Month_In_Quarter_Type;
|
begin
|
begin
|
TC_Input_Total := TC_Input_Total + 3;
|
TC_Input_Total := TC_Input_Total + 3;
|
|
|
-- Read the value of the array bounds from the stream.
|
-- Read the value of the array bounds from the stream.
|
-- Use these bounds in the creation of an array object that will
|
-- Use these bounds in the creation of an array object that will
|
-- be used to store data from the stream.
|
-- be used to store data from the stream.
|
-- The array bound values would not otherwise be read from the
|
-- The array bound values would not otherwise be read from the
|
-- stream by use of the Service_History_Type'Read attribute.
|
-- stream by use of the Service_History_Type'Read attribute.
|
Quarterly_Period_Type'Read (Stream, Quarter_Bound_Low);
|
Quarterly_Period_Type'Read (Stream, Quarter_Bound_Low);
|
Quarterly_Period_Type'Read (Stream, Quarter_Bound_High);
|
Quarterly_Period_Type'Read (Stream, Quarter_Bound_High);
|
Month_In_Quarter_Type'Read (Stream, Month_Bound_Low);
|
Month_In_Quarter_Type'Read (Stream, Month_Bound_Low);
|
Month_In_Quarter_Type'Read (Stream, Month_Bound_High);
|
Month_In_Quarter_Type'Read (Stream, Month_Bound_High);
|
|
|
declare
|
declare
|
Service_History_Array :
|
Service_History_Array :
|
Service_History_Type
|
Service_History_Type
|
(Quarterly_Period_Type range
|
(Quarterly_Period_Type range
|
Quarter_Bound_Low..Quarter_Bound_High,
|
Quarter_Bound_Low..Quarter_Bound_High,
|
Month_In_Quarter_Type range
|
Month_In_Quarter_Type range
|
Month_Bound_Low .. Month_Bound_High);
|
Month_Bound_Low .. Month_Bound_High);
|
begin
|
begin
|
Service_History_Type'Read (Stream, Service_History_Array);
|
Service_History_Type'Read (Stream, Service_History_Array);
|
return Service_History_Array;
|
return Service_History_Array;
|
end;
|
end;
|
end History_Input;
|
end History_Input;
|
|
|
|
|
procedure History_Output
|
procedure History_Output
|
( Stream : access Ada.Streams.Root_Stream_Type'Class;
|
( Stream : access Ada.Streams.Root_Stream_Type'Class;
|
Item : Service_History_Type ) is
|
Item : Service_History_Type ) is
|
begin
|
begin
|
TC_Output_Total := TC_Output_Total + 7;
|
TC_Output_Total := TC_Output_Total + 7;
|
-- Write the upper/lower bounds of the array object dimensions to
|
-- Write the upper/lower bounds of the array object dimensions to
|
-- the stream.
|
-- the stream.
|
Quarterly_Period_Type'Write (Stream, Item'First(1));
|
Quarterly_Period_Type'Write (Stream, Item'First(1));
|
Quarterly_Period_Type'Write (Stream, Item'Last(1));
|
Quarterly_Period_Type'Write (Stream, Item'Last(1));
|
Month_In_Quarter_Type'Write (Stream, Item'First(2));
|
Month_In_Quarter_Type'Write (Stream, Item'First(2));
|
Month_In_Quarter_Type'Write (Stream, Item'Last(2));
|
Month_In_Quarter_Type'Write (Stream, Item'Last(2));
|
-- Write the array values to the stream in canonical order (last
|
-- Write the array values to the stream in canonical order (last
|
-- dimension varying fastest).
|
-- dimension varying fastest).
|
Service_History_Type'Write (Stream, Item);
|
Service_History_Type'Write (Stream, Item);
|
end History_Output;
|
end History_Output;
|
|
|
|
|
|
|
begin
|
begin
|
|
|
Util_Stream := Ada.Streams.Stream_IO.Stream (Util_File);
|
Util_Stream := Ada.Streams.Stream_IO.Stream (Util_File);
|
|
|
-- Write data to the stream. A customer service record is followed
|
-- Write data to the stream. A customer service record is followed
|
-- by a service history array.
|
-- by a service history array.
|
|
|
Service_Type'Output (Util_Stream, Customer1);
|
Service_Type'Output (Util_Stream, Customer1);
|
Service_History_Type'Output (Util_Stream, C1_Service_History);
|
Service_History_Type'Output (Util_Stream, C1_Service_History);
|
|
|
Service_Type'Output (Util_Stream, Customer2);
|
Service_Type'Output (Util_Stream, Customer2);
|
Service_History_Type'Output (Util_Stream, C2_Service_History);
|
Service_History_Type'Output (Util_Stream, C2_Service_History);
|
|
|
Service_Type'Output (Util_Stream, Customer3);
|
Service_Type'Output (Util_Stream, Customer3);
|
Service_History_Type'Output (Util_Stream, C3_Service_History);
|
Service_History_Type'Output (Util_Stream, C3_Service_History);
|
|
|
|
|
-- Read data from the stream, and verify the use of the user specified
|
-- Read data from the stream, and verify the use of the user specified
|
-- attributes.
|
-- attributes.
|
|
|
Verify_Data_Block:
|
Verify_Data_Block:
|
declare
|
declare
|
|
|
TC_Residence : Service_Type (Residence);
|
TC_Residence : Service_Type (Residence);
|
TC_Apartment : Service_Type (Apartment);
|
TC_Apartment : Service_Type (Apartment);
|
TC_Commercial : Service_Type (Commercial);
|
TC_Commercial : Service_Type (Commercial);
|
|
|
TC_History1 : Service_History_Type (Quarterly_Period_Type,
|
TC_History1 : Service_History_Type (Quarterly_Period_Type,
|
Month_In_Quarter_Type) :=
|
Month_In_Quarter_Type) :=
|
(others => (others => Electric_Usage_Type'First));
|
(others => (others => Electric_Usage_Type'First));
|
|
|
TC_History2 : Service_History_Type (Quarterly_Period_Type
|
TC_History2 : Service_History_Type (Quarterly_Period_Type
|
range Spring .. Summer,
|
range Spring .. Summer,
|
Month_In_Quarter_Type) :=
|
Month_In_Quarter_Type) :=
|
(others => (others => Electric_Usage_Type'First));
|
(others => (others => Electric_Usage_Type'First));
|
|
|
TC_History3 : Service_History_Type (Quarterly_Period_Type,
|
TC_History3 : Service_History_Type (Quarterly_Period_Type,
|
Month_In_Quarter_Type) :=
|
Month_In_Quarter_Type) :=
|
(others => (others => Electric_Usage_Type'First));
|
(others => (others => Electric_Usage_Type'First));
|
|
|
begin
|
begin
|
|
|
-- Reset Stream file to mode In_File.
|
-- Reset Stream file to mode In_File.
|
|
|
Ada.Streams.Stream_IO.Reset (Util_File,
|
Ada.Streams.Stream_IO.Reset (Util_File,
|
Ada.Streams.Stream_IO.In_File);
|
Ada.Streams.Stream_IO.In_File);
|
|
|
-- Read data from the stream.
|
-- Read data from the stream.
|
|
|
TC_Residence := Service_Type'Input (Util_Stream);
|
TC_Residence := Service_Type'Input (Util_Stream);
|
TC_History1 := Service_History_Type'Input (Util_Stream);
|
TC_History1 := Service_History_Type'Input (Util_Stream);
|
|
|
TC_Apartment := Service_Type'Input (Util_Stream);
|
TC_Apartment := Service_Type'Input (Util_Stream);
|
TC_History2 := Service_History_Type'Input (Util_Stream);
|
TC_History2 := Service_History_Type'Input (Util_Stream);
|
|
|
TC_Commercial := Service_Type'Input (Util_Stream);
|
TC_Commercial := Service_Type'Input (Util_Stream);
|
TC_History3 := Service_History_Type'Input (Util_Stream);
|
TC_History3 := Service_History_Type'Input (Util_Stream);
|
|
|
|
|
-- Verify product data was correctly written to/read from stream,
|
-- Verify product data was correctly written to/read from stream,
|
-- including discriminants and array bounds.
|
-- including discriminants and array bounds.
|
|
|
if (TC_Residence /= Customer1) or
|
if (TC_Residence /= Customer1) or
|
(TC_Residence.Customer /= Customer1.Customer) or
|
(TC_Residence.Customer /= Customer1.Customer) or
|
(TC_History1'Last(1) /= C1_Service_History'Last(1)) or
|
(TC_History1'Last(1) /= C1_Service_History'Last(1)) or
|
(TC_History1'First(1) /= C1_Service_History'First(1)) or
|
(TC_History1'First(1) /= C1_Service_History'First(1)) or
|
(TC_History1'Last(2) /= C1_Service_History'Last(2)) or
|
(TC_History1'Last(2) /= C1_Service_History'Last(2)) or
|
(TC_History1'First(2) /= C1_Service_History'First(2))
|
(TC_History1'First(2) /= C1_Service_History'First(2))
|
then
|
then
|
Report.Failed ("Incorrect data from stream - 1");
|
Report.Failed ("Incorrect data from stream - 1");
|
end if;
|
end if;
|
|
|
if (TC_Apartment /= Customer2) or
|
if (TC_Apartment /= Customer2) or
|
(TC_Apartment.Customer /= Customer2.Customer) or
|
(TC_Apartment.Customer /= Customer2.Customer) or
|
(TC_History2 /= C2_Service_History) or
|
(TC_History2 /= C2_Service_History) or
|
(TC_History2'Last(1) /= C2_Service_History'Last(1)) or
|
(TC_History2'Last(1) /= C2_Service_History'Last(1)) or
|
(TC_History2'First(1) /= C2_Service_History'First(1)) or
|
(TC_History2'First(1) /= C2_Service_History'First(1)) or
|
(TC_History2'Last(2) /= C2_Service_History'Last(2)) or
|
(TC_History2'Last(2) /= C2_Service_History'Last(2)) or
|
(TC_History2'First(2) /= C2_Service_History'First(2))
|
(TC_History2'First(2) /= C2_Service_History'First(2))
|
then
|
then
|
Report.Failed ("Incorrect data from stream - 2");
|
Report.Failed ("Incorrect data from stream - 2");
|
end if;
|
end if;
|
|
|
if (TC_Commercial /= Customer3) or
|
if (TC_Commercial /= Customer3) or
|
(TC_Commercial.Customer /= Customer3.Customer) or
|
(TC_Commercial.Customer /= Customer3.Customer) or
|
(TC_History3 /= C3_Service_History) or
|
(TC_History3 /= C3_Service_History) or
|
(TC_History3'Last(1) /= C3_Service_History'Last(1)) or
|
(TC_History3'Last(1) /= C3_Service_History'Last(1)) or
|
(TC_History3'First(1) /= C3_Service_History'First(1)) or
|
(TC_History3'First(1) /= C3_Service_History'First(1)) or
|
(TC_History3'Last(2) /= C3_Service_History'Last(2)) or
|
(TC_History3'Last(2) /= C3_Service_History'Last(2)) or
|
(TC_History3'First(2) /= C3_Service_History'First(2))
|
(TC_History3'First(2) /= C3_Service_History'First(2))
|
then
|
then
|
Report.Failed ("Incorrect data from stream - 3");
|
Report.Failed ("Incorrect data from stream - 3");
|
end if;
|
end if;
|
|
|
-- Verify that the user defined subprograms were used to override
|
-- Verify that the user defined subprograms were used to override
|
-- the default 'Input and 'Output attributes.
|
-- the default 'Input and 'Output attributes.
|
-- There were three calls on each of the user defined attributes.
|
-- There were three calls on each of the user defined attributes.
|
|
|
if (TC_Input_Total /= 12 ) or (TC_Output_Total /= 27 ) then
|
if (TC_Input_Total /= 12 ) or (TC_Output_Total /= 27 ) then
|
Report.Failed ("Incorrect use of user defined attributes");
|
Report.Failed ("Incorrect use of user defined attributes");
|
end if;
|
end if;
|
|
|
end Verify_Data_Block;
|
end Verify_Data_Block;
|
|
|
exception
|
exception
|
|
|
when others =>
|
when others =>
|
Report.Failed ("Exception raised in Operational Test Block");
|
Report.Failed ("Exception raised in Operational Test Block");
|
|
|
end Operational_Test_Block;
|
end Operational_Test_Block;
|
|
|
if Ada.Streams.Stream_IO.Is_Open (Util_File) then
|
if Ada.Streams.Stream_IO.Is_Open (Util_File) then
|
Ada.Streams.Stream_IO.Delete (Util_File);
|
Ada.Streams.Stream_IO.Delete (Util_File);
|
else
|
else
|
Ada.Streams.Stream_IO.Open (Util_File,
|
Ada.Streams.Stream_IO.Open (Util_File,
|
Ada.Streams.Stream_IO.Out_File,
|
Ada.Streams.Stream_IO.Out_File,
|
Utility_Filename);
|
Utility_Filename);
|
Ada.Streams.Stream_IO.Delete (Util_File);
|
Ada.Streams.Stream_IO.Delete (Util_File);
|
end if;
|
end if;
|
|
|
|
|
exception
|
exception
|
|
|
-- Since Use_Error or Name_Error can be raised if, for the specified
|
-- Since Use_Error or Name_Error can be raised if, for the specified
|
-- mode, the environment does not support Stream_IO operations,
|
-- mode, the environment does not support Stream_IO operations,
|
-- the following handlers are included:
|
-- the following handlers are included:
|
|
|
when Ada.Streams.Stream_IO.Name_Error =>
|
when Ada.Streams.Stream_IO.Name_Error =>
|
Report.Not_Applicable ("Name_Error raised on Stream IO Create");
|
Report.Not_Applicable ("Name_Error raised on Stream IO Create");
|
|
|
when Ada.Streams.Stream_IO.Use_Error =>
|
when Ada.Streams.Stream_IO.Use_Error =>
|
Report.Not_Applicable ("Use_Error raised on Stream IO Create");
|
Report.Not_Applicable ("Use_Error raised on Stream IO Create");
|
|
|
when others =>
|
when others =>
|
Report.Failed ("Unexpected exception raised");
|
Report.Failed ("Unexpected exception raised");
|
|
|
end Test_for_Stream_IO_Support;
|
end Test_for_Stream_IO_Support;
|
|
|
Report.Result;
|
Report.Result;
|
|
|
end CXACB02;
|
end CXACB02;
|
|
|