@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);
}
}
@Override
public void restoreState(Hashtable<?, ?> state) {
super.restoreState(state);
final Object rank = state.get(hash + "rank");
if (rank != null) {
this.rank = (Integer) HashtableStoreSupport.restore(rank);
}
final Object doubleArrow = state.get(hash + "doubleArrow");
if (doubleArrow != null) {
this.doubleArrow = (Boolean) HashtableStoreSupport.restore(doubleArrow);
}
final Object dashedRightLine = state.get(hash + "dashedRightLine");
if (dashedRightLine != null) {
this.dashedRightLine = (Boolean) HashtableStoreSupport.restore(dashedRightLine);
}
final Object dashedLeftLine = state.get(hash + "dashedLeftLine");
if (dashedLeftLine != null) {
this.dashedLeftLine = (Boolean) HashtableStoreSupport.restore(dashedLeftLine);
}
}
@Override
public void restoreState(Hashtable<?, ?> state) {
super.restoreState(state);
final Object root = state.get(hash + "root");
if (root != null) {
this.root = (SuffixTreeNode) HashtableStoreSupport.restore(root);
}
if (this.root != null) {
this.root.restoreState(state);
}
final Object text = state.get(hash + "text");
if (text != null) {
this.text = (String) HashtableStoreSupport.restore(text);
}
final Object str = state.get(hash + "str");
if (str != null) {
this.str = (StringElem) HashtableStoreSupport.restore(str);
}
if (this.str != null) {
this.str.restoreState(state);
}
}
@Override
public synchronized void restoreState(Hashtable<?, ?> state) {
final Object position = state.get(hash + "currentPosition");
if (position != null) {
this.currentPosition = (Integer) HashtableStoreSupport.restore(position);
}
final Object s = state.get(hash + "s");
if (s != null) {
this.s = (List<String>) HashtableStoreSupport.restore(s);
}
final Object pre = state.get(hash + "pre");
if (pre != null) {
this.pre = (List<String>) HashtableStoreSupport.restore(pre);
}
final Object post = state.get(hash + "post");
if (post != null) {
this.post = (List<String>) HashtableStoreSupport.restore(post);
}
final Object param = state.get(hash + "param");
if (param != null) {
this.param = (List<String[]>) HashtableStoreSupport.restore(param);
}
}
