diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1997-02-19 16:09:23 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1997-02-19 16:09:23 +0000 |
| commit | e3d0b8b5395a7d5bb1935c261b386081ee0adad1 (patch) | |
| tree | 501f9d1a34a5245f77d1e36e130d0f5074df4703 /debugger/events.ml | |
| parent | d84af9f1193a977f97b5f3f1d6ac5b1422e5fc1b (diff) | |
| download | ocaml-e3d0b8b5395a7d5bb1935c261b386081ee0adad1.tar.gz | |
Suite du portage (nombreuses modifs)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1281 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'debugger/events.ml')
| -rw-r--r-- | debugger/events.ml | 55 |
1 files changed, 1 insertions, 54 deletions
diff --git a/debugger/events.ml b/debugger/events.ml index 60178ee69e..ab0055b9e4 100644 --- a/debugger/events.ml +++ b/debugger/events.ml @@ -47,7 +47,7 @@ let current_point () = match !current_event with None -> raise Not_found - | Some {ev_char = point; ev_file = mdle} -> + | Some {ev_char = point; ev_module = mdle} -> (mdle, point) let current_event_is_before () = @@ -58,56 +58,3 @@ let current_event_is_before () = true | _ -> false - -(*** Finding events. ***) - -(* List the events in `module'. *) -let events_in_module mdle = - let filename = String.uncapitalize mdle ^ ".ml" in - filter - (function {ev_file = f} -> f = filename) - !Symbols.events - -(* First event after the given position. *) -(* Raise `Not_found' if no such event. *) -let event_after_pos mdle position = - match - List.fold_right - (function - ({ev_char = pos1} as ev) -> - if pos1 < position then - function x -> x - else - function - None -> - Some ev - | (Some {ev_char = pos2} as old) -> - if pos1 < pos2 then - Some ev - else - old) - (events_in_module mdle) - None - with - None -> - raise Not_found - | Some x -> - x - -(* Nearest event from given position. *) -(* Raise `Not_found' if no such event. *) -let event_near_pos mdle position = - match events_in_module mdle with - [] -> - raise Not_found - | [event] -> - event - | a::l -> - List.fold_right - (fun ({ev_char = pos1} as ev) ({ev_char = pos2} as old) -> - if abs (position - pos1) < abs (position - pos2) then - ev - else - old) - l - a |