Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /smlnj-lib/trunk/Controls/controls-sig.sml
ViewVC logotype

Diff of /smlnj-lib/trunk/Controls/controls-sig.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 4195, Tue Oct 27 13:47:28 2015 UTC revision 4196, Wed Oct 28 13:52:51 2015 UTC
# Line 47  Line 47 
47      val name : 'a control -> string      val name : 'a control -> string
48      val get : 'a control -> 'a      val get : 'a control -> 'a
49      val set : 'a control * 'a -> unit      val set : 'a control * 'a -> unit
50      val set' : 'a control * 'a -> unit -> unit (* delayed,      val set' : 'a control * 'a -> unit -> unit (* delayed; error checking in 1st stage *)
51                                                  * error checking in 1st stage *)      val help : 'a control -> string
52      val info : 'a control -> {priority : priority, obscurity : int, help : string}      val info : 'a control -> {priority : priority, obscurity : int, help : string}
53    
54      (* package a boolean control as a GetOpt option descriptor (NoArg) *)
55        val mkOptionFlag : {
56                ctl : bool control,         (* the control that will be set by the command-line option *)
57                short : string,             (* the short name for the option; either zero or one chars *)
58                long : string option        (* an optional long-name for the option *)
59              } -> unit GetOpt.opt_descr
60    
61      (* package a string control as a GetOpt option descriptor with required argument (ReqArg)  *)
62        val mkOptionReqArg : {
63                ctl : string control,       (* the control that will be set by the command-line option *)
64                arg : string,               (* the name for the argument, which is used in the usage message *)
65                short : string,             (* the short name for the option; either zero or one chars *)
66                long : string option        (* an optional long-name for the option *)
67              } -> unit GetOpt.opt_descr
68    
69      (* package a string control as a GetOpt option descriptor with an optional argument (OptArg) *)
70        val mkOption : {
71                ctl : string control,       (* the control that will be set by the command-line option *)
72                arg : string,               (* the name for the argument, which is used in the usage message *)
73                default : string,           (* the default value for when no argument is given *)
74                short : string,             (* the short name for the option; either zero or one chars *)
75                long : string option        (* an optional long-name for the option *)
76              } -> unit GetOpt.opt_descr
77    
78    (* capture current value (1st stage) and restore it (2nd stage) *)    (* capture current value (1st stage) and restore it (2nd stage) *)
79      val save'restore : 'a control -> unit -> unit      val save'restore : 'a control -> unit -> unit
80    

Legend:
Removed from v.4195  
changed lines
  Added in v.4196

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