Verification and Error Messages

HolonJ

HolonJ catches many errors, particularly wrong flow constructs, and much more. Errors are reported in plain text.  HolonJ does not checks Java types, however, this is done thoroughly by the JVM.

JVM

The JVM verifies the loaded classes and displays a VerifyError, if something is not ok. The JDK V1.1 only gives a general verify error message, V1.2 is more specific, it names the method that contains the error and the type of error.

When I load a word, HolonJ recompiles the class and sends it to JMON. And the JVM instantly tells me if the class is formally correct. 

Typical errors

Empty locals

: bMove   ( -- int )   int bw  ...  ;     \  verify error.
: bMove   ( -- int )   int bw  0 =: bw  ... ;   \  accepted.

 




1998-2013 Wolf Wejgaard