Warning: session_start(): open(/var/lib/php/sessions/sess_2a0muq8nhu3mj1hlge9b0ne0de, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51

Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
transient sclass DoubleWordIndex { new WordIndex index1; // forwards (normal words) new WordIndex index2; // backwards (reversed words) *() {} *(Comparator valueComparator) { index1 = new WordIndex(valueComparator); index2 = new WordIndex(valueComparator); } *(Map map) { fOr (A a, S text : map) add(a, text); } void add(A a, S text) { Set words = extractWords(text); for (S word : words) { index1.addWord(a, word); index2.addWord(a, reversed(word)); } } Set get(S word) { ret index1.get(word); } Set extractWords(S text) { ret index1.extractWords(text); } L wordRanges(S text) { ret index1.wordRanges(text); } }