[819] in java-interest
re: throw specs in functions
daemon@ATHENA.MIT.EDU (Eduardo Pelegri-Llopart)
Fri Jul 21 01:13:36 1995
Date: Thu, 20 Jul 1995 21:00:06 -0700
From: pelegri@calterra.Eng.Sun.COM (Eduardo Pelegri-Llopart)
To: java-interest@java.Eng.Sun.COM
I'd also like to have throw specs in function specs. In addition to
allowing additional type-checking, an implementation might be able to
take advantage of the extra information to generate better code. That
is certainly the case for C++ exceptions (with the latest semantics)
and a PC-range based implementation of exceptions.
- eduardo
-
Note to Sun employees: this is an EXTERNAL mailing list!
Info: send 'help' to java-interest-request@java.sun.com
