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/concur/servers.sig
ViewVC logotype

Annotation of /sml/trunk/src/cm/concur/servers.sig

Parent Directory Parent Directory | Revision Log Revision Log


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

1 : blume 464 (*
2 :     * Handling compile-servers.
3 :     *
4 :     * This is still rather crude and not very robust. A "real" implementation
5 :     * exists only for Unix.
6 :     *
7 :     * (C) 1999 Lucent Technologies, Bell Laboratories
8 :     *
9 :     * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
10 :     *)
11 :     signature SERVERS = sig
12 :    
13 :     (* add a compile server *)
14 :     val start : { name: string, cmd: string * string list,
15 :     pathtrans: (string -> string) option,
16 :     pref: int } -> bool
17 :    
18 :     val stop : string -> unit
19 :    
20 :     val kill : string -> unit
21 :    
22 :     (* Reset scheduler and wait until all servers are idle.
23 :     * The "bool" argument makes reset suitable as an argument to
24 :     * SafeIO.perform. *)
25 :     val reset : bool -> unit
26 :    
27 :     (* signal all servers that future cmb calls use a different dirbase *)
28 :     val dirbase : string -> unit
29 :    
30 :     (* signal all servers that we have a new working dir *)
31 :     val cd : string -> unit
32 :    
33 :     (* signal all servers that we are starting with a new .cm file *)
34 :     val cm : { archos: string, project: string } -> unit
35 :    
36 :     (* signal all servers that we are starting with a new CMB.make *)
37 :     val cmb : { archos: string, root: string } -> unit
38 :    
39 :     (* schedule a compilation *)
40 :     val compile : string -> bool
41 :    
42 :     val withServers : (unit -> 'a) -> 'a
43 :     end

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