Revision 4495 committed by mathieu

[email protected] Thu, 25 Aug 2005 17:48:53 -0400

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

Revision: 4495
Date: 2005-08-25 17:48:52 -0400 (Thu, 25 Aug 2005)
Author: mathieu
Log:

 * Added verified classes repository in SVerifier;
 * Completed method frame initialization in SVerifier.typeCheck();
 * Added final method overriding detection.
 

Changed:

 U   sablevm/branches/verifier/SVerifier.java
 U   sablevm/branches/verifier/classFile/SAttributeInfo.java
 U   sablevm/branches/verifier/dataFlowAnalysis/STypes.java
 U   sablevm/branches/verifier/parser/Parser.java