cxg1004.a

来自「linux下编程用 编译软件」· A 代码 · 共 361 行 · 第 1/2 页

            when Constraint_Error => null;  -- OK, expected exception.
            when others =>
               Report.Failed("Incorrect exception raised when Function " &
                             "Cot given parameter value of complex zero");
         end;

         -- Raised by Coth, when the value of the parameter X is zero.
         begin
            TC_Complex := Coth (Complex_Zero);
            Report.Failed("Constraint_Error not raised when Function " &
                          "Coth given parameter value of complex zero");
            No_Optimize(TC_Complex);
         exception
            when Constraint_Error => null;  -- OK, expected exception.
            when others =>
               Report.Failed("Incorrect exception raised when Function " &
                             "Coth given parameter value of complex zero");
         end;

         -- Raised by the exponentiation operator, when the value of the 
         -- left operand is zero and the real component of the exponent
         -- is negative.
         begin
            TC_Complex := Complex_Zero**Complex_Negative_Real;
            Report.Failed("Constraint_Error not raised when the "    &
                          "exponentiation operator left operand is " &
                          "complex zero, and the real component of " &
                          "the exponent is negative");
            No_Optimize(TC_Complex);
         exception
            when Constraint_Error => null;  -- OK, expected exception.
            when others =>
               Report.Failed("Incorrect exception raised when the "     &
                             "exponentiation operator left operand is " &
                             "complex zero, and the real component of " &
                             "the exponent is negative");
         end;

         -- Raised by the exponentiation operator, when the value of the 
         -- left operand is zero and the exponent itself (when it is of
         -- type real) is negative.
         declare
            Negative_Exponent : constant Real_Type := -4.0;
         begin
            TC_Complex := Complex_Zero**Negative_Exponent;
            Report.Failed("Constraint_Error not raised when the "    &
                          "exponentiation operator left operand is " &
                          "complex zero, and the real exponent is "  &
                          "negative");
            No_Optimize(TC_Complex);
         exception
            when Constraint_Error => null;  -- OK, expected exception.
            when others =>
               Report.Failed("Incorrect exception raised when the "     &
                             "exponentiation operator left operand is " &
                             "complex zero, and the real exponent is "  &
                             "negative");
         end;

         -- Raised by Arctan, when the value of the parameter is +i.
         begin
            TC_Complex := Arctan (Plus_i);
            Report.Failed("Constraint_Error not raised when Function " &
                          "Arctan is given parameter value +i");
            No_Optimize(TC_Complex);
         exception
            when Constraint_Error => null;  -- OK, expected exception.
            when others =>
               Report.Failed("Incorrect exception raised when Function " &
                             "Arctan is given parameter value +i");
         end;

         -- Raised by Arctan, when the value of the parameter is -i.
         begin
            TC_Complex := Arctan (Minus_i);
            Report.Failed("Constraint_Error not raised when Function " &
                          "Arctan is given parameter value -i");
            No_Optimize(TC_Complex);
         exception
            when Constraint_Error => null;  -- OK, expected exception.
            when others =>
               Report.Failed("Incorrect exception raised when Function " &
                             "Arctan is given parameter value -i");
         end;

         -- Raised by Arccot, when the value of the parameter is +i.
         begin
            TC_Complex := Arccot (Plus_i);
            Report.Failed("Constraint_Error not raised when Function " &
                          "Arccot is given parameter value +i");
            No_Optimize(TC_Complex);
         exception
            when Constraint_Error => null;  -- OK, expected exception.
            when others =>
               Report.Failed("Incorrect exception raised when Function " &
                             "Arccot is given parameter value +i");
         end;

         -- Raised by Arccot, when the value of the parameter is -i.
         begin
            TC_Complex := Arccot (Minus_i);
            Report.Failed("Constraint_Error not raised when Function " &
                          "Arccot is given parameter value -i");
            No_Optimize(TC_Complex);
         exception
            when Constraint_Error => null;  -- OK, expected exception.
            when others =>
               Report.Failed("Incorrect exception raised when Function " &
                             "Arccot is given parameter value -i");
         end;

         -- Raised by Arctanh, when the value of the parameter is +1.
         begin
            TC_Complex := Arctanh (Plus_One);
            Report.Failed("Constraint_Error not raised when Function " &
                          "Arctanh is given parameter value +1");
            No_Optimize(TC_Complex);
         exception
            when Constraint_Error => null;  -- OK, expected exception.
            when others =>
               Report.Failed("Incorrect exception raised when Function " &
                             "Arctanh is given parameter value +1");
         end;

         -- Raised by Arctanh, when the value of the parameter is -1.
         begin
            TC_Complex := Arctanh (Minus_One);
            Report.Failed("Constraint_Error not raised when Function " &
                          "Arctanh is given parameter value -1");
            No_Optimize(TC_Complex);
         exception
            when Constraint_Error => null;  -- OK, expected exception.
            when others =>
               Report.Failed("Incorrect exception raised when Function " &
                             "Arctanh is given parameter value -1");
         end;

         -- Raised by Arccoth, when the value of the parameter is +1.
         begin
            TC_Complex := Arccoth (Plus_One);
            Report.Failed("Constraint_Error not raised when Function " &
                          "Arccoth is given parameter value +1");
            No_Optimize(TC_Complex);
         exception
            when Constraint_Error => null;  -- OK, expected exception.
            when others =>
               Report.Failed("Incorrect exception raised when Function " &
                             "Arccoth is given parameter value +1");
         end;

         -- Raised by Arccoth, when the value of the parameter is -1.
         begin
            TC_Complex := Arccoth (Minus_One);
            Report.Failed("Constraint_Error not raised when Function " &
                          "Arccoth is given parameter value -1");
            No_Optimize(TC_Complex);
         exception
            when Constraint_Error => null;  -- OK, expected exception.
            when others =>
               Report.Failed("Incorrect exception raised when Function " &
                             "Arccoth is given parameter value -1");
         end;

      else
         Report.Comment
           ("Attribute Complex_Pack.Real'Machine_Overflows is False; " &
            "evaluation of the complex elementary functions under "    &
            "specified circumstances was not performed");
      end if;


   exception
      when others => 
        Report.Failed ("Unexpected exception raised in Test_Block");
   end Test_Block;

   Report.Result;

end CXG1004;