01: // InvalidStoreClassException.java
02: // $Id: InvalidStoreClassException.java,v 1.2 2000/08/16 21:37:54 ylafon Exp $
03: // (c) COPYRIGHT MIT and INRIA, 1996-1997.
04: // Please first read the full copyright statement in file COPYRIGHT.html
05:
06: package org.w3c.tools.resources.store;
07:
08: /**
09: * A store is being loaded by a class who didn't write it.
10: */
11:
12: public class InvalidStoreClassException extends Exception {
13: /**
14: * The class willing to load that store.
15: */
16: protected String loader = null;
17: /**
18: * The class willing to unload that store.
19: */
20: protected String saver = null;
21:
22: /**
23: * Get the loader's class name.
24: * @return A String giving the full name of the loader's class.
25: */
26:
27: public String getLoaderClassName() {
28: return loader;
29: }
30:
31: /**
32: * Get the saver's class name.
33: * @return A String giving the full name of the saver's class.
34: */
35:
36: public String getSaverClassName() {
37: return saver;
38: }
39:
40: public InvalidStoreClassException(String loadingcls,
41: String expectedcls) {
42: super ("invalid class: " + loadingcls + ", supposed to be: "
43: + expectedcls);
44: this.loader = loadingcls;
45: this.saver = expectedcls;
46: }
47:
48: }
|