Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/trunk/src/system/Basis/Implementation/NJ/internals.sig
ViewVC logotype

Annotation of /sml/trunk/src/system/Basis/Implementation/NJ/internals.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 675 - (view) (download) (as text)

1 : monnier 416 (* internals.sig
2 :     *
3 :     * COPYRIGHT (c) 1996 AT&T Research.
4 :     *
5 :     * This structure (SMLofNJ.Internals) is a gathering place for internal
6 :     * features that need to be exposed outside the boot directory.
7 :     *)
8 :    
9 :     signature INTERNALS =
10 :     sig
11 :    
12 :     structure CleanUp : CLEAN_UP
13 :     structure ProfControl : PROF_CONTROL
14 :     structure GC : GC
15 :    
16 :     val prHook : (string -> unit) ref
17 :     (* this hook can be used to change the top-level print function *)
18 :    
19 :     (* Routines for managing the internal signal handler tables. These are
20 :     * for programs that must otherwise bypass the standard initialization
21 :     * mechanisms.
22 :     *)
23 :     val initSigTbl : unit -> unit
24 :     val clearSigTbl : unit -> unit
25 :     val resetSigTbl : unit -> unit
26 :    
27 :     (* reset the total real and CPU time timers *)
28 :     val resetTimers : unit -> unit
29 :    
30 : blume 675 (* back-tracing control (experimental; M.Blume, 06/2000) *)
31 :     structure BTrace : sig
32 :     exception BTrace of unit -> string list
33 :     val install : { corefns: { save: unit -> unit -> unit,
34 :     push: unit -> unit -> unit,
35 :     add: int -> unit,
36 :     register: int * string -> unit,
37 :     report: unit -> unit -> string list },
38 :     reset: unit -> unit,
39 :     mkid: string -> int }
40 :     -> unit
41 :     val mode : bool option -> bool (* turn annotation pass on/off *)
42 :     val report : unit -> unit -> string list
43 :     val mkid : string -> int (* "intern" a string *)
44 :     val trigger : unit -> 'a
45 :     (* The following is needed in evalloop.sml (or any other module
46 :     * that explicitly handles the BTrace exception but hasn't itself
47 :     * been compiled with mode=true) to make sure that the call
48 :     * history is being unwound correctly. *)
49 :     val save : unit -> unit -> unit
50 :     end
51 :    
52 : monnier 416 end;

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0