// InvalidLabelFileException.java
// $Id: InvalidLabelFileException.java,v 1.1 1996/04/10 13:46:53 abaird Exp $
// (c) COPYRIGHT MIT and INRIA, 1996.
// Please first read the full copyright statement in file COPYRIGHT.html

package w3c.jigsaw.pics ;

import java.io.File ;

public class InvalidLabelFileException extends Exception {
    
    public InvalidLabelFileException (String msg) {
	super (msg) ;
    }

    public InvalidLabelFileException (File file, int lineno, String msg) {
	this (file.getAbsolutePath()
	      + "[" + lineno + "]"
	      + ": " + msg) ;
    }
}
