Warning: session_start(): open(/var/lib/php/sessions/sess_ksfe6hvdso3feupgjrpttr4iov, 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
sS shortJavaTypeDesc(O o) {
ret shortJavaTypeDesc(o, 0);
}
sS shortJavaTypeDesc(O o, int safety) {
if (safety >= 5) ret "...";
if (o == null) ret "null";
S name = shortClassName(o);
if (o cast Collection) {
if (empty(o)) name += " (empty)";
else {
O x = first(o);
name += "<" + shortJavaTypeDesc(x, safety+1) + ">";
}
}
if (o cast Map) {
if (empty(o)) name += " (empty)";
else {
Pair p = firstKeyAndValue(o);
name += "<" + shortJavaTypeDesc(pairA(p), safety+1)
+ ", " + shortJavaTypeDesc(pairB(p), safety+1) + ">";
}
}
ret name;
}