Warning: session_start(): open(/var/lib/php/sessions/sess_kt4lfmsu7boittagbf9h9qmmqq, 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
svoid tok_typeAO(L tok, Set pairClasses) { int n = l(tok)-6; bool change = false; for (int i = 1; i < n; i += 2) { if (!eq(get(tok, i+2), "<")) continue; S t = tok.get(i); continue unless contains(pairClasses, t); if (tok_isSingleTypeArg(tok, i+2)) { int j = findEndOfTypeArgs(tok, i+2)-1; S type = joinSubList(tok, i+4, j); replaceTokens_reTok(tok, i+4, j, type + ", Object"); change = true; } } }