Revision 4501 committed by mathieu

[email protected] Wed, 31 Aug 2005 18:19:30 -0400

Newsgroups	gmane.comp.java.vm.sablevm.cvs
Message-ID	<[email protected]>

Revision: 4501
Date: 2005-08-31 18:19:29 -0400 (Wed, 31 Aug 2005)
Author: mathieu
Log:

 * Added exception handlers verification of static constraints
 *   plus partial verification of structural constraints.
 * Improved the atrow instruction simulation.
 

Changed:

 U   sablevm/branches/verifier/SVerifier.java
 U   sablevm/branches/verifier/classFile/SCodeAttribute.java
 U   sablevm/branches/verifier/classFile/SExceptionTableEntry.java