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 642 - (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 : blume 569 val anchor : string -> string option controller
19 : blume 479 val reset : unit -> unit
20 :     end
21 :    
22 :     structure Control : sig
23 :     val keep_going : bool controller
24 :     val verbose : bool controller
25 :     val parse_caching : int controller
26 :     val warn_obsolete : bool controller
27 :     val debug : bool controller
28 : blume 505 val conserve_memory : bool controller
29 : blume 479 end
30 :    
31 :     structure Library : sig
32 :     type lib
33 :     val known : unit -> lib list
34 :     val descr : lib -> string
35 :     val osstring : lib -> string
36 :     val dismiss : lib -> unit
37 : blume 632 val unshare : lib -> unit
38 : blume 479 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 : blume 642 val sources :
58 :     { arch: string, os: string } option ->
59 :     string -> { file: string, class: string, derived: bool } list option
60 : blume 632
61 : blume 479 val symval : string -> int option controller
62 : blume 518 val load_plugin : string -> bool
63 : blume 537
64 :     val mk_standalone : bool option -> string -> string list option
65 : blume 479 end
66 : blume 537

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