@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);
}
}
