Revision 4573 committed by mathieu

[email protected] Thu, 29 Sep 2005 17:16:06 -0400

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

Revision: 4573
Date: 2005-09-29 17:16:05 -0400 (Thu, 29 Sep 2005)
Author: mathieu
Log:

 * Added type sets handling for each emplacement in the frame (SFrame).
 

Changed:

 U   sablevm/branches/verifier/SVerifier.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