|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use JMLNonExecutableException | |
|---|---|
| org.jmlspecs.jml4.rac.runtime | |
| Uses of JMLNonExecutableException in org.jmlspecs.jml4.rac.runtime |
|---|
| Fields in org.jmlspecs.jml4.rac.runtime declared as JMLNonExecutableException | |
|---|---|
static JMLNonExecutableException |
JMLChecker.ANGELIC_EXCEPTION
An exception object indicating angelic undefinedness. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||