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
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
|
(* ****** ****** *)
(*
** An example of
** ATS and OpenSCAD co-programming
*)
(* ****** ****** *)
//
#include
"share/atspre_staload.hats"
#include
"share/HATS\
/atspre_staload_libats_ML.hats"
//
(* ****** ****** *)
//
#staload
"libats/libc/SATS/math.sats"
#staload _ =
"libats/libc/DATS/math.dats"
//
(* ****** ****** *)
//
#include "./../mylibies.hats"
//
#staload $OpenSCAD // opening it!
#staload $OpenSCAD_meta // opening it!
//
#include "./../mylibies_link.hats"
//
(* ****** ****** *)
(*
//
// HX-2017-05-17:
// For testing externally
//
#include
"$PATSHOMELOCS\
/atscntrb-hx-openscad/mylibies.hats"
//
#staload $OpenSCAD // opening it!
#staload $OpenSCAD_meta // opening it!
//
#include
"$PATSHOMELOCS\
/atscntrb-hx-openscad/mylibies_link.hats"
//
*)
(* ****** ****** *)
//
extern
fun
muglike
(
x0: double, y0: double, z0: double
) : scadobj
//
(* ****** ****** *)
implement
muglike
(x0, y0, z0) = let
//
val h = 1.0 and r = 0.5
//
val ball =
scadobj_sphere(sqrt(2.0)*r)
//
val cube = scadobj_cube(h, true)
//
(*
//
val red =
scadxyz_color_name("red", 1.0)
val blue =
scadxyz_color_name("blue", 1.0)
//
val ball = SCADOBJxyzobj(red, ball)
val cube = SCADOBJxyzobj(blue, cube)
//
*)
val
cylinder =
scadobj_cylinder1(h, 0.9*r, true)
val
tfm_trans =
scadtfm_translate(0.0, 0.0, 0.1)
val
cylinder =
scadobj_tfmapp(tfm_trans, cylinder)
//
val
mug = (ball \cap cube) \diff cylinder
//
val
mug =
scadobj_tfmapp
(scadtfm_translate(0.0, 0.0, 0.5), mug)
//
in
//
scadobj_tfmapp(scadtfm_scale(x0, y0, z0), mug)
//
end // end of [muglike]
(* ****** ****** *)
implement
main0() = () where
{
//
val out = stdout_ref
//
val obj =
muglike(10.0, 10.0, 17.5)
//
val () =
fprint!
( out, "\
/*
The code is automatically
generated from [test01.dats]
*/\n\n\
")
val () =
fprint!
(out, "$fa=0.1; $fs=0.1;\n\n")
//
val () =
scadobj_femit(out, 0(*nsp*), obj)
//
val () =
fprint!
(out, "\n/* end of [test01_dats.scad] */\n")
//
} (* end of [main0] *)
(* ****** ****** *)
(* end of [test01.dats] *)
|
