judge/g_util.ml


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50

open Graphics
open Core

(* Graphic helpers *)
let grey = rgb 112 112 112
let red = rgb 200 0 0
let green = rgb 0 150 0
let orange = rgb 200 140 0

let p1c = blue
let p2c = red

let pc = function P1 -> p1c | P2 -> p2c

let center () = size_x () / 2, size_y () / 2

let fullscreen_msg m =
  clear_graph();
  let tx, ty = text_size m in
  let cx, cy = center () in
  let w, h = tx/2, ty/2 in
  set_color black;
  let cr d =
    draw_rect (cx - w - d) (cy - h - d)
              (2 * (w + d)) (2 * (h + d))
  in cr 20; cr 22;
  moveto (cx - w) (cy - h);
  draw_string m;
  synchronize ()

let tw m = fst (text_size m)

let text_l l x c m =
  set_color c;
  moveto x (size_y() - ((l+1) * 20));
  draw_string m

let text1 l c m =
  text_l l 30 c m
let text2 l c m =
  text_l l (size_x()/2 - 30 - tw m) c m
let text3 l c m =
  text_l l (size_x()/2 + 30) c m
let text4 l c m =
  text_l l (size_x() - 30 - tw m) c m

let hl () =
  draw_poly_line
    [| 10, size_y() - 50;
       size_x() - 10, size_y() - 50 |]