"An error that occurs due to an incorrectly written program.
An instance is thrown when an assertion fails, that is,
when a condition in an `assert` statement evaluates to
false at runtime.
The assertion
\"x must be positive\"
assert (x>0);
has almost the same effect as this `if` statement
if (!x>0) {
throw AssertionError(\"x must be positive\");
}"
shared native class AssertionError(message, Throwable? cause=null)
extends Throwable(message, cause) {
"A message describing the assertion that failed. In the
case of an `assert` statement, it is the text specified
by the `doc` annotation.
Certain tools interpret this message as
markdown-formatted text."
String message;
}