/* GraphOverflowException.java 1.0                        */
/* Adapted by Sharon M. Tuttle from an example on p. 55   */
/*    of "Java Precisely", Sestoft                        */
/* last modified: 5-2-03                                  */

public class GraphOverflowException extends Exception
{
    public GraphOverflowException()
    {
        // acc to "Java Precisely", p. 55: "Passing a string to the
        // constructor of the superclass (that is, class Exception)
        // causes method toString to append that string to the
        // name of the exception."
        super("Graph cannot hold any more vertices");
    }
}