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
// Time: April 29, 2010
//
(* ****** ****** *)
(*
** Ported to ATS2 by Hongwei Xi, September, 2013
*)
(* ****** ****** *)
//
// How to compile:
// patscc -I${PATSHOME}/npm-utils/contrib \
// -o tutprog_linecap tutprog_linecap.dats `pkg-config cairo --cflags --libs`
//
// How to test: ./tutprog_linecap
//
(* ****** ****** *)
//
#include
"share/atspre_staload.hats"
//
(* ****** ****** *)
//
#define
LIBCAIRO_targetloc
"\
$PATSHOME/\
npm-utils/contrib\
/atscntrb/atscntrb-hx-libcairo"
//
(* ****** ****** *)
//
#include
"{$LIBCAIRO}/mylibies.hats"
#staload $CAIRO // opening it!
//
(* ****** ****** *)
implement
main0 () = () where
{
val W = 300 and H = 300
val sf = cairo_image_surface_create (CAIRO_FORMAT_ARGB32, W, H)
val cr = cairo_create (sf)
macdef c0set () = cairo_set_source_rgb (cr, 0.0, 0.0, 0.0)
macdef c1set () = cairo_set_source_rgb (cr, 0.25, 0.25, 0.25)
//
val () = cairo_set_line_width (cr, 30.0)
//
val () = c0set ()
val () = cairo_move_to (cr, 75.0, 50.0)
val () = cairo_rel_line_to (cr, 0.0, 200.0)
val () = cairo_set_line_cap (cr, CAIRO_LINE_CAP_BUTT)
val () = cairo_stroke (cr)
//
val () = c1set ()
val () = cairo_move_to (cr, 150.0, 50.0)
val () = cairo_rel_line_to (cr, 0.0, 200.0)
val () = cairo_set_line_cap (cr, CAIRO_LINE_CAP_ROUND)
val () = cairo_stroke (cr)
val () = c0set ()
val () = cairo_move_to (cr, 150.0, 50.0)
val () = cairo_rel_line_to (cr, 0.0, 200.0)
val () = cairo_set_line_cap (cr, CAIRO_LINE_CAP_BUTT)
val () = cairo_stroke (cr)
//
val () = c1set ()
val () = cairo_move_to (cr, 225.0, 50.0)
val () = cairo_rel_line_to (cr, 0.0, 200.0)
val () = cairo_set_line_cap (cr, CAIRO_LINE_CAP_SQUARE)
val () = cairo_stroke (cr)
val () = c0set ()
val () = cairo_move_to (cr, 225.0, 50.0)
val () = cairo_rel_line_to (cr, 0.0, 200.0)
val () = cairo_set_line_cap (cr, CAIRO_LINE_CAP_BUTT)
val () = cairo_stroke (cr)
//
val status =
cairo_surface_write_to_png (sf, "tutprog_linecap.png")
val () = cairo_surface_destroy (sf); val () = cairo_destroy (cr)
//
val () =
if status = CAIRO_STATUS_SUCCESS then begin
print "The image is written to the file [tutprog_linecap.png].\n"
end else begin
print "exit(ATS): [cairo_surface_write_to_png] failed"; print_newline ()
end // end of [if]
//
} (* end of [main0] *)
(* ****** ****** *)
(* end of [tutprog_linecap.dats] *)
|
