001    package escjava.vcGeneration.xml;
002    
003    import java.io.IOException;
004    
005    /**
006     * This Exception class is used to signal to escjava.Main when the XmlProver 
007     * class has hit an irrecoverable error.
008     * 
009     * @author Carl Pulley
010     *
011     */
012    public class XmlProverException extends IOException {
013    
014        public String stylesheet;
015        
016        public XmlProverException(String stylesheet) {
017            this.stylesheet = stylesheet;
018        }
019        
020    }