@Override public void storeState(Hashtable<Object, Object> state) { super.storeState(state); HashtableStoreSupport.store(state, hash + "rank", rank); HashtableStoreSupport.store(state, hash + "doubleArrow", doubleArrow); HashtableStoreSupport.store(state, hash + "dashedRightLine", dashedRightLine); HashtableStoreSupport.store(state, hash + "dashedLeftLine", dashedLeftLine); }
@Override public void storeState(Hashtable<Object, Object> state) { HashtableStoreSupport.store(state, hash + "currentPosition", currentPosition); HashtableStoreSupport.store(state, hash + "s", s); HashtableStoreSupport.store(state, hash + "pre", pre); HashtableStoreSupport.store(state, hash + "post", post); HashtableStoreSupport.store(state, hash + "param", param); }
@Override public void storeState(Hashtable<Object, Object> state) { super.storeState(state); HashtableStoreSupport.store(state, hash + "root", root); if (root != null) { root.storeState(state); } HashtableStoreSupport.store(state, hash + "text", text); HashtableStoreSupport.store(state, hash + "str", str); if (str != null) { str.storeState(state); } }