Warning: session_start(): open(/var/lib/php/sessions/sess_51fecu0but7i7uu31139hcmu0v, 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
sbool preciseCall_debug;
static Object preciseCall(Object o, String method, Object... args) ctex {
if (o cast Class) {
_MethodCache cache = callOpt_getCache(o);
L methods = cache.cache.get(method);
//L methods = findMethodsNamed2(o, method, true);
new Lowest best;
if (methods != null) for (Method m : methods) {
continue unless isStaticMethod(m);
int score = methodApplicabilityScore(m, args);
if (score < Int.MAX_VALUE) {
if (preciseCall_debug)
print("Method score: " + m + " " + score);
best.put(m, score);
}
}
Method m = best!;
if (m != null)
ret invokeMethod(m, null, args);
ret call_withVarargs(o, method, args); // TODO: make this precise too
} else
throw todo();
}