200 |
| Circle_found_point_expected s -> s^" est un cercle,la construction nécessite un point\n" |
| Circle_found_point_expected s -> s^" est un cercle,la construction nécessite un point\n" |
201 |
| Point_found_line_expected s -> s^" est un point,la construction nécessite une droite\n" |
| Point_found_line_expected s -> s^" est un point,la construction nécessite une droite\n" |
202 |
| Circle_found_line_expected s -> s^" est un cercle,la construction nécessite une droite\n" |
| Circle_found_line_expected s -> s^" est un cercle,la construction nécessite une droite\n" |
203 |
|
| _ -> "Syntaxe incorrecte!" |
204 |
|
|
205 |
let rec add_abr_for_im abr fig f = |
let rec add_abr_for_im abr fig f = |
206 |
match abr with |
match abr with |
218 |
|
|
219 |
and suppr_abr_for_im abr fig f = |
and suppr_abr_for_im abr fig f = |
220 |
match abr with |
match abr with |
221 |
| POINT (p,s) -> (Geom.suppr_obj s fig;f#remove_point s) |
| POINT (p,s) -> (Geom.suppr_obj s fig f;f#remove_point s) |
222 |
| LINE (l,s) -> (Geom.suppr_obj s fig;f#remove_line s) |
| LINE (l,s) -> (Geom.suppr_obj s fig f;f#remove_line s) |
223 |
| CIRCLE (c,s) -> (Geom.suppr_obj s fig;f#remove_circle s) |
| CIRCLE (c,s) -> (Geom.suppr_obj s fig f;f#remove_circle s) |
224 |
| _ -> () |
| _ -> () |
225 |
|
|
226 |
let rec add_abr abr fig= |
let rec add_abr abr fig= |
234 |
| LINE (l,s) -> Geom.add_line (Geom.Ruler l) s fig |
| LINE (l,s) -> Geom.add_line (Geom.Ruler l) s fig |
235 |
| CIRCLE (c,s) -> Geom.add_circle (Geom.Compass c) s fig |
| CIRCLE (c,s) -> Geom.add_circle (Geom.Compass c) s fig |
236 |
| MULTIPLE l -> List.iter (fun a -> add_abr (CONSTRUCT a) fig) l) |
| MULTIPLE l -> List.iter (fun a -> add_abr (CONSTRUCT a) fig) l) |
237 |
| SUPPR o -> suppr_abr o fig |
| SUPPR o -> () |
238 |
|
|
239 |
|
|
240 |
and suppr_abr abr fig= |
and suppr_abr abr fig f= |
241 |
match abr with |
match abr with |
242 |
| POINT (p,s) -> (Geom.suppr_obj s fig) |
| POINT (p,s) -> (Geom.suppr_obj s fig f) |
243 |
| LINE (l,s) -> (Geom.suppr_obj s fig) |
| LINE (l,s) -> (Geom.suppr_obj s fig f) |
244 |
| CIRCLE (c,s) -> (Geom.suppr_obj s fig) |
| CIRCLE (c,s) -> (Geom.suppr_obj s fig f) |
245 |
| _ -> () |
| _ -> () |
246 |
|
|
247 |
|
|