Verification and Error Messages
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.
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.
: bMove ( -- int ) int bw ... ; \ verify error.
: bMove ( -- int ) int bw 0 =: bw ... ; \ accepted.