| "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; |
| } |
| |