OCL specifications for Java Card API
java.lang
ArithmeticException.txt
ArrayIndexOutOfBoundsException.txt
ArrayStoreException.txt
ClassCastException.txt
Exception.txt
IndexOutOfBoundsException.txt
NegativeArraySizeException.txt
NullPointerException.txt
Object.txt
RuntimeException.txt
SecurityException.txt
Throwable.txt