Warning: session_start(): open(/var/lib/php/sessions/sess_0avad8bpdulbjaongkeeevhsv1, 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
// returns pair(status, MatchJob) static Pair solveMatchJob(L tokInput, S pattern) { L tokens = codeTokens(tok_combineAngleBrackets_keep(javaTok(pattern))); MatchJob mj = MatchJob(tokInput, tokens); S status = "Initial"; while licensed { status = simplifyMatchJob1(mj); if (!eqic(status, "Simplified")) break; } ret pair(status, mj); }