-- C42007E.ADA
|
-- C42007E.ADA
|
|
|
-- 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.
|
--*
|
--*
|
-- CHECK THAT THE BOUNDS OF A STRING LITERAL ARE DETERMINED CORRECTLY.
|
-- CHECK THAT THE BOUNDS OF A STRING LITERAL ARE DETERMINED CORRECTLY.
|
-- IN PARTICULAR, CHECK THAT THE LOWER BOUND IS GIVEN BY 'FIRST OF THE
|
-- IN PARTICULAR, CHECK THAT THE LOWER BOUND IS GIVEN BY 'FIRST OF THE
|
-- INDEX SUBTYPE WHEN THE STRING LITERAL IS USED AS:
|
-- INDEX SUBTYPE WHEN THE STRING LITERAL IS USED AS:
|
|
|
-- E) THE LEFT OR RIGHT OPERAND OF "&".
|
-- E) THE LEFT OR RIGHT OPERAND OF "&".
|
|
|
-- TBN 7/28/86
|
-- TBN 7/28/86
|
|
|
WITH REPORT; USE REPORT;
|
WITH REPORT; USE REPORT;
|
PROCEDURE C42007E IS
|
PROCEDURE C42007E IS
|
|
|
BEGIN
|
BEGIN
|
|
|
TEST("C42007E", "CHECK THE BOUNDS OF A STRING LITERAL WHEN USED " &
|
TEST("C42007E", "CHECK THE BOUNDS OF A STRING LITERAL WHEN USED " &
|
"AS THE LEFT OR RIGHT OPERAND OF THE CATENATION " &
|
"AS THE LEFT OR RIGHT OPERAND OF THE CATENATION " &
|
"OPERATOR");
|
"OPERATOR");
|
|
|
BEGIN
|
BEGIN
|
|
|
CASE_E : DECLARE
|
CASE_E : DECLARE
|
|
|
SUBTYPE STR_RANGE IS INTEGER RANGE 2 .. 10;
|
SUBTYPE STR_RANGE IS INTEGER RANGE 2 .. 10;
|
TYPE STR IS ARRAY (STR_RANGE RANGE <>) OF CHARACTER;
|
TYPE STR IS ARRAY (STR_RANGE RANGE <>) OF CHARACTER;
|
|
|
FUNCTION CONCAT1 RETURN STR IS
|
FUNCTION CONCAT1 RETURN STR IS
|
BEGIN
|
BEGIN
|
RETURN ("ABC" & (7 .. 8 => 'D'));
|
RETURN ("ABC" & (7 .. 8 => 'D'));
|
END CONCAT1;
|
END CONCAT1;
|
|
|
FUNCTION CONCAT2 RETURN STR IS
|
FUNCTION CONCAT2 RETURN STR IS
|
BEGIN
|
BEGIN
|
RETURN ((IDENT_INT(4) .. 3 => 'A') & "BC");
|
RETURN ((IDENT_INT(4) .. 3 => 'A') & "BC");
|
END CONCAT2;
|
END CONCAT2;
|
|
|
FUNCTION CONCAT3 RETURN STRING IS
|
FUNCTION CONCAT3 RETURN STRING IS
|
BEGIN
|
BEGIN
|
RETURN ("TEST" & (7 .. 8 => 'X'));
|
RETURN ("TEST" & (7 .. 8 => 'X'));
|
END CONCAT3;
|
END CONCAT3;
|
|
|
FUNCTION CONCAT4 RETURN STRING IS
|
FUNCTION CONCAT4 RETURN STRING IS
|
BEGIN
|
BEGIN
|
RETURN ((8 .. 5 => 'A') & "DE");
|
RETURN ((8 .. 5 => 'A') & "DE");
|
END CONCAT4;
|
END CONCAT4;
|
|
|
BEGIN
|
BEGIN
|
|
|
IF CONCAT1'FIRST /= IDENT_INT(2) THEN
|
IF CONCAT1'FIRST /= IDENT_INT(2) THEN
|
FAILED ("LOWER BOUND INCORRECTLY DETERMINED - 1");
|
FAILED ("LOWER BOUND INCORRECTLY DETERMINED - 1");
|
END IF;
|
END IF;
|
IF CONCAT1'LAST /= 6 THEN
|
IF CONCAT1'LAST /= 6 THEN
|
FAILED ("UPPER BOUND INCORRECTLY DETERMINED - 1");
|
FAILED ("UPPER BOUND INCORRECTLY DETERMINED - 1");
|
END IF;
|
END IF;
|
IF CONCAT1 /= "ABCDD" THEN
|
IF CONCAT1 /= "ABCDD" THEN
|
FAILED ("STRING INCORRECTLY DETERMINED - 1");
|
FAILED ("STRING INCORRECTLY DETERMINED - 1");
|
END IF;
|
END IF;
|
|
|
IF CONCAT2'FIRST /= IDENT_INT(2) THEN
|
IF CONCAT2'FIRST /= IDENT_INT(2) THEN
|
FAILED ("LOWER BOUND INCORRECTLY DETERMINED - 2");
|
FAILED ("LOWER BOUND INCORRECTLY DETERMINED - 2");
|
END IF;
|
END IF;
|
IF CONCAT2'LAST /= 3 THEN
|
IF CONCAT2'LAST /= 3 THEN
|
FAILED ("UPPER BOUND INCORRECTLY DETERMINED - 2");
|
FAILED ("UPPER BOUND INCORRECTLY DETERMINED - 2");
|
END IF;
|
END IF;
|
IF CONCAT2 /= "BC" THEN
|
IF CONCAT2 /= "BC" THEN
|
FAILED ("STRING INCORRECTLY DETERMINED - 2");
|
FAILED ("STRING INCORRECTLY DETERMINED - 2");
|
END IF;
|
END IF;
|
|
|
IF CONCAT3'FIRST /= IDENT_INT(1) THEN
|
IF CONCAT3'FIRST /= IDENT_INT(1) THEN
|
FAILED ("LOWER BOUND INCORRECTLY DETERMINED - 3");
|
FAILED ("LOWER BOUND INCORRECTLY DETERMINED - 3");
|
END IF;
|
END IF;
|
IF CONCAT3'LAST /= 6 THEN
|
IF CONCAT3'LAST /= 6 THEN
|
FAILED ("UPPER BOUND INCORRECTLY DETERMINED - 3");
|
FAILED ("UPPER BOUND INCORRECTLY DETERMINED - 3");
|
END IF;
|
END IF;
|
IF CONCAT3 /= "TESTXX" THEN
|
IF CONCAT3 /= "TESTXX" THEN
|
FAILED ("STRING INCORRECTLY DETERMINED - 3");
|
FAILED ("STRING INCORRECTLY DETERMINED - 3");
|
END IF;
|
END IF;
|
|
|
IF CONCAT4'FIRST /= IDENT_INT(1) THEN
|
IF CONCAT4'FIRST /= IDENT_INT(1) THEN
|
FAILED ("LOWER BOUND INCORRECTLY DETERMINED - 4");
|
FAILED ("LOWER BOUND INCORRECTLY DETERMINED - 4");
|
END IF;
|
END IF;
|
IF CONCAT4'LAST /= 2 THEN
|
IF CONCAT4'LAST /= 2 THEN
|
FAILED ("UPPER BOUND INCORRECTLY DETERMINED - 4");
|
FAILED ("UPPER BOUND INCORRECTLY DETERMINED - 4");
|
END IF;
|
END IF;
|
IF CONCAT4 /= "DE" THEN
|
IF CONCAT4 /= "DE" THEN
|
FAILED ("STRING INCORRECTLY DETERMINED - 4");
|
FAILED ("STRING INCORRECTLY DETERMINED - 4");
|
END IF;
|
END IF;
|
|
|
END CASE_E;
|
END CASE_E;
|
|
|
END;
|
END;
|
|
|
RESULT;
|
RESULT;
|
|
|
END C42007E;
|
END C42007E;
|
|
|