Warning: session_start(): open(/var/lib/php/sessions/sess_9svrvrd0odjdnupkuoqt4tfpnf, 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 PMapCollector extends Probabilistic {
new Map map;
new L> onNewEntry;
new L> onChangedEntry;
void put(A key, B value) {
bool isNew = !map.containsKey(key);
B oldValue = null;
bool isChanged = !isNew && !eq(oldValue = map.get(key), value);
if (isNew || isChanged)
map.put(key, value);
if (isNew)
pcallFAll(onNewEntry, key, value);
else
pcallFAll(onChangedEntry, key, oldValue, value);
}
void onNewEntry
}