// @author David R. Cok

package java.lang;

public class AbstractMethodError extends IncompatibleClassChangeError {

    //@ public normal_behavior
    //@   ensures standardThrowable(null);
    public /*@ pure @*/ AbstractMethodError();

    //@ public normal_behavior
    //@   ensures standardThrowable(s);
    public /*@ pure @*/ AbstractMethodError(String s);
}

