Abstract method question

Question

Even though the method add in AbstractTest does not throw AnotherException, it compiles fine. Why is it ?
public class AbstractTest extends MyAbstract{
public void add()throws MyException {
class MyException extends Exception {
class AnotherException extends Exception {
abstract class MyAbstract {
abstract public void add() throws MyException, AnotherException;
}

Answer 1

JoachimSauer wrote:
When posting code, please use the code-tags (select your code and press "CODE" just above the text field). It is much easier to read this way.
A method overriding another method is perfectly free to reduce the checked exceptions that it can throw. That's because "throws Foo" only means "I could theoretically throw Foo". It doesn't guarantee that it ever actually throws Foo.
It must not add new ones, however.I like to look at it this way: "throws X" does not mean "I promise to throw X." On the contrary, it means, "I promise +not+ to throw anything +other than+ X (or its subclasses)." So when I child class "narrows" that throws clause it just means that it promises not to throws anything outside of an even smaller subset.