98 |
*) |
*) |
99 |
method getRandLimit : float |
method getRandLimit : float |
100 |
|
|
101 |
(** |
(** |
102 |
A set*. |
A set*. |
103 |
Sets the current output channel. |
Sets the current output channel. |
104 |
*) |
*) |
105 |
method setOutChannel : out_channel -> unit |
method setOutChannel : out_channel -> unit |
106 |
|
|
107 |
(** |
(** |
108 |
A get*. |
A get*. |
109 |
Gets the current output channel. |
Gets the current output channel. |
120 |
*) |
*) |
121 |
method out : string -> string -> int -> unit |
method out : string -> string -> int -> unit |
122 |
|
|
123 |
(** |
(** |
124 |
A set*. |
A set*. |
125 |
Sets the current error channel. |
Sets the current error channel. |
126 |
*) |
*) |
141 |
is displayed. |
is displayed. |
142 |
*) |
*) |
143 |
method err : string -> string -> int -> unit |
method err : string -> string -> int -> unit |
144 |
|
|
145 |
(** |
(** |
146 |
Converts an otuput channel to a string (useful for dumping the current |
Converts an otuput channel to a string (useful for dumping the current |
147 |
output channel as xml...). |
output channel as xml...). |
186 |
*) |
*) |
187 |
method getOutChannel = |
method getOutChannel = |
188 |
_outChannel |
_outChannel |
189 |
|
|
190 |
(** |
(** |
191 |
Displays a string on _outChannel. |
Displays a string on _outChannel. |
192 |
@param module_name |
@param module_name |