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/branches/blume-private-devel/src/system/Basis/Implementation/timer.sig
ViewVC logotype

Diff of /sml/branches/blume-private-devel/src/system/Basis/Implementation/timer.sig

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

revision 1452, Mon Feb 9 20:33:28 2004 UTC revision 1453, Mon Feb 9 20:33:28 2004 UTC
# Line 3  Line 3 
3   * COPYRIGHT (c) 1995 AT&T Bell Laboratories.   * COPYRIGHT (c) 1995 AT&T Bell Laboratories.
4   *   *
5   *)   *)
6    signature TIMER = sig
 signature TIMER =  
   sig  
7    
8      type cpu_timer      type cpu_timer
9      type real_timer      type real_timer
10    
     val totalCPUTimer : unit -> cpu_timer  
11      val startCPUTimer : unit -> cpu_timer      val startCPUTimer : unit -> cpu_timer
12      val checkCPUTimer : cpu_timer -> {      val totalCPUTimer: unit -> cpu_timer
13              usr : Time.time, sys : Time.time, gc : Time.time  
14            }      val checkCPUTimer: cpu_timer -> { usr: Time.time, sys: Time.time }
15        val checkGCTime: cpu_timer -> { gc: { usr: Time.time, sys: Time.time },
16                                        nongc: { usr: Time.time, sys: Time.time } }
17    
     val totalRealTimer : unit -> real_timer  
18      val startRealTimer : unit -> real_timer      val startRealTimer : unit -> real_timer
19    
20      val checkRealTimer : real_timer -> Time.time      val checkRealTimer : real_timer -> Time.time
21        val totalRealTimer: unit -> real_timer
22    
23    end (* TIMER *)    end (* TIMER *)
   
   

Legend:
Removed from v.1452  
changed lines
  Added in v.1453

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