OBJECTIVES FOR PLANNED TESTS -- Check that a compilation unit may not depend semantically -- on two different versions of the same compilation unit. -- Check the case where a separate package body depends -- on a library level generic package body that is changed. -- -- Check that a compilation unit may not depend semantically -- on two different versions of the same compilation unit. -- Check the case where a generic instantiation depends on -- a non-generic package that is changed. -- -- Check that a compilation unit may not depend semantically -- on two different versions of the same compilation unit. -- Check the case where a separate procedure body depends on -- a non-generic package specification that is changed. -- -- Check that a compilation unit may not depend semantically -- on two different versions of the same compilation unit. -- Check the case where a library level procedure depends -- on a withed generic package that is changed. -- -- Check that a compilation unit may not depend semantically -- on two different versions of the same compilation unit. -- Check the case where a generic package depends on another -- generic package specification. -- -- Check that a compilation unit may not depend semantically -- on two different versions of the same compilation unit. -- Check the case where a generic instantiation depends on -- a generic procedure that is changed. -- -- Check that a compilation unit may not depend semantically -- on two different versions of the same compilation unit. -- Check the case where a generic package depends on another -- generic package that is changed. -- -- Check that a compilation unit may not depend semantically -- on two different versions of the same compilation unit. -- Check the case where a generic instantiation depends on -- a generic package instantiation that is changed. -- -- Check that a compilation unit may not depend semantically on -- two different versions of the same compilation unit. Check -- the case where a generic package body depends on a generic -- package specification. -- -- Check that the Function To_Fortran with a Character parameter will -- return the corresponding Fortran Character_Set value. -- -- Check that the Function To_Ada with a Character_Set parameter will -- return the corresponding Ada Character value. -- -- Check that the Function To_Fortran with a String parameter will -- return the corresponding Fortran_Character value. -- -- Check that the Function To_Ada with a Fortran_Character parameter -- will return the corresponding Ada String value. -- -- Check that the procedure To_Fortran converts the character elements -- of the String parameter Item into Character_Set elements of the -- Fortran_Character type parameter Target. Check that the parameter -- Last contains the index of the last element of parameter Target -- that was assigned by To_Fortran. -- -- Check that Constraint_Error is propagated by procedure To_Fortran -- when the length of String parameter Item exceeds the length of -- Fortran_Character parameter Target. -- -- Check that the procedure To_Ada converts the Character_Set -- elements of the Fortran_Character parameter Item into Character -- elements of the String parameter Target. Check that the parameter -- Last contains the index of the last element of parameter Target -- that was assigned by To_Ada. -- -- Check that Constraint_Error is propagated by procedure To_Ada when -- the length of Fortran_Character parameter Item exceeds the length of -- String parameter Target. -- -- Check that Impdef values have been supplied for the special needs -- annexes. Check that the routines in TCTouch work correctly. -- Check that the Indent_Wide functions in Report work correctly. -- Display all values in Impdef. -- -- Check that actual parameters passed by reference are view converted -- to the nominal subtype of the formal parameter. -- Check that the view conversion is performed upon evaluation of a -- formal parameter that is an out mode pass by copy undiscriminated -- composite type having no implicit initial values. -- -- Check that the exponentiation operator returns -- results that are within the error bound allowed. -- -- Check that the TAN and COT functions return -- results that are within the error bound allowed. -- -- Check that the COSH and SINH functions return -- results that are within the error bound allowed. -- -- Check that the ARCSIN and ARCCOS functions return -- results that are within the error bound allowed. -- -- Check that the ARCTAN function returns -- results that are within the error bound allowed. -- -- Check that the TANH function returns -- results that are within the error bound allowed. -- -- Check that the Complex EXP function returns -- results that are within the error bound allowed. -- -- Check that the Complex LOG function returns -- results that are within the error bound allowed. -- -- Check that the Complex SQRT function returns -- results that are within the error bound allowed. -- -- Check that the Complex exponentiation operator returns -- results that are within the error bound allowed. -- -- Check that the Complex SIN and COS functions return -- results that are within the error bound allowed. -- -- Check that the accuracy requirements of fixed point arithmetic -- are met. -- -- Check that the binary adding operators for a decimal fixed point type -- return values that are integral multiples of the small of the type. -- -- Check that the multiplying operators for a decimal fixed point type -- return values that are integral multiples of the small of the type. -- Check the case where the operand and result types are the same. -- -- Check that if the mathematical result is between multiples of the -- small of the result type, the result is truncated toward zero. Additionally, approximately 3 Annex F picture string tests 3 Annex F decimal arithmetic tests 6 Transition tests 5 Miscellaneous core feature tests 5 Mixed feature tests 12 Annex H tests