Warning: session_start(): open(/var/lib/php/sessions/sess_eh058davev3b57ral9hdg9hvl2, 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 TripleIndex extends VirtualNodeIndex {
SyncListMultiMap> index = caseInsensitiveSyncListMultiMap();
Map websByID = synchroHashMap();
int size;
int numWebs() {
ret size;
}
L get(S query) {
ret ai_tripleRefsToWebNodes_lazyList(index.get(query));
}
Web getWeb(GlobalID id) {
ret webFromTriple(websByID.get(id));
}
void addWeb(Web web) {
if (web == null) ret;
TripleWeb w = ai_webToTripleWeb(web);
if (w == null)
//ret with print("Skipping non-tripelizable web");
fail("Skipping non-tripelizable web: " + webToStringShort(web));
index.put(w.a, TripleA(w));
index.put(w.b, TripleB(w));
index.put(w.c, TripleC(w));
websByID.put(w.globalID, w);
}
void clear() {
index.clear();
websByID.clear();
}
}