WITH SYSTEM; USE SYSTEM;
WITH REPORT; USE REPORT;
PROCEDURE C34006A IS
SUBTYPE COMPONENT IS INTEGER;
TYPE PARENT IS
RECORD
C : COMPONENT;
B : BOOLEAN := TRUE;
END RECORD;
TYPE T IS NEW PARENT;
X : T := (2, FALSE);
K : INTEGER := X'SIZE;
W : PARENT := (2, FALSE);
C : COMPONENT := 1;
B : BOOLEAN := FALSE;
PROCEDURE A (X : ADDRESS) IS
BEGIN
B := IDENT_BOOL (TRUE);
END A;
FUNCTION IDENT (X : T) RETURN T IS
BEGIN
IF EQUAL (X.C, X.C) THEN
RETURN X; END IF;
RETURN (-1, FALSE);
END IDENT;
BEGIN
TEST ("C34006A", "CHECK THAT THE REQUIRED PREDEFINED OPERATIONS " &
"ARE DECLARED (IMPLICITLY) FOR DERIVED " &
"RECORD TYPES WITHOUT DISCRIMINANTS AND WITH " &
"NON-LIMITED COMPONENT TYPES");
X := IDENT ((1, TRUE));
IF X /= (1, TRUE) THEN
FAILED ("INCORRECT :=");
END IF;
IF T'(X) /= (1, TRUE) THEN
FAILED ("INCORRECT QUALIFICATION");
END IF;
IF T (X) /= (1, TRUE) THEN
FAILED ("INCORRECT SELF CONVERSION");
END IF;
IF EQUAL (3, 3) THEN
W := (1, TRUE);
END IF;
IF T (W) /= (1, TRUE) THEN
FAILED ("INCORRECT CONVERSION FROM PARENT");
END IF;
IF PARENT (X) /= (1, TRUE) THEN
FAILED ("INCORRECT CONVERSION TO PARENT");
END IF;
IF IDENT ((1, TRUE)) /= (1, TRUE) THEN
FAILED ("INCORRECT AGGREGATE");
END IF;
IF X.C /= 1 OR X.B /= TRUE THEN
FAILED ("INCORRECT SELECTION (VALUE)");
END IF;
X.C := IDENT_INT (3);
X.B := IDENT_BOOL (FALSE);
IF X /= (3, FALSE) THEN
FAILED ("INCORRECT SELECTION (ASSIGNMENT)");
END IF;
X := IDENT ((1, TRUE));
IF X = IDENT ((1, FALSE)) THEN
FAILED ("INCORRECT =");
END IF;
IF X /= IDENT ((1, TRUE)) THEN
FAILED ("INCORRECT /=");
END IF;
IF NOT (X IN T) THEN
FAILED ("INCORRECT ""IN""");
END IF;
IF X NOT IN T THEN
FAILED ("INCORRECT ""NOT IN""");
END IF;
B := FALSE;
A (X'ADDRESS);
IF NOT B THEN
FAILED ("INCORRECT 'ADDRESS");
END IF;
IF X.C'FIRST_BIT < 0 THEN
FAILED ("INCORRECT 'FIRST_BIT");
END IF;
IF X.C'LAST_BIT < 0 OR
X.C'LAST_BIT - X.C'FIRST_BIT + 1 /= X.C'SIZE THEN
FAILED ("INCORRECT 'LAST_BIT");
END IF;
IF X.C'POSITION < 0 THEN
FAILED ("INCORRECT 'POSITION");
END IF;
RESULT;
END C34006A;