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 643 - (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 643 val implicit_anchors : 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 : blume 632 val unshare : lib -> unit
39 : blume 479 end
40 :    
41 :     structure State : sig
42 :     val synchronize : unit -> unit
43 :     val reset : unit -> unit
44 :     val pending : unit -> string list
45 :     end
46 :    
47 :     structure Server : sig
48 :     type server
49 :     val start : { cmd : string * string list,
50 :     name : string,
51 :     pathtrans : (string -> string) option,
52 :     pref : int } -> server option
53 :     val stop : server -> unit
54 :     val kill : server -> unit
55 :     val name : server -> string
56 :     end
57 :    
58 : blume 642 val sources :
59 :     { arch: string, os: string } option ->
60 :     string -> { file: string, class: string, derived: bool } list option
61 : blume 632
62 : blume 479 val symval : string -> int option controller
63 : blume 518 val load_plugin : string -> bool
64 : blume 537
65 :     val mk_standalone : bool option -> string -> string list option
66 : blume 479 end
67 : blume 537

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