-- THIS GENERIC PROCEDURE IS INTENDED FOR USE IN CONJUNCTION WITH THE ACVC
|
-- THIS GENERIC PROCEDURE IS INTENDED FOR USE IN CONJUNCTION WITH THE ACVC
|
-- CHAPTER 13 C TESTS. IT IS INSTANTIATED WITH TWO TYPES. THE FIRST IS AN
|
-- CHAPTER 13 C TESTS. IT IS INSTANTIATED WITH TWO TYPES. THE FIRST IS AN
|
-- ENUMERATION TYPE FOR WHICH AN ENUMERATION CLAUSE HAS BEEN GIVEN, AND THE
|
-- ENUMERATION TYPE FOR WHICH AN ENUMERATION CLAUSE HAS BEEN GIVEN, AND THE
|
-- SECOND IS AN INTEGER TYPE WHOSE 'SIZE IS THE SAME AS THE 'SIZE OF THIS
|
-- SECOND IS AN INTEGER TYPE WHOSE 'SIZE IS THE SAME AS THE 'SIZE OF THIS
|
-- ENUMERATION TYPE.
|
-- ENUMERATION TYPE.
|
|
|
-- THE PROCEDURE ENUM_CHECK IS THEN CALLED WITH THREE ARGUMENTS. THE FIRST IS
|
-- THE PROCEDURE ENUM_CHECK IS THEN CALLED WITH THREE ARGUMENTS. THE FIRST IS
|
-- AN ENUMERATION LITERAL FROM THE ENUMERATION TYPE, THE SECOND IS AN INTEGER
|
-- AN ENUMERATION LITERAL FROM THE ENUMERATION TYPE, THE SECOND IS AN INTEGER
|
-- LITERAL WHICH IS THE VALUE OF THE EXPECTED REPRESENTATION (TAKEN FROM THE
|
-- LITERAL WHICH IS THE VALUE OF THE EXPECTED REPRESENTATION (TAKEN FROM THE
|
-- ENUMERATION REPRESENTATION CLAUSE), AND THE THIRD IS A STRING DESCRIBING OR
|
-- ENUMERATION REPRESENTATION CLAUSE), AND THE THIRD IS A STRING DESCRIBING OR
|
-- NAMING THE TYPE (USED IN A CALL TO FAILED IF THE REPRESENTATION CHECK FAILS).
|
-- NAMING THE TYPE (USED IN A CALL TO FAILED IF THE REPRESENTATION CHECK FAILS).
|
|
|
-- THE CHECK IS TO CONVERT THE ENUMERATION VALUE TO A BOOLEAN ARRAY WITH A
|
-- THE CHECK IS TO CONVERT THE ENUMERATION VALUE TO A BOOLEAN ARRAY WITH A
|
-- LENGTH CORRESONDING TO THE 'SIZE OF THE ENUMERATION TYPE. AN INTEGER TYPE
|
-- LENGTH CORRESONDING TO THE 'SIZE OF THE ENUMERATION TYPE. AN INTEGER TYPE
|
-- IS THEN CREATED WITH THIS SAME 'SIZE, AND THE REQUIRED REPRESENTATION VALUE
|
-- IS THEN CREATED WITH THIS SAME 'SIZE, AND THE REQUIRED REPRESENTATION VALUE
|
-- IS CONVERTED FROM THIS TYPE TO A BOOLEAN ARRAY WITH THE SAME LENGTH. THE
|
-- IS CONVERTED FROM THIS TYPE TO A BOOLEAN ARRAY WITH THE SAME LENGTH. THE
|
-- TWO BOOLEAN ARRAYS ARE THEN COMPARED AND SHOULD BE EQUAL. THE CONVERSIONS
|
-- TWO BOOLEAN ARRAYS ARE THEN COMPARED AND SHOULD BE EQUAL. THE CONVERSIONS
|
-- ARE PERFORMED USING APPROPRIATE INSTANTIATIONS OF UNCHECKED_CONVERSION.
|
-- ARE PERFORMED USING APPROPRIATE INSTANTIATIONS OF UNCHECKED_CONVERSION.
|
|
|
-- AUTHOR: ROBERT B. K. DEWAR, UNCOPYRIGHTED, PUBLIC DOMAIN USE AUTHORIZED
|
-- AUTHOR: ROBERT B. K. DEWAR, UNCOPYRIGHTED, PUBLIC DOMAIN USE AUTHORIZED
|
|
|
GENERIC
|
GENERIC
|
|
|
TYPE ENUM_TYPE IS PRIVATE;
|
TYPE ENUM_TYPE IS PRIVATE;
|
TYPE INT_TYPE IS RANGE <>;
|
TYPE INT_TYPE IS RANGE <>;
|
|
|
PROCEDURE ENUM_CHECK (TEST_VALUE : ENUM_TYPE;
|
PROCEDURE ENUM_CHECK (TEST_VALUE : ENUM_TYPE;
|
REP_VALUE : INT_TYPE;
|
REP_VALUE : INT_TYPE;
|
TYPE_ID : STRING);
|
TYPE_ID : STRING);
|
|
|
|
|
WITH UNCHECKED_CONVERSION;
|
WITH UNCHECKED_CONVERSION;
|
WITH REPORT; USE REPORT;
|
WITH REPORT; USE REPORT;
|
|
|
PROCEDURE ENUM_CHECK (TEST_VALUE : ENUM_TYPE;
|
PROCEDURE ENUM_CHECK (TEST_VALUE : ENUM_TYPE;
|
REP_VALUE : INT_TYPE;
|
REP_VALUE : INT_TYPE;
|
TYPE_ID : STRING) IS
|
TYPE_ID : STRING) IS
|
|
|
TYPE BIT_ARRAY_TYPE IS ARRAY (1 .. ENUM_TYPE'SIZE) OF BOOLEAN;
|
TYPE BIT_ARRAY_TYPE IS ARRAY (1 .. ENUM_TYPE'SIZE) OF BOOLEAN;
|
PRAGMA PACK (BIT_ARRAY_TYPE);
|
PRAGMA PACK (BIT_ARRAY_TYPE);
|
|
|
FUNCTION TO_BITS IS NEW UNCHECKED_CONVERSION (ENUM_TYPE, BIT_ARRAY_TYPE);
|
FUNCTION TO_BITS IS NEW UNCHECKED_CONVERSION (ENUM_TYPE, BIT_ARRAY_TYPE);
|
FUNCTION TO_BITS IS NEW UNCHECKED_CONVERSION (INT_TYPE, BIT_ARRAY_TYPE);
|
FUNCTION TO_BITS IS NEW UNCHECKED_CONVERSION (INT_TYPE, BIT_ARRAY_TYPE);
|
|
|
BIT_ARRAY_1 : BIT_ARRAY_TYPE;
|
BIT_ARRAY_1 : BIT_ARRAY_TYPE;
|
BIT_ARRAY_2 : BIT_ARRAY_TYPE;
|
BIT_ARRAY_2 : BIT_ARRAY_TYPE;
|
|
|
INT_VALUE : INT_TYPE := INT_TYPE (REP_VALUE);
|
INT_VALUE : INT_TYPE := INT_TYPE (REP_VALUE);
|
|
|
BEGIN
|
BEGIN
|
|
|
-- VERIFY CORRECT CALL (THIS IS A SANITY CHECK ON THE TEST ITSELF)
|
-- VERIFY CORRECT CALL (THIS IS A SANITY CHECK ON THE TEST ITSELF)
|
|
|
IF ENUM_TYPE'SIZE /= INT_TYPE'SIZE THEN
|
IF ENUM_TYPE'SIZE /= INT_TYPE'SIZE THEN
|
FAILED ("ERROR IN ENUM_CHECK CALL: SIZES DO NOT MATCH");
|
FAILED ("ERROR IN ENUM_CHECK CALL: SIZES DO NOT MATCH");
|
END IF;
|
END IF;
|
|
|
BIT_ARRAY_1 := TO_BITS (TEST_VALUE);
|
BIT_ARRAY_1 := TO_BITS (TEST_VALUE);
|
BIT_ARRAY_2 := TO_BITS (INT_VALUE);
|
BIT_ARRAY_2 := TO_BITS (INT_VALUE);
|
|
|
IF BIT_ARRAY_1 /= BIT_ARRAY_2 THEN
|
IF BIT_ARRAY_1 /= BIT_ARRAY_2 THEN
|
FAILED ("CHECK ON REPRESENTATION OF TYPE " & TYPE_ID & " FAILED.");
|
FAILED ("CHECK ON REPRESENTATION OF TYPE " & TYPE_ID & " FAILED.");
|
END IF;
|
END IF;
|
|
|
END ENUM_CHECK;
|
END ENUM_CHECK;
|
|
|