WITH REPORT; USE REPORT;
PROCEDURE C41323A IS
PACKAGE P IS
TYPE FLOAT IS DIGITS 5 RANGE -1.0E1 .. 1.0E1;
OBJ_FLO_1 : FLOAT := -5.5;
OBJ_FLO_2 : FLOAT := 1.5;
OBJ_FLO_3 : FLOAT := 10.0;
END P;
FLO_VAR : P.FLOAT;
FLO_VAR_1 : P.FLOAT := P."-"(P.FLOAT'(5.5));
FLO_VAR_2 : P.FLOAT := P.FLOAT'(1.5);
FLO_VAR_3 : P.FLOAT := P.FLOAT'(1.0E1);
BEGIN
TEST ("C41323A", "CHECK THAT IMPLICITLY DECLARED RELATIONAL " &
"OPERATORS AND ARITHMETIC OPERATORS (+, -, *, " &
"/, **, ABS) MAY BE SELECTED FROM OUTSIDE THE " &
"PACKAGE USING AN EXPANDED NAME, FOR A " &
"FLOATING POINT TYPE");
IF P."=" (FLO_VAR_1, P."-"(P.FLOAT'(5.55))) THEN
FAILED ("INCORRECT RESULTS FROM EXPANDED NAME - 1");
END IF;
IF P."/=" (FLO_VAR_1, P.OBJ_FLO_1) THEN
FAILED ("INCORRECT RESULTS FROM EXPANDED NAME - 2");
END IF;
IF P."<" (FLO_VAR_2, P.OBJ_FLO_1) THEN
FAILED ("INCORRECT RESULTS FROM EXPANDED NAME - 3");
END IF;
IF P.">" (FLO_VAR_2, P.OBJ_FLO_3) THEN
FAILED ("INCORRECT RESULTS FROM EXPANDED NAME - 4");
END IF;
IF P."<=" (FLO_VAR_3, P.FLOAT'(9.9)) THEN
FAILED ("INCORRECT RESULTS FROM EXPANDED NAME - 5");
END IF;
IF P."<=" (FLO_VAR_3, P.FLOAT'(10.0)) THEN
NULL;
ELSE
FAILED ("INCORRECT RESULTS FROM EXPANDED NAME - 6");
END IF;
IF P.">=" (P.OBJ_FLO_2, FLO_VAR_3) THEN
FAILED ("INCORRECT RESULTS FROM EXPANDED NAME - 7");
END IF;
IF P.">=" (P.OBJ_FLO_3, FLO_VAR_3) THEN
NULL;
ELSE
FAILED ("INCORRECT RESULTS FROM EXPANDED NAME - 8");
END IF;
FLO_VAR := P."+" (FLO_VAR_1, P.OBJ_FLO_2);
IF P."/=" (FLO_VAR, P."-"(P.FLOAT'(4.0))) THEN
FAILED ("INCORRECT RESULTS FROM EXPANDED NAME - 9");
END IF;
FLO_VAR := P."+" (FLO_VAR_1);
IF P."/=" (FLO_VAR, P.OBJ_FLO_1) THEN
FAILED ("INCORRECT RESULTS FROM EXPANDED NAME - 10");
END IF;
FLO_VAR := P."-" (FLO_VAR_2, P.OBJ_FLO_1);
IF P."/=" (FLO_VAR, P.FLOAT'(7.0)) THEN
FAILED ("INCORRECT RESULTS FROM EXPANDED NAME - 11");
END IF;
FLO_VAR := P."*" (FLO_VAR_2, P.FLOAT'(2.0));
IF P."/=" (FLO_VAR, P.FLOAT'(3.0)) THEN
FAILED ("INCORRECT RESULTS FROM EXPANDED NAME - 12");
END IF;
FLO_VAR := P."/" (FLO_VAR_3, P.FLOAT'(2.0));
IF P."/=" (FLO_VAR, P.FLOAT'(5.0)) THEN
FAILED ("INCORRECT RESULTS FROM EXPANDED NAME - 13");
END IF;
FLO_VAR := P."**" (P.FLOAT'(2.0), 3);
IF P."/=" (FLO_VAR, P.FLOAT'(8.0)) THEN
FAILED ("INCORRECT RESULTS FROM EXPANDED NAME - 14");
END IF;
FLO_VAR := P."ABS" (FLO_VAR_1);
IF P."/=" (FLO_VAR, P.FLOAT'(5.5)) THEN
FAILED ("INCORRECT RESULTS FROM EXPANDED NAME - 15");
END IF;
RESULT;
END C41323A;