<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_2nqsjl2kchaa3ullk7sc5oartl, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
!7

cprint SnippetsDeepWordIndex {
  transient DeepWordIndex<S> wordIndex; // string = snippet ID

  start-thread {
    time "Make double word index" {
      print("Making index");
      new DeepWordIndex<S> wordIndex;
      for (virtual CSnippet sn : dm_allSnippets()) {
        S snippetID = (S) rcall snippetID(sn);
        S text = cast rcall text(sn);
        wordIndex.add(snippetID, text);
      }
      setField(+wordIndex);
    }
    print("Indexed " + nWords(wordIndex.numWords()));
  }
  
  // API
  
  Iterable<Pair<S, Cl<Int>>> snippetPreSearch_withPositions(S query, O... _) {
    time "lookup" {
      ret wordIndex == null ? null : wordIndex.lookupString_withPositions(query, _);
    }
  }
}