From 0995041a7e370fd5f243baf39688f9d6c419dc4b Mon Sep 17 00:00:00 2001
From: vsc <vsc@b08c6af1-5177-4d33-ba66-4b1c6b8b522a>
Date: Thu, 12 Jul 2001 12:47:57 +0000
Subject: [PATCH] deheisenberg statistics/0 (that is, statistics/0 should not
 spend space).

git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@123 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
---
 pl/utils.yap | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/pl/utils.yap b/pl/utils.yap
index 77d0d6217..53ae72928 100644
--- a/pl/utils.yap
+++ b/pl/utils.yap
@@ -397,6 +397,9 @@ statistics :-
 	'$inform_stack_overflows'(NOfSO,TotSOTime),
 	'$inform_trail_overflows'(NOfTO,TotTOTime),
 	'$inform_gc'(NOfGC,TotGCTime,TotGCSize),
+	'$statistics'(Runtime,CPUtime,Walltime,HpSpa,HpInUse,HpMax,TrlSpa, TrlInUse,TrlMax,StkSpa, GlobInU, LocInU,GlobMax,LocMax,NOfHO,TotHOTime,NOfSO,TotSOTime,NOfTO,TotTOTime,NOfGC,TotGCTime,TotGCSize).
+
+'$statistics'(Runtime,CPUtime,Walltime,HpSpa,HpInUse,HpMax,TrlSpa, TrlInUse,TrlMax,StkSpa, GlobInU, LocInU,GlobMax,LocMax,NOfHO,TotHOTime,NOfSO,TotSOTime,NOfTO,TotTOTime,NOfGC,TotGCTime,TotGCSize) :-
 	TotalMemory is HpSpa+StkSpa+TrlSpa,
 	format(user_error,"memory (total)~t~d bytes~35+~n", [TotalMemory]),
 	format(user_error,"   program space~t~d bytes~35+", [HpSpa]),
@@ -429,7 +432,9 @@ statistics :-
 	CPUTime is float(CPUtime)/1000,
 	format("~t~3f~12+ sec. cputime~n", [CPUTime]),
 	WallTime is float(Walltime)/1000,
-	format("~t~3f~12+ sec. elapsed time~n~n", [WallTime]).
+	format("~t~3f~12+ sec. elapsed time~n~n", [WallTime]),
+	fail.
+'$statistics'(_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_).
 
 statistics(runtime,[T,L]) :-
 	'$runtime'(T,L).