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
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
|
(*
** Author: Hongwei Xi
** Start time: October, 2013
** Authoremail: gmhwxiATgmailDOTcom
*)
(* ****** ****** *)
//
#include
"share/atspre_define.hats"
#include
"share/atspre_staload.hats"
//
(* ****** ****** *)
//
#define MYDRAW_CANVAS2D
//
#include "./../mylibies.hats"
//
#staload $MYDRAW
#staload $MYDRAW_canvas2d
//
#include "./../DATS/mydraw.dats"
#include "./../DATS/mydraw_HTML5_canvas2d.dats"
//
(* ****** ****** *)
//
#include "./test03.dats"
//
(* ****** ****** *)
extern
fun
canvas2d_draw_koch
{l:agz}
(
cr: !canvas2d (l)
, p1: point, p2: point, p3: point, clr: color
, level: int
) : void // end of [canvas2d_draw_koch]
implement
canvas2d_draw_koch
(ctx, p1, p2, p3, clr, n) = let
//
val p_ctx = ptrcast (ctx)
//
implement
mydraw_get0_canvas2d<> () = let
//
extern
castfn __cast {l:addr} (ptr(l)): vttakeout (void, canvas2d(l))
//
in
__cast (p_ctx)
end // end of [mydraw_get0_canvas2d]
//
val () = draw_koch (p1, p2, clr, n)
val () = draw_koch (p2, p3, clr, n)
val () = draw_koch (p3, p1, clr, n)
//
in
// nothing
end // end of [canvas2d_draw_koch]
(* ****** ****** *)
val W = 600.0 and H = 400.0
(* ****** ****** *)
implement
main0 () =
{
//
val id =
"KochSnowflake"
//
val
ctx = canvas2d_make (id)
//
val ((*void*)) =
assertloc(ptrcast(ctx) > 0)
//
val WH = min (W, H)
val WH2 = WH / 2.0
val WH3 = WH / 3.0
//
val () =
canvas2d_translate
(ctx, WH2, (WH2+WH3)/2)
//
val (pf0 | ()) = canvas2d_save (ctx)
//
val p1 = point_make (~WH3, WH3)
val p2 = point_make ( 0.0, ~WH3)
val p3 = point_make ( WH3, WH3)
//
val clr = color_make (0.0, 0.0, 1.0)
//
val () = canvas2d_draw_koch (ctx, p1, p2, p3, clr, 4)
//
val () = canvas2d_restore (pf0 | ctx)
//
val () = canvas2d_free (ctx)
//
} (* end of [main0] *)
(* ****** ****** *)
(* end of [test03-canvas2d.dats] *)
|
