[m-rev.] diff: Rename fields in profile_stats structure.
Paul Bone
pbone at csse.unimelb.edu.au
Fri May 9 20:47:03 AEST 2008
Estimated hours taken: 0.10
Branches: main
Rename some fields within the profile_stats data-structure, The new
names now correctly convey information the fields represent.
deep_profiler/profile.m:
Renamed fields beginning with max_ to begin with num_, as they contain
the number of items in the respective array.
deep_profiler/query.m:
Conform to changes in profile.m
Index: deep_profiler/profile.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/deep_profiler/profile.m,v
retrieving revision 1.17
diff -u -p -r1.17 profile.m
--- deep_profiler/profile.m 12 Sep 2007 06:21:10 -0000 1.17
+++ deep_profiler/profile.m 9 May 2008 10:26:22 -0000
@@ -37,10 +37,10 @@
:- type profile_stats
---> profile_stats(
- max_csd :: int,
- max_css :: int,
- max_pd :: int,
- max_ps :: int,
+ num_csd :: int,
+ num_css :: int,
+ num_pd :: int,
+ num_ps :: int,
ticks_per_sec :: int,
instrument_quanta :: int,
user_quanta :: int,
Index: deep_profiler/query.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/deep_profiler/query.m,v
retrieving revision 1.19
diff -u -p -r1.19 query.m
--- deep_profiler/query.m 18 Apr 2008 05:57:48 -0000 1.19
+++ deep_profiler/query.m 9 May 2008 10:26:26 -0000
@@ -709,16 +709,16 @@ present_stats(Deep) = HTML :-
[i(Stats ^ num_callseqs)]) ++
"<TR><TD ALIGN=left>CallSiteDynamic structures:</TD>\n" ++
string.format("<TD ALIGN=right>%d</TD></TR>\n",
- [i(Stats ^ max_csd)]) ++
+ [i(Stats ^ num_csd)]) ++
"<TR><TD ALIGN=left>ProcDynamic structures:</TD>\n" ++
string.format("<TD ALIGN=right>%d</TD></TR>\n",
- [i(Stats ^ max_pd)]) ++
+ [i(Stats ^ num_pd)]) ++
"<TR><TD ALIGN=left>CallSiteStatic structures:</TD>\n" ++
string.format("<TD ALIGN=right>%d</TD></TR>\n",
- [i(Stats ^ max_css)]) ++
+ [i(Stats ^ num_css)]) ++
"<TR><TD ALIGN=left>ProcStatic structures:</TD>\n" ++
string.format("<TD ALIGN=right>%d</TD></TR>\n",
- [i(Stats ^ max_ps)]) ++
+ [i(Stats ^ num_ps)]) ++
"<TR><TD ALIGN=left>Cliques:</TD>\n" ++
string.format("<TD ALIGN=right>%d</TD></TR>\n",
[i(array.max(Deep ^ clique_members))]) ++
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to: mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions: mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------
More information about the reviews
mailing list