Revision 4579 committed by jlazaar

[email protected] Fri, 30 Sep 2005 19:40:36 -0400

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

Revision: 4579
Date: 2005-09-30 19:40:36 -0400 (Fri, 30 Sep 2005)
Author: jlazaar
Log:

 * New method defsToFrame() in SDefs
 * New method  SFrame union(SFrame f1, SFrame f2) and  
   SFrame minus(SFrame f1, SFrame f2) 
 
 

Changed:

 U   sablevm/branches/verifier/dataFlowAnalysis/SDefs.java
 U   sablevm/branches/verifier/dataFlowAnalysis/SFrame.java
 U   sablevm/branches/verifier/dataFlowAnalysis/STypeAnalysis.java