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
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
|
(*
** Author: Hongwei Xi
** Authoremail: gmhwxiATgmailDOTcom
** Start time: September, 2013
*)
(* ****** ****** *)
//
#include
"share/atspre_define.hats"
#include
"share/atspre_staload.hats"
//
(* ****** ****** *)
//
#define
LIBCAIRO_targetloc
"$PATSHOME/npm-utils\
/contrib/atscntrb-libcairo"
//
(* ****** ****** *)
//
#staload
"{$LIBCAIRO}/SATS/cairo.sats"
//
(* ****** ****** *)
//
#define MYDRAW_CAIRO
//
#include "./../mylibies.hats"
//
#staload $MYDRAW
#staload $MYDRAW_cairo
//
#include "./../DATS/mydraw.dats"
#include "./../DATS/mydraw_cairo.dats"
//
(* ****** ****** *)
#include "./test02.dats"
(* ****** ****** *)
implement
main0 () = () where
{
//
val M = 8 and N = 8
val W = 400 and H = 400
//
// create a sf for drawing
//
val sf =
cairo_image_surface_create (CAIRO_FORMAT_ARGB32, W, H)
val cr = cairo_create (sf)
val p_cr = cairo_ref2ptr (cr)
//
val WH = min (W, H)
val WH = g0int2float_int_double (WH)
//
val p0 = point_make (0.0, 0.0)
//
val (pf0 | ()) = cairo_save (cr)
//
val () = cairo_scale (cr, 1.0*W/N, 1.0*H/M)
//
implement
mydraw_get0_cairo<> () = let
extern
castfn __cast {l:addr} (ptr (l)): vttakeout (void, cairo_ref(l))
in
__cast (p_cr)
end // end of [mydraw_get0_cairo]
//
val clr1 = color_make (1.0, 1.0, 1.0)
val clr2 = color_make (0.0, 0.0, 0.0)
//
val () = draw_mrow (p0, clr1, clr2, M, N)
//
val () = cairo_restore (pf0 | cr)
//
val status =
cairo_surface_write_to_png (sf, "test02.png")
val () = cairo_surface_destroy (sf) // a type error if omitted
val () = cairo_destroy (cr) // a type error if omitted
//
// in case of a failure ...
//
val () = assertloc (status = CAIRO_STATUS_SUCCESS)
//
} (* end of [main0] *)
(* ****** ****** *)
(* end of [test02.dats] *)
|
