Warning: session_start(): open(/var/lib/php/sessions/sess_orsuq7f0rr3hma3sn2nkmbsno6, 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
sclass AdaptiveIdentifierCompression {
new SS shortenings;
new SS expansions;
S escapeWord = "xx";
S codeAlphabet = lowerCaseAlphabet();
ItIt it;
void init {
codeIterator if null = allWordsOfAlphabet(codeAlphabet);
}
S encode(S token) {
if (!isIdentifier(token)) ret token;
init();
S code = shortenings.get(token);
if (code != null)
ret code;
/*new LS out;
S expanded = expansion.get(code);
if (expanded != null) {
out.add(escapeWord);
S originalCode = shortenings.get(expanded);
shortenings.put(...);
}*/
code = newCode();
shortenings.put(token, code);
expansions.put(code, token);
ret code;
}
S newCode() {
S code;
do {
code = codeIterator!;
while (shortenings.containsKey(code));
}
}