Automatic Resource Management, V.2
markmahieu at googlemail.com
Tue Apr 21 20:44:42 PDT 2009
2009/4/22 <brucechapman at paradise.net.nz>
> The only nit here would be if the verifier did
> Exception checking and complained that Exception was not caught, but I
> think that is the case (from a quick browse of the verifier spec, tho I am
> in NO
> WAY AT ALL knowledgable about such things).
> -anyone know for sure??
If I understand you correctly then no, the verifier wouldn't care; checked
exceptions are a language-level feature.
More information about the coin-dev