comparison src/cjr_print.sml @ 2223:9410959d296f

Remove Sqlcache urlification hack.
author Ziv Scully <ziv@mit.edu>
date Sat, 29 Nov 2014 04:34:41 -0500
parents 278e10629ba1
children e10881cd92da
comparison
equal deleted inserted replaced
2222:4d967a4ddb82 2223:9410959d296f
3392 string "static int uw_db_rollback(uw_context ctx) { return 0; };"], 3392 string "static int uw_db_rollback(uw_context ctx) { return 0; };"],
3393 newline, 3393 newline,
3394 newline, 3394 newline,
3395 3395
3396 (* For sqlcache. *) 3396 (* For sqlcache. *)
3397 (* TODO: also record between Cache.check and Cache.store. *)
3398 box (List.map 3397 box (List.map
3399 (fn {index, params} => 3398 (fn {index, params} =>
3400 let val i = Int.toString index 3399 let val i = Int.toString index
3401 fun paramRepeat itemi sep = 3400 fun paramRepeat itemi sep =
3402 let 3401 let
3438 newline, 3437 newline,
3439 string "static uw_Basis_string uw_Sqlcache_check", 3438 string "static uw_Basis_string uw_Sqlcache_check",
3440 string i, 3439 string i,
3441 string "(uw_context ctx", 3440 string "(uw_context ctx",
3442 string args, 3441 string args,
3443 string ") {\n puts(\"SQLCACHE: checked ", 3442 string ") {\n if (cacheQuery",
3444 string i,
3445 string ".\");\n if (cacheQuery",
3446 string i, 3443 string i,
3447 (* ASK: is returning the pointer okay? Should we duplicate? *) 3444 (* ASK: is returning the pointer okay? Should we duplicate? *)
3448 string " == NULL", 3445 string " == NULL",
3449 string eqs, 3446 string eqs,
3450 string ") {\n puts(\"miss D:\");\n uw_recordingStart(ctx);\n return NULL;\n } else {\n puts(\"hit :D\");\n uw_write(ctx, cacheWrite", 3447 string ") {\n puts(\"SQLCACHE: miss ",
3448 string i,
3449 string ".\");\n uw_recordingStart(ctx);\n return NULL;\n } else {\n puts(\"SQLCACHE: hit ",
3450 string i,
3451 string ".\");\n uw_write(ctx, cacheWrite",
3451 string i, 3452 string i,
3452 string ");\n return cacheQuery", 3453 string ");\n return cacheQuery",
3453 string i, 3454 string i,
3454 string ";\n } };", 3455 string ";\n } };",
3455 newline, 3456 newline,
3471 string i, 3472 string i,
3472 string " = uw_recordingRead(ctx);", 3473 string " = uw_recordingRead(ctx);",
3473 newline, 3474 newline,
3474 string sets, 3475 string sets,
3475 newline, 3476 newline,
3476 string "puts(\"SQLCACHE: stored ", 3477 string "puts(\"SQLCACHE: store ",
3477 string i, 3478 string i,
3478 string ".\");\n return uw_unit_v;\n };", 3479 string ".\");\n return uw_unit_v;\n };",
3479 newline, 3480 newline,
3480 string "static uw_unit uw_Sqlcache_flush", 3481 string "static uw_unit uw_Sqlcache_flush",
3481 string i, 3482 string i,
3487 string eqsNull, 3488 string eqsNull,
3488 string ") {\n free(cacheQuery", 3489 string ") {\n free(cacheQuery",
3489 string i, 3490 string i,
3490 string ");\n cacheQuery", 3491 string ");\n cacheQuery",
3491 string i, 3492 string i,
3492 string " = NULL;\n puts(\"SQLCACHE: flushed ", 3493 string " = NULL;\n puts(\"SQLCACHE: flush ",
3493 string i, 3494 string i,
3494 string ".\");}\n else { puts(\"SQLCACHE: keeping ", 3495 string ".\");}\n else { puts(\"SQLCACHE: keep ",
3495 string i, 3496 string i,
3496 string "\"); } return uw_unit_v;\n };", 3497 string ".\"); } return uw_unit_v;\n };",
3497 newline, 3498 newline,
3498 newline] 3499 newline]
3499 end) 3500 end)
3500 (Sqlcache.getFfiInfo ())), 3501 (Sqlcache.getFfiInfo ())),
3501 newline, 3502 newline,