Warning: session_start(): open(/var/lib/php/sessions/sess_an0qibn1iem6re350dpmcmlhod, 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 AutoMap extends AbstractMap {
new HashMap map;
O f;
*() {}
*(O *f) {}
public B get(O a) {
if (map.containsKey(a))
ret map.get(a);
B b = cast callF(f, a);
map.put(a, b);
ret b;
}
// unclear semantics
public bool containsKey(O a) {
ret map.containsKey(a);
}
public Set> entrySet() {
ret map.entrySet();
}
}