/*
 *                    BioJava development code
 *
 * This code may be freely distributed and modified under the
 * terms of the GNU Lesser General Public Licence.  This should
 * be distributed with the code.  If you do not have a copy,
 * see:
 *
 *      http://www.gnu.org/copyleft/lesser.html
 *
 * Copyright for this code is held jointly by the individual
 * authors.  These should be listed in @author doc comments.
 *
 * For more information on the BioJava project and its aims,
 * or to join the biojava-l mailing list, visit the home page
 * at:
 *
 *      http://www.biojava.org/
 *
 */

package org.biojava.utils;

/**
 * Exception thrown when an error occurs in document parsing.
 * It may optionally include the following fields:
 *
 * <pre>
 *   Locator (file name, URL, etc.)
 *   Line number (negative for unknown)
 *   The text of the actual offending line (Null if unknown)
 *   Character offset (negative for unknown)
 * </pre>
 */

public class ParserException extends Exception {
    private String locator = null;
    private int lineNumber = -1;
    private int character = -1;
    private String line = null;

    public ParserException(String detail) {
	super(detail);
    }

    public ParserException(String detail, String locator) {
	super(detail);
	this.locator = locator;
    }

    public ParserException(String detail, String locator, int line) {
	super(detail);
	this.locator = locator;
	this.lineNumber = line;
    }

    public ParserException(String detail,
			  String locator,
			  int lineNumber,
			  String line)
    {
	super(detail);
	this.locator = locator;
	this.lineNumber = lineNumber;
	this.line = line;
    }

    public ParserException(String detail,
			  String locator,
			  int lineNumber,
			  String line,
			  int character)
    {
	super(detail);
	this.locator = locator;
	this.lineNumber = lineNumber;
	this.character = character;
	this.line = line;
    }

    /**
     * Get a locator for the stream which caused this exception.
     *
     * @return A locator string, or <code>null</code> if none is
     *         known.
     */

    public String getLocator() {
	return locator;
    }

    /**
     * Get the line number in the stream where this exception occured.
     *
     * @return A positive integer line number, or -1 if not known.
     */

    public int getLineNumber() {
	return lineNumber;
    }

    /**
     * Get the character offset in the line where an error was detected.
     *
     * @return The first character in the line where the parser detected
     *         an error, or -1 if the exception effects the whole line.
     */

    public int getCharacterOffset() {
	return character;
    }

    /**
     * Get the text of the line where the exception occured.
     *
     * @return The text of the line, or <code>null</code> if not known.
     */

    public String getLine() {
	return line;
    }

    /**
     * Represent this exception as a string.  This includes
     * the default exception toString representation, followed
     * by details of the location where the error occured, if
     * they were supplied when constructing this exception.
     *
     * @return A string representation of this exception.
     */

    public String toString() {
	StringBuffer sb = new StringBuffer(super.toString());
	if (locator != null) {
	    sb.append('\n');
	    sb.append("Parsing location: ");
	    sb.append(locator);
	}

	if (lineNumber >= 0) {
	    sb.append('\n');
	    sb.append("Parsing line: ");
	    sb.append(lineNumber);
	}

	if (line != null) {
	    sb.append('\n');
	    sb.append(line);
	    if (character >= 0) {
		sb.append('\n');
		for (int i = 0; i < character; ++i)
		    sb.append(' ');
		sb.append('^');
	    }
	}
	sb.append('\n');
	return sb.toString();
    }
}