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

Annotation of /sml/trunk/src/cm/tools/main/public-tools.sig

Parent Directory Parent Directory | Revision Log Revision Log


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

1 : blume 742 (*
2 :     * The public interface to CM's tools mechanism.
3 :     *
4 :     * (C) 2000 Lucent Technologies, Bell Laboratories
5 :     *
6 :     * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
7 :     *)
8 :     signature TOOLS = sig
9 :     (* We inherit most of this interface from CORETOOLS. The only things
10 :     * not in CORETOOLS are those that cannot be implemented without having
11 :     * access to CM itself, and which would otherwise create a dependency
12 :     * cycle. *)
13 :     include CORETOOLS
14 :    
15 :     (* CM's say and vsay functions: "say" unconditionally issues a
16 :     * diagnostic message; "vsay" issues its message under control of
17 :     * CM.Control.verbose. *)
18 :     val say : string list -> unit
19 :     val vsay : string list -> unit
20 :    
21 :     (* Get an anchor-configurable command name. *)
22 :     val mkCmdName : string -> string
23 :    
24 :     (* Register a "standard" tool based on some shell command. *)
25 :     val registerStdShellCmdTool : { tool: string,
26 :     class: string,
27 :     suffixes: string list,
28 :     cmdStdPath: string,
29 :     extensionStyle: extensionStyle,
30 :     template: string option,
31 :     dflopts: toolopts } -> unit
32 :    
33 :     (* query default class *)
34 :     val defaultClassOf : string -> class option
35 :     end

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