!ASIS Issue #037
!topic  Non testable requirement
!reference  ASIS 95-1.1.3.1(4) Implementation Conformance Requirements
!from  Doug Smith 97-02-22
!keywords  testable exception
!discussion

(4) "Except as explicitly provided for in this standard,
Standard.Storage_Error is the only exception that shall
be raised by operations declared in this standard."

 I don't know how this is testable. Obviously, all of the defined exceptional
 conditions can be tested, but to require that no other exceptions be raised
 places a strong burden of proof on anyone claiming to be a conforming
 implementation.

!resolution  Accepted, with Modifications.
!date 97-03-26
!Notes

Change "shall" to "should".

Changes were made to ASIS version 2.0.M.