7988:c4c17121eff8 | 7989:a21d673a8f99 |
---|---|
251 <dd> | 251 <dd> |
252 key of the value to be retrieved (string) | 252 key of the value to be retrieved (string) |
253 </dd> | 253 </dd> |
254 </dl> | 254 </dl> |
255 <dl> | 255 <dl> |
256 <dt>Returns:</dt> | 256 <dt>Return:</dt> |
257 <dd> | 257 <dd> |
258 the value of the requested counter (int) | 258 the value of the requested counter (int) |
259 </dd> | 259 </dd> |
260 </dl> | 260 </dl> |
261 <a NAME="SourceStat.inc" ID="SourceStat.inc"></a> | 261 <a NAME="SourceStat.inc" ID="SourceStat.inc"></a> |
378 <dd> | 378 <dd> |
379 dictionary receiving the overall code statistics | 379 dictionary receiving the overall code statistics |
380 </dd> | 380 </dd> |
381 </dl> | 381 </dl> |
382 <dl> | 382 <dl> |
383 <dt>Returns:</dt> | 383 <dt>Return:</dt> |
384 <dd> | 384 <dd> |
385 a statistics object with the collected code statistics (SourceStat) | 385 a statistics object with the collected code statistics (SourceStat) |
386 </dd> | 386 </dd> |
387 </dl> | 387 </dl> |
388 <div align="right"><a href="#top">Up</a></div> | 388 <div align="right"><a href="#top">Up</a></div> |
409 <dd> | 409 <dd> |
410 the value to be added to the overall statistics | 410 the value to be added to the overall statistics |
411 </dd> | 411 </dd> |
412 </dl> | 412 </dl> |
413 <dl> | 413 <dl> |
414 <dt>Returns:</dt> | 414 <dt>Return:</dt> |
415 <dd> | 415 <dd> |
416 the value added to the overall statistics | 416 the value added to the overall statistics |
417 </dd> | 417 </dd> |
418 </dl> | 418 </dl> |
419 <div align="right"><a href="#top">Up</a></div> | 419 <div align="right"><a href="#top">Up</a></div> |