Revision 4446 committed by mathieu

[email protected] Fri, 05 Aug 2005 00:29:07 -0400

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

Revision: 4446
Date: 2005-08-05 00:29:06 -0400 (Fri, 05 Aug 2005)
Author: mathieu
Log:

 * Began SVerifier.typeCheck();  Added constructor to SFrame and SLocalVariables;
 *   Added toString() to several classes;  Corrected staticConstraints verification
 *   for invokeinterface.  And some other things.
 

Changed:

 U   sablevm/branches/verifier/SVerifier.java
 U   sablevm/branches/verifier/classFile/SCodeArray.java
 U   sablevm/branches/verifier/dataFlowAnalysis/SDataFlowAnalysis.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/dataFlowAnalysis/STypeAnalysis.java
 U   sablevm/branches/verifier/dataFlowAnalysis/STypes.java