Warning: session_start(): open(/var/lib/php/sessions/sess_bbto8uhnd9k79hirbg6bs05n4c, 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 Int.MAX_VALUE if not applicable // returns -score if conversions are needed // or +score if no conversions are needed // Lower score is better // assumes no arguments are null static int methodApplicabilityScore_withPrimitiveWidening_onTypes(Executable m, Class[] argTypes) { Class[] types = m.getParameterTypes(); if (types.length != l(args)) ret Int.MAX_VALUE; int score = 0; bool widenings; for (int i = 0; i < types.length; i++) { Class t = argTypes[i]; Class c = types[i]; int s = typeConversionScoreWithUnboxing(t, c); printVars ifdef typeConversionScore_debug("typeConversionScoreWithUnboxing", +t, +c, +s); if (s == Int.MAX_VALUE) ret Int.MAX_VALUE; if (s < 0) set widenings; score += abs(s); } ret widenings ? -score : score; }