01: // InvalidLabelFileException.java
02: // $Id: InvalidLabelFileException.java,v 1.4 2000/08/16 21:37:43 ylafon Exp $
03: // (c) COPYRIGHT MIT and INRIA, 1996.
04: // Please first read the full copyright statement in file COPYRIGHT.html
05:
06: package org.w3c.jigsaw.pics;
07:
08: import java.io.File;
09:
10: public class InvalidLabelFileException extends InvalidLabelException {
11:
12: public InvalidLabelFileException(String msg) {
13: super (msg);
14: }
15:
16: public InvalidLabelFileException(File file, int lineno, String msg) {
17: this (file.getAbsolutePath() + "[" + lineno + "]" + ": " + msg);
18: }
19: }
|