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 /sml/trunk/src/system/Basis/Implementation/timer.sig
ViewVC logotype

Diff of /sml/trunk/src/system/Basis/Implementation/timer.sig

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

revision 1504, Fri Jun 4 15:59:52 2004 UTC revision 1505, Thu Jun 17 20:41:47 2004 UTC
# Line 11  Line 11 
11      val startCPUTimer: unit -> cpu_timer      val startCPUTimer: unit -> cpu_timer
12      val totalCPUTimer: unit -> cpu_timer      val totalCPUTimer: unit -> cpu_timer
13    
14        val checkCPUTimes:  cpu_timer
15                            -> { nongc: { usr: Time.time, sys: Time.time },
16                                 gc: { usr: Time.time, sys: Time.time } }
17      val checkCPUTimer: cpu_timer -> { usr: Time.time, sys: Time.time }      val checkCPUTimer: cpu_timer -> { usr: Time.time, sys: Time.time }
18      val checkGCTime: cpu_timer -> { gc: { usr: Time.time, sys: Time.time },      val checkGCTime:    cpu_timer -> Time.time
                                     nongc: { usr: Time.time, sys: Time.time } }  
19    
20      val startRealTimer: unit -> real_timer      val startRealTimer: unit -> real_timer
21        val totalRealTimer: unit -> real_timer
22    
23      val checkRealTimer: real_timer -> Time.time      val checkRealTimer: real_timer -> Time.time
     val totalRealTimer: unit -> real_timer  
24    
25  end (* TIMER *)  end (* TIMER *)

Legend:
Removed from v.1504  
changed lines
  Added in v.1505

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