Introduction

 
Profiler Basics
      SetProfile(b): BoolElt ->
      GetProfile() : -> BoolElt
      ProfileReset(): ->
      ProfileGraph(): -> GrphDir
      Example Prof_basic-profiling (H7E1)

 
Exploring the Call Graph

      Internal Reports
            ProfilePrintByTotalCount(G): GrphDir ->
            ProfilePrintByTotalTime(G): GrphDir ->
            ProfilePrintChildrenByCount(G, n): GrphDir, GrphVert ->
            ProfilePrintChildrenByTime(G, n): GrphDir, GrphVert ->
            Example Prof_profile-reports (H7E2)

      HTML Reports
            ProfileHTMLOutput(G, prefix): GrphDir, MonStgElt ->

 
Recursion and the Profiler
      Example Prof_profiler-recursion (H7E3)

[Next][Prev] [Right] [____] [Up] [Index] [Root]