-- C32115B.ADA
|
-- C32115B.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.
|
--*
|
--*
|
-- OBJECTIVE:
|
-- OBJECTIVE:
|
-- CHECK THAT WHEN A VARIABLE OR CONSTANT HAVING AN UNCONSTRAINED
|
-- CHECK THAT WHEN A VARIABLE OR CONSTANT HAVING AN UNCONSTRAINED
|
-- ACCESS TYPE IS DECLARED WITH AN INITIAL NON-NULL ACCESS VALUE,
|
-- ACCESS TYPE IS DECLARED WITH AN INITIAL NON-NULL ACCESS VALUE,
|
-- CONSTRAINT_ERROR IS RAISED IF AN INDEX BOUND OR A DISCRIMINANT
|
-- CONSTRAINT_ERROR IS RAISED IF AN INDEX BOUND OR A DISCRIMINANT
|
-- VALUE OF THE DESIGNATED OBJECT DOES NOT EQUAL THE CORRESPONDING
|
-- VALUE OF THE DESIGNATED OBJECT DOES NOT EQUAL THE CORRESPONDING
|
-- VALUE SPECIFIED FOR THE ACCESS SUBTYPE OF THE OBJECT.
|
-- VALUE SPECIFIED FOR THE ACCESS SUBTYPE OF THE OBJECT.
|
|
|
-- HISTORY:
|
-- HISTORY:
|
-- JET 08/05/87 CREATED ORIGINAL TEST BASED ON C32115A BY RJW
|
-- JET 08/05/87 CREATED ORIGINAL TEST BASED ON C32115A BY RJW
|
-- BUT WITH UNCONSTRAINED ACCESS TYPES AND
|
-- BUT WITH UNCONSTRAINED ACCESS TYPES AND
|
-- CONSTRAINED VARIABLE/CONSTANT DECLARATIONS.
|
-- CONSTRAINED VARIABLE/CONSTANT DECLARATIONS.
|
-- KAS 12/4/95 FIXED TYPO IN CALL TO REPORT.TEST
|
-- KAS 12/4/95 FIXED TYPO IN CALL TO REPORT.TEST
|
|
|
WITH REPORT; USE REPORT;
|
WITH REPORT; USE REPORT;
|
|
|
PROCEDURE C32115B IS
|
PROCEDURE C32115B IS
|
|
|
PACKAGE PKG IS
|
PACKAGE PKG IS
|
TYPE PRIV (D : INTEGER) IS PRIVATE;
|
TYPE PRIV (D : INTEGER) IS PRIVATE;
|
|
|
PRIVATE
|
PRIVATE
|
TYPE PRIV (D : INTEGER) IS
|
TYPE PRIV (D : INTEGER) IS
|
RECORD
|
RECORD
|
NULL;
|
NULL;
|
END RECORD;
|
END RECORD;
|
END PKG;
|
END PKG;
|
|
|
USE PKG;
|
USE PKG;
|
|
|
TYPE ACCP IS ACCESS PRIV;
|
TYPE ACCP IS ACCESS PRIV;
|
|
|
TYPE REC (D : INTEGER) IS
|
TYPE REC (D : INTEGER) IS
|
RECORD
|
RECORD
|
NULL;
|
NULL;
|
END RECORD;
|
END RECORD;
|
|
|
TYPE ACCR IS ACCESS REC;
|
TYPE ACCR IS ACCESS REC;
|
|
|
TYPE ARR IS ARRAY (NATURAL RANGE <>) OF INTEGER;
|
TYPE ARR IS ARRAY (NATURAL RANGE <>) OF INTEGER;
|
|
|
TYPE ACCA IS ACCESS ARR;
|
TYPE ACCA IS ACCESS ARR;
|
|
|
TYPE ACCN IS ACCESS ARR;
|
TYPE ACCN IS ACCESS ARR;
|
|
|
BEGIN
|
BEGIN
|
TEST ("C32115B", "CHECK THAT WHEN CONSTRAINED VARIABLE OR " &
|
TEST ("C32115B", "CHECK THAT WHEN CONSTRAINED VARIABLE OR " &
|
"CONSTANT HAVING AN UNCONSTRAINED ACCESS TYPE " &
|
"CONSTANT HAVING AN UNCONSTRAINED ACCESS TYPE " &
|
"IS DECLARED WITH AN INITIAL NON-NULL ACCESS " &
|
"IS DECLARED WITH AN INITIAL NON-NULL ACCESS " &
|
"VALUE, CONSTRAINT_ERROR IS RAISED IF AN " &
|
"VALUE, CONSTRAINT_ERROR IS RAISED IF AN " &
|
"INDEX BOUND OR A DISCRIMINANT VALUE OF THE " &
|
"INDEX BOUND OR A DISCRIMINANT VALUE OF THE " &
|
"DESIGNATED OBJECT DOES NOT EQUAL THE " &
|
"DESIGNATED OBJECT DOES NOT EQUAL THE " &
|
"CORRESPONDING VALUE SPECIFIED FOR THE " &
|
"CORRESPONDING VALUE SPECIFIED FOR THE " &
|
"ACCESS SUBTYPE OF THE OBJECT" );
|
"ACCESS SUBTYPE OF THE OBJECT" );
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
AC1 : CONSTANT ACCP(1) := NEW PRIV (IDENT_INT (2));
|
AC1 : CONSTANT ACCP(1) := NEW PRIV (IDENT_INT (2));
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'AC1'" );
|
"OF CONSTANT 'AC1'" );
|
IF AC1 /= NULL THEN
|
IF AC1 /= NULL THEN
|
COMMENT ("DEFEAT 'AC1' OPTIMIZATION");
|
COMMENT ("DEFEAT 'AC1' OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'AC1'" );
|
"OF CONSTANT 'AC1'" );
|
END;
|
END;
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
AC2 : ACCP(1) := NEW PRIV (IDENT_INT (2));
|
AC2 : ACCP(1) := NEW PRIV (IDENT_INT (2));
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'AC2'" );
|
"OF VARIABLE 'AC2'" );
|
IF AC2 /= NULL THEN
|
IF AC2 /= NULL THEN
|
COMMENT ("DEFEAT 'AC2' OPTIMIZATION");
|
COMMENT ("DEFEAT 'AC2' OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'AC2'" );
|
"OF VARIABLE 'AC2'" );
|
END;
|
END;
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
AC3 : CONSTANT ACCP(1) := NEW PRIV (IDENT_INT (0));
|
AC3 : CONSTANT ACCP(1) := NEW PRIV (IDENT_INT (0));
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'AC3'" );
|
"OF CONSTANT 'AC3'" );
|
IF AC3 /= NULL THEN
|
IF AC3 /= NULL THEN
|
COMMENT ("DEFEAT 'AC3' OPTIMIZATION");
|
COMMENT ("DEFEAT 'AC3' OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'AC3'" );
|
"OF CONSTANT 'AC3'" );
|
END;
|
END;
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
AC4 : ACCP(1) := NEW PRIV (IDENT_INT (0));
|
AC4 : ACCP(1) := NEW PRIV (IDENT_INT (0));
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'AC4'" );
|
"OF VARIABLE 'AC4'" );
|
IF AC4 /= NULL THEN
|
IF AC4 /= NULL THEN
|
COMMENT ("DEFEAT 'AC4' OPTIMIZATION");
|
COMMENT ("DEFEAT 'AC4' OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'AC4'" );
|
"OF VARIABLE 'AC4'" );
|
END;
|
END;
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
AC5 : CONSTANT ACCR(2) := NEW REC(IDENT_INT (1));
|
AC5 : CONSTANT ACCR(2) := NEW REC(IDENT_INT (1));
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'AC5'" );
|
"OF CONSTANT 'AC5'" );
|
IF AC5 /= NULL THEN
|
IF AC5 /= NULL THEN
|
COMMENT ("DEFEAT 'AC5' OPTIMIZATION");
|
COMMENT ("DEFEAT 'AC5' OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'AC5'" );
|
"OF CONSTANT 'AC5'" );
|
END;
|
END;
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
AC6 : ACCR(2) := NEW REC (IDENT_INT (1));
|
AC6 : ACCR(2) := NEW REC (IDENT_INT (1));
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'AC6'" );
|
"OF VARIABLE 'AC6'" );
|
IF AC6 /= NULL THEN
|
IF AC6 /= NULL THEN
|
COMMENT ("DEFEAT 'AC6' OPTIMIZATION");
|
COMMENT ("DEFEAT 'AC6' OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'AC6'" );
|
"OF VARIABLE 'AC6'" );
|
END;
|
END;
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
AC7 : CONSTANT ACCR(2) := NEW REC(IDENT_INT (3));
|
AC7 : CONSTANT ACCR(2) := NEW REC(IDENT_INT (3));
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'AC7'" );
|
"OF CONSTANT 'AC7'" );
|
IF AC7 /= NULL THEN
|
IF AC7 /= NULL THEN
|
COMMENT ("DEFEAT 'AC7' OPTIMIZATION");
|
COMMENT ("DEFEAT 'AC7' OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'AC7'" );
|
"OF CONSTANT 'AC7'" );
|
END;
|
END;
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
AC8 : ACCR(2) := NEW REC (IDENT_INT (3));
|
AC8 : ACCR(2) := NEW REC (IDENT_INT (3));
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'AC8'" );
|
"OF VARIABLE 'AC8'" );
|
IF AC8 /= NULL THEN
|
IF AC8 /= NULL THEN
|
COMMENT ("DEFEAT 'AC8' OPTIMIZATION");
|
COMMENT ("DEFEAT 'AC8' OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'AC8'" );
|
"OF VARIABLE 'AC8'" );
|
END;
|
END;
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
AC9 : CONSTANT ACCA(1 .. 2) :=
|
AC9 : CONSTANT ACCA(1 .. 2) :=
|
NEW ARR(IDENT_INT(1) .. IDENT_INT (1));
|
NEW ARR(IDENT_INT(1) .. IDENT_INT (1));
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'AC9'" );
|
"OF CONSTANT 'AC9'" );
|
IF AC9 /= NULL THEN
|
IF AC9 /= NULL THEN
|
COMMENT ("DEFEAT 'AC9' OPTIMIZATION");
|
COMMENT ("DEFEAT 'AC9' OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'AC9'" );
|
"OF CONSTANT 'AC9'" );
|
END;
|
END;
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
AC10 : ACCA (1..2) :=
|
AC10 : ACCA (1..2) :=
|
NEW ARR(IDENT_INT (1) .. IDENT_INT (1));
|
NEW ARR(IDENT_INT (1) .. IDENT_INT (1));
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'AC10'" );
|
"OF VARIABLE 'AC10'" );
|
IF AC10 /= NULL THEN
|
IF AC10 /= NULL THEN
|
COMMENT ("DEFEAT 'AC10' OPTIMIZATION");
|
COMMENT ("DEFEAT 'AC10' OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'AC10'" );
|
"OF VARIABLE 'AC10'" );
|
END;
|
END;
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
AC11 : CONSTANT ACCA(1..2) :=
|
AC11 : CONSTANT ACCA(1..2) :=
|
NEW ARR(IDENT_INT (0) .. IDENT_INT (2));
|
NEW ARR(IDENT_INT (0) .. IDENT_INT (2));
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'AC11'" );
|
"OF CONSTANT 'AC11'" );
|
IF AC11 /= NULL THEN
|
IF AC11 /= NULL THEN
|
COMMENT ("DEFEAT 'AC11' OPTIMIZATION");
|
COMMENT ("DEFEAT 'AC11' OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'AC11'" );
|
"OF CONSTANT 'AC11'" );
|
END;
|
END;
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
AC12 : ACCA(1..2) :=
|
AC12 : ACCA(1..2) :=
|
NEW ARR(IDENT_INT (0) .. IDENT_INT (2));
|
NEW ARR(IDENT_INT (0) .. IDENT_INT (2));
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'AC12'" );
|
"OF VARIABLE 'AC12'" );
|
IF AC12 /= NULL THEN
|
IF AC12 /= NULL THEN
|
COMMENT ("DEFEAT 'AC12' OPTIMIZATION");
|
COMMENT ("DEFEAT 'AC12' OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'AC12'" );
|
"OF VARIABLE 'AC12'" );
|
END;
|
END;
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
AC13 : CONSTANT ACCA (1..2) :=
|
AC13 : CONSTANT ACCA (1..2) :=
|
NEW ARR(IDENT_INT (2) .. IDENT_INT (3));
|
NEW ARR(IDENT_INT (2) .. IDENT_INT (3));
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'AC13'" );
|
"OF CONSTANT 'AC13'" );
|
IF AC13 /= NULL THEN
|
IF AC13 /= NULL THEN
|
COMMENT ("DEFEAT 'AC13' OPTIMIZATION");
|
COMMENT ("DEFEAT 'AC13' OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'AC13'" );
|
"OF CONSTANT 'AC13'" );
|
END;
|
END;
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
AC14 : ACCA(1..2) :=
|
AC14 : ACCA(1..2) :=
|
NEW ARR(IDENT_INT (2) .. IDENT_INT (3));
|
NEW ARR(IDENT_INT (2) .. IDENT_INT (3));
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'AC14'" );
|
"OF VARIABLE 'AC14'" );
|
IF AC14 /= NULL THEN
|
IF AC14 /= NULL THEN
|
COMMENT ("DEFEAT 'AC14' OPTIMIZATION");
|
COMMENT ("DEFEAT 'AC14' OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'AC14'" );
|
"OF VARIABLE 'AC14'" );
|
END;
|
END;
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
AC15 : CONSTANT ACCN(1..0) :=
|
AC15 : CONSTANT ACCN(1..0) :=
|
NEW ARR(IDENT_INT (0) .. IDENT_INT (0));
|
NEW ARR(IDENT_INT (0) .. IDENT_INT (0));
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'AC15'" );
|
"OF CONSTANT 'AC15'" );
|
IF AC15 /= NULL THEN
|
IF AC15 /= NULL THEN
|
COMMENT ("DEFEAT 'AC15' OPTIMIZATION");
|
COMMENT ("DEFEAT 'AC15' OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'AC15'" );
|
"OF CONSTANT 'AC15'" );
|
END;
|
END;
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
AC16 : ACCN(1..0) :=
|
AC16 : ACCN(1..0) :=
|
NEW ARR(IDENT_INT (0) .. IDENT_INT (0));
|
NEW ARR(IDENT_INT (0) .. IDENT_INT (0));
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'AC16'" );
|
"OF VARIABLE 'AC16'" );
|
IF AC16 /= NULL THEN
|
IF AC16 /= NULL THEN
|
COMMENT ("DEFEAT 'AC16' OPTIMIZATION");
|
COMMENT ("DEFEAT 'AC16' OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'AC16'" );
|
"OF VARIABLE 'AC16'" );
|
END;
|
END;
|
|
|
RESULT;
|
RESULT;
|
END C32115B;
|
END C32115B;
|
|
|