Reasoning about Exceptions

• Model of the language

• Exceptions propagating out of methods

void foo( int dim, Reader in, Object myString )

{

String[] str = new String[dim];

str[3] = (String)myString;

int data = in.read();

}

OutOfMemoryError

NegativeArraySizeException

ArrayStoreException

ArrayIndexOutOfBoundsException

NullPointerException

ClassCastException

Previous slide

Next slide

Back to first slide

View graphic version