From eabf833b40dede4685a15e20af2a3725b2110549 Mon Sep 17 00:00:00 2001 From: Tom Faulhaber Date: Mon, 10 Aug 2009 11:02:04 -0700 Subject: Manual (forced) documentation build for commit db7ac3aa9a5de29ac9c0107a21a790f90104ad3f --- profile-api.html | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'profile-api.html') diff --git a/profile-api.html b/profile-api.html index 4011bef0..71ca521e 100644 --- a/profile-api.html +++ b/profile-api.html @@ -110,7 +110,7 @@ under the JVM. See the function documentation for more details. 

   
Set this to false before loading/compiling to omit
 profiling code.

-  Source
+  Source
 

   

   
print-summary

@@ -118,7 +118,7 @@ profiling code.
   
Usage: (print-summary profile-summary)
 

   
Prints a table of the results returned by summarize.

-  Source
+  Source
 

   

   
prof

@@ -129,7 +129,7 @@ profiling code.
 Returns the result of body. Profile timings will be stored in
 *profile-data* using name, which must be a keyword, as the key.
 Timings are measured with System/nanoTime.
-  Source
+  Source
 

   

   
profile

@@ -138,7 +138,7 @@ Timings are measured with System/nanoTime.
 
   
Runs body with profiling enabled, then prints a summary of
 results.  Returns nil.

-  Source
+  Source
 

   

   
summarize

@@ -155,7 +155,7 @@ like:
 in nanoseconds.  :count is the total number of times the profiled
 section was executed.  :sum is the total amount of time spent in the
 profiled section, in nanoseconds.
-  Source
+  Source
 

   

   
with-profile-data

@@ -166,7 +166,7 @@ profiled section, in nanoseconds.
 Returns the raw profile data as a map.  Keys in the map are profile
 names (keywords), and values are lists of elapsed time, in
 nanoseconds.
-  Source
+  Source
 

 
 
-- 
cgit v1.2.3-18-g5258