148 |
method add_line (l: line) = line_list <- l::line_list |
method add_line (l: line) = line_list <- l::line_list |
149 |
method add_segment (s: segment) = line_list <- s::line_list |
method add_segment (s: segment) = line_list <- s::line_list |
150 |
method add_circle (c: circle) = circle_list <- c::circle_list |
method add_circle (c: circle) = circle_list <- c::circle_list |
151 |
|
method purge = |
152 |
|
begin |
153 |
|
(*point_list <- [];*) |
154 |
|
line_list <- []; |
155 |
|
circle_list <- [] |
156 |
|
end |
157 |
|
method remove_point name = |
158 |
|
point_list <- List.filter (fun o -> (o#get_name ()) <> name) point_list |
159 |
|
method remove_line name = |
160 |
|
line_list <- List.filter (fun o -> (o#get_name ()) <> name) line_list |
161 |
|
method remove_circle name = |
162 |
|
circle_list <- List.filter (fun o -> (o#get_name ()) <> name) circle_list |
163 |
|
|
164 |
method get_point name = List.find (fun o -> (o#get_name ()) = name) point_list |
method get_point name = List.find (fun o -> (o#get_name ()) = name) point_list |
165 |
method get_line name = |
method get_line name = |
166 |
let len = (String.length name)-1 in |
let len = (String.length name)-1 in |
216 |
List.iter (fun o -> o#draw()) line_list; |
List.iter (fun o -> o#draw()) line_list; |
217 |
List.iter (fun o -> o#draw()) circle_list; |
List.iter (fun o -> o#draw()) circle_list; |
218 |
end |
end |
219 |
|
|
220 |
|
method redraw () = |
221 |
|
begin |
222 |
|
w#clear(); |
223 |
|
List.iter (fun o -> o#draw()) point_list; |
224 |
|
List.iter (fun o -> o#draw()) line_list; |
225 |
|
List.iter (fun o -> o#draw()) circle_list; |
226 |
|
end |
227 |
|
|
228 |
|
|
229 |
end |
end |
230 |
|
|
231 |
let point (x,y) name (flag: flag_object) (fig: figure) = |
let point (x,y) name (flag: flag_object) (fig: figure) = |