escjava.vcGeneration.xml
Class XmlProverException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          java.io.IOException
              escjava.vcGeneration.xml.XmlProverException

All Implemented Interfaces:

java.io.Serializable

public class XmlProverException

extends java.io.IOException

This Exception class is used to signal to escjava.Main when the XmlProver class has hit an irrecoverable error.

Author:

Carl Pulley

See Also:

Serialized Form

Field Summary

java.lang.String

stylesheet

Fields inherited from class java.lang.Exception

Fields inherited from class java.lang.Throwable

Constructor Summary

XmlProverException(java.lang.String stylesheet)

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

stylesheet

public java.lang.String stylesheet

Constructor Detail

XmlProverException

public XmlProverException(java.lang.String stylesheet)