01: // InvalidResourceException.java
02: // $Id: InvalidResourceException.java,v 1.4 2000/08/16 21:37:52 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.tools.resources;
07:
08: /**
09: * The resource is no more a valide resource.
10: */
11:
12: public class InvalidResourceException extends Exception {
13:
14: public InvalidResourceException(String id, String msg) {
15: super ("[" + id + "] loadResource failed: " + msg);
16: }
17:
18: public InvalidResourceException(String parent, String child,
19: String msg) {
20: super ("[" + parent + " , " + child
21: + "] registerResource failed: " + msg);
22: }
23: }
|