equal
deleted
inserted
replaced
41 public static final String RCSID = "$Id: StateEditable.java,v 1.2 1997/09/08 19:39:08 marklin Exp $"; |
41 public static final String RCSID = "$Id: StateEditable.java,v 1.2 1997/09/08 19:39:08 marklin Exp $"; |
42 |
42 |
43 /** |
43 /** |
44 * Upon receiving this message the receiver should place any relevant |
44 * Upon receiving this message the receiver should place any relevant |
45 * state into <EM>state</EM>. |
45 * state into <EM>state</EM>. |
|
46 * |
|
47 * @param state Hashtable object to store the state |
46 */ |
48 */ |
47 public void storeState(Hashtable<Object,Object> state); |
49 public void storeState(Hashtable<Object,Object> state); |
48 |
50 |
49 /** |
51 /** |
50 * Upon receiving this message the receiver should extract any relevant |
52 * Upon receiving this message the receiver should extract any relevant |
51 * state out of <EM>state</EM>. |
53 * state out of <EM>state</EM>. |
|
54 * |
|
55 * @param state Hashtable object to restore the state from it |
52 */ |
56 */ |
53 public void restoreState(Hashtable<?,?> state); |
57 public void restoreState(Hashtable<?,?> state); |
54 } // End of interface StateEditable |
58 } // End of interface StateEditable |