Exemple #1
0
 @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);
   }
 }
Exemple #2
0
  @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);
    }
  }
Exemple #3
0
 @Override
 public void languageChanged() {
   border.setTitle("    " + Languages.getString(D.getName()) + "    ");
 }