Revision 4471 committed by mathieu

[email protected] Sat, 13 Aug 2005 02:06:34 -0400

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

Revision: 4471
Date: 2005-08-13 02:06:32 -0400 (Sat, 13 Aug 2005)
Author: mathieu
Log:

 * Modified SWide to hold a SInstruction field for it's operand.
 * "Widened" SIinc index field to an int.
 * Modified SFrame to correctly represent a class or instance method
 *    and deal with category 2 types.
 * In SVerifier, upgraded pop* and dup* instructions treatement
 *    to deal with category 2 types.
 * Corrected a bug in SConstantPool.verifyStaticConstraints().
 

Changed:

 U   sablevm/branches/verifier/SVerifier.java
 U   sablevm/branches/verifier/classFile/SCodeArray.java
 U   sablevm/branches/verifier/classFile/SConstantPool.java
 U   sablevm/branches/verifier/classFile/SMethods.java
 U   sablevm/branches/verifier/classFile/sinstructions/SIinc.java
 U   sablevm/branches/verifier/classFile/sinstructions/SWide.java
 U   sablevm/branches/verifier/dataFlowAnalysis/SFrame.java
 U   sablevm/branches/verifier/dataFlowAnalysis/SLocalVariables.java
 U   sablevm/branches/verifier/dataFlowAnalysis/SStack.java
 U   sablevm/branches/verifier/parser/SCodeArrayParser.java