Assertions in Jikes RVM and MMTk
Partly for historical reasons, we use our own built-in assertion facility rather than the one that appeared in Sun®'s JDK 1.4. All assertion checks have one of the two forms:
VM.ExtremeAssertions instead of
VM.VerifyAssertions if the assertion is costly to check but generally useful. These kinds of assertions are only enabled when
config.assertions is set to
Assertions in the MMTk Test Harness
The assert keyword may be used in the MMTk Harness.