blob: f8ed1385bff145a2c8f44c6aee4f97d917c8f421 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
|
-- THIS GENERIC PROCEDURE IS INTENDED FOR USE IN CONJUNCTION WITH THE
-- ACVC CHAPTER 13 C TESTS. IT IS INSTANTIATED FOR A TYPE WHOSE
-- REPRESENTATION IS TO BE CHECKED, AND THEN THE PROCEDURE REP_CHECK
-- IS CALLED WITH TWO ARGUMENTS, THE FIRST IS A VALUE OF THE TYPE TO
-- BE CHECKED, AND THE SECOND IS A STRING DESCRIBING OR NAMING THE
-- TYPE (FOR USE IN A CALL TO FAILED IF THE REPRESENTATION CHECK FAILS)
-- THE CHECK IS TO CONVERT THE VALUE TO A PACKED BOOLEAN ARRAY WITH A
-- LENGTH CORRESPONDING TO THE 'SIZE OF THE TYPE, AND THEN CONVERT IT
-- BACK AGAIN AND CHECK THAT THE SAME VALUE IS OBTAINED. THE
-- CONVERSIONS ARE PERFORMED USING APPROPRIATE INSTANTIATIONS OF
-- UNCHECKED_CONVERSION.
-- AUTHOR: ROBERT B. K. DEWAR, UNCOPYRIGHTED, PUBLIC DOMAIN USE
-- AUTHORIZED
-- DHH 03/27/89 CHANGED REP_CHECK TO LENGTH_CHECK BY ADDING A THIRD
-- PARAMETER TO GIVE LENGTH EXPECTED AND BY DOING A BIT TO
-- BIT COPY OF THE UNCHECKED CONVERSION BOOLEAN ARRAY SO
-- A STRAIGHT COMPARE OF THE TWO VALUES CAN BE DONE.
GENERIC
TYPE TEST_TYPE IS PRIVATE;
PROCEDURE LENGTH_CHECK (TEST_VALUE : TEST_TYPE;
EXPECTED_LENGTH : INTEGER;
TYPE_ID : STRING);
WITH UNCHECKED_CONVERSION;
WITH REPORT; USE REPORT;
PROCEDURE LENGTH_CHECK (TEST_VALUE : TEST_TYPE;
EXPECTED_LENGTH : INTEGER;
TYPE_ID : STRING) IS
LEN : CONSTANT INTEGER := EXPECTED_LENGTH;
TYPE BIT_ARRAY_TYPE IS ARRAY (1 .. LEN) OF BOOLEAN;
PRAGMA PACK (BIT_ARRAY_TYPE);
TYPE NEW_BIT_ARRAY_TYPE IS ARRAY (1 .. 3) OF BIT_ARRAY_TYPE;
FUNCTION TO_BITS IS NEW UNCHECKED_CONVERSION (TEST_TYPE,
BIT_ARRAY_TYPE);
FUNCTION FROM_BITS IS NEW UNCHECKED_CONVERSION (BIT_ARRAY_TYPE,
TEST_TYPE);
BIT_ARRAY : BIT_ARRAY_TYPE := (OTHERS => FALSE);
BIT_ARRAY_NEW : NEW_BIT_ARRAY_TYPE := (OTHERS => (OTHERS => FALSE));
BEGIN
BIT_ARRAY := TO_BITS (TEST_VALUE);
FOR I IN 1 .. LEN LOOP
BIT_ARRAY_NEW(IDENT_INT(1)) (IDENT_INT(I)) := BIT_ARRAY(I);
END LOOP;
IF TEST_VALUE /= FROM_BITS (BIT_ARRAY_NEW(1)) THEN
FAILED ("CHECK ON REPRESENTATION FOR " & TYPE_ID & " FAILED.");
END IF;
END LENGTH_CHECK;
|
