Revision 4582 committed by mathieu

[email protected] Mon, 03 Oct 2005 20:03:10 -0400

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

Revision: 4582
Date: 2005-10-03 20:03:09 -0400 (Mon, 03 Oct 2005)
Author: mathieu
Log:

 * Added method to handle subtype constraints during verification.
 

Changed:

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