// InvalidLabelFileException.java
// $Id: InvalidLabelFileException.java,v 1.2 1997/05/21 12:55:00 bmahe 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 InvalidLabelException {
    
    public InvalidLabelFileException (String msg) {
        super (msg) ;
    }
 
    public InvalidLabelFileException (File file, int lineno, String msg) {
        this (file.getAbsolutePath()
              + "[" + lineno + "]"
              + ": " + msg) ;
    }
}
