SCM Repository
Annotation of /sml/trunk/src/eXene/contrib/trace-menu-sig.sml
Parent Directory
| 
Revision Log
Revision 2 - (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 |
