Revision 4460 committed by mathieu

[email protected] Mon, 08 Aug 2005 15:40:15 -0400
Newsgroups gmane.comp.java.vm.sablevm.cvs
Message-ID <[email protected]>
Revision: 4460
Date: 2005-08-08 15:40:15 -0400 (Mon, 08 Aug 2005)
Author: mathieu
Log:

 * Added load/store instructions simulation;
 * added STypes.UNINITIALIZED and type compatibility checks;
 * added local variables accessors and completed initialization.
 

Changed:

 U   sablevm/branches/verifier/SVerifier.java
 U   sablevm/branches/verifier/dataFlowAnalysis/SLocalVariables.java
 U   sablevm/branches/verifier/dataFlowAnalysis/SStack.java
 U   sablevm/branches/verifier/dataFlowAnalysis/STypes.java
 U   sablevm/branches/verifier/parser/Parser.java