THE MAGMA PROFILER

DETAILS

 
Introduction

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

 
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 (H6E2)

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

 
Recursion and the Profiler
      Example Prof_profiler-recursion (H6E3)