| 1121 |
write: |
write: |
| 1122 |
|
|
| 1123 |
\begin{verbatim} |
\begin{verbatim} |
| 1124 |
val command = Tools.newCmdGetterSetter ("NYACC", "new-ml-yacc") |
val command = Tools.newCmdController ("NYACC", "new-ml-yacc") |
| 1125 |
val _ = Tools.registerStdShellCmdTool |
val _ = Tools.registerStdShellCmdTool |
| 1126 |
{ tool = "New-ML-Yacc", |
{ tool = "New-ML-Yacc", |
| 1127 |
class = "nmlyacc", |
class = "nmlyacc", |
| 1135 |
interactive top level after loading the {\tt cm-tools.cm} library |
interactive top level after loading the {\tt cm-tools.cm} library |
| 1136 |
(e.g., via {\tt CM.autoload}). |
(e.g., via {\tt CM.autoload}). |
| 1137 |
|
|
| 1138 |
The call to {\tt Tools.newCmdGetterSetter} makes a ``command |
The call to {\tt Tools.newCmdController} makes a ``command |
| 1139 |
getter-setter'' (a value of type {\tt \{ get: unit -> string, |
controller'' (a value of type {\tt \{ get: unit -> string, |
| 1140 |
set: string -> unit \} }). It can be used to query or set the |
set: string -> unit \} }). It can be used to query or set the |
| 1141 |
command string for the tool. Here, the default string is {\tt |
command string for the tool. Here, the default string is {\tt |
| 1142 |
new-ml-yacc} and can be customized at startup time using the |
new-ml-yacc} and can be customized at startup time using the |
| 1151 |
upper-case letters |
upper-case letters |
| 1152 |
\item[suffixes] a list of file name suffixes that let CM automatically |
\item[suffixes] a list of file name suffixes that let CM automatically |
| 1153 |
recognize files of the class |
recognize files of the class |
| 1154 |
\item[command] the command getter-setter from above |
\item[command] the command controller from above |
| 1155 |
\item[extensionStyle] a specification of how the names of files |
\item[extensionStyle] a specification of how the names of files |
| 1156 |
generated by the tool relate to the name of the tool input file; \\ |
generated by the tool relate to the name of the tool input file; \\ |
| 1157 |
Currently, there are two possible cases: |
Currently, there are two possible cases: |
Parent Directory
| 
Revision Log
| 
Patch
