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/cm/main/cm.sig
ViewVC logotype

Annotation of /sml/trunk/src/cm/main/cm.sig

Parent Directory Parent Directory | Revision Log Revision Log


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

1 : blume 479 (*
2 :     * This is the signature for a "full" structure CM. This structure gets
3 :     * constructed in cm-boot.sml and is made available at top-level by
4 :     * (auto-)loading the library "full-cm.cm".
5 : blume 484 * (After system startup only a "minimal" structure CM is visible.)
6 : blume 479 *
7 :     * Copyright (c) 1999 by Lucent Bell Laboratories
8 :     *
9 :     * author: Matthias Blume (blume@cs.princeton.edu)
10 :     *)
11 :     signature CM = sig
12 :    
13 :     include MINIMAL_CM
14 :    
15 :     type 'a controller = { get : unit -> 'a, set : 'a -> unit }
16 :    
17 :     structure Anchor : sig
18 :     val set : { anchor: string, path: string } -> unit
19 :     val cancel : string -> unit
20 :     val reset : unit -> unit
21 :     end
22 :    
23 :     structure Control : sig
24 :     val keep_going : bool controller
25 :     val verbose : bool controller
26 :     val parse_caching : int controller
27 :     val warn_obsolete : bool controller
28 :     val debug : bool controller
29 : blume 505 val conserve_memory : bool controller
30 : blume 479 end
31 :    
32 :     structure Library : sig
33 :     type lib
34 :     val known : unit -> lib list
35 :     val descr : lib -> string
36 :     val osstring : lib -> string
37 :     val dismiss : lib -> unit
38 :     end
39 :    
40 :     structure State : sig
41 :     val synchronize : unit -> unit
42 :     val reset : unit -> unit
43 :     val pending : unit -> string list
44 :     end
45 :    
46 :     structure Server : sig
47 :     type server
48 :     val start : { cmd : string * string list,
49 :     name : string,
50 :     pathtrans : (string -> string) option,
51 :     pref : int } -> server option
52 :     val stop : server -> unit
53 :     val kill : server -> unit
54 :     val name : server -> string
55 :     end
56 :    
57 :     val symval : string -> int option controller
58 : blume 518 val load_plugin : string -> bool
59 : blume 479 end

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