HolonJ Forth
Using HolonJ
Clock
Tic Tac Toe

Testing/Console
Testing/Jmon
Debugging
Apps&Applets
Access
Style
Verification

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 you load a word, HolonJ recompiles the class and sends it to JMON. And the JVM instantly tells you if the class is formally correct. 

Typical errors

Empty locals

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