Revision 4462 committed by mathieu

[email protected] Mon, 08 Aug 2005 22:59:01 -0400

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

Revision: 4462
Date: 2005-08-08 22:59:01 -0400 (Mon, 08 Aug 2005)
Author: mathieu
Log:

 * Added SConstantPool field in SFrame;
 * added anewarray, checkcast and instanceof simulation.
 

Changed:

 U   sablevm/branches/verifier/SVerifier.java
 U   sablevm/branches/verifier/dataFlowAnalysis/SFrame.java
 U   sablevm/branches/verifier/dataFlowAnalysis/STypes.java