I made Context.codeBug public so optimizer can use it.

This commit is contained in:
igor%mir2.org 2003-02-14 23:47:11 +00:00
Родитель 7f8725b63d
Коммит fa68d2fa82
1 изменённых файлов: 4 добавлений и 2 удалений

Просмотреть файл

@ -2199,8 +2199,10 @@ public class Context {
activationNames.remove(name);
}
// Rudimentary support for Design-by-Contract
static void codeBug() {
/**
* Throws RuntimeException to indicate failed assertion.
*/
public static void codeBug() throws RuntimeException {
throw new RuntimeException("FAILED ASSERTION");
}