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 /eXene/releases/release-110.60/contrib/trace-menu-sig.sml
ViewVC logotype

Annotation of /eXene/releases/release-110.60/contrib/trace-menu-sig.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2209 - (view) (download)

1 : monnier 2 (* ######################################################################
2 :     # CML_TRACE_MENU.SIG #
3 :     ###################################################################### *)
4 :    
5 :     (* An eXene interface to the CMLTrace system.
6 :    
7 :     AUTHOR: Clifford Krumvieda
8 :     Department of Computer Science
9 :     Cornell University
10 :     Ithaca, NY 14850
11 :     cliff@cs.cornell.edu
12 :     *)
13 :    
14 :     (* ######################################################################
15 :    
16 :     Trace menus: The mkTraceMenu function can be used to create a menu of
17 :     certain CMLTrace modules. Each line in the menu consists of a box
18 :     and a module name; the box has a checkmark in it if its module is
19 :     being traced. Clicking in the box toggles the checkmark and trace
20 :     status.
21 :     The second argument to mkTraceMenu is a list of module names that
22 :     determine the "frontier" of modules appearing in the menu. A
23 :     typical value is ["/"].
24 :    
25 :     ###################################################################### *)
26 :    
27 :     signature CML_TRACE_MENU = sig
28 :    
29 :     structure W : WIDGET
30 :    
31 :     type trace_menu
32 :    
33 :     val widgetOf : trace_menu -> W.widget
34 :     val mkTraceMenu : W.root -> string list -> trace_menu
35 :    
36 :     end

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