Revision 4476 committed by mathieu

[email protected] Tue, 16 Aug 2005 13:26:04 -0400

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

Revision: 4476
Date: 2005-08-16 13:26:02 -0400 (Tue, 16 Aug 2005)
Author: mathieu
Log:

 * Added STypes.VOID;
 * Began to treat the fix points type states in SVerifier.typeCheck().
 

Changed:

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