[kaffe] Kaffe CVS: kaffe rob

[Kaffe CVS]

CVSROOT:	/cvs/kaffe
Module name:	kaffe
Changes by:	rob	03/06/29 14:07:02

Modified files:
	.              : ChangeLog 
	kaffe/kaffevm  : debug.h debug.c verify.c 

Log message:
This is the first of a series of small checkins that will
integrate a verifier into kaffe.  This one adds most of
pass 2 verification, though without a parser for type
descriptors of method and field references from the constant
pool.

* kaffe/kaffevm/debug.h
Added VERIFY2, VERIFY3, and VERIFY debugging flags.

* kaffe/kaffevm/debug.c
Added VERIFY2, VERIFY3, and VERIFY debugging flags.

* kaffe/kaffevm/verify.c
Rewrote verify2() and added support methods that check
for errors in method static constraints.