Library to access profile data of the Prolog system
IMPORT NOTE: If this module is used, one must set the PAKCS option
"plprofile" (wiht ":set +plprofile") in order to make the profile
data available from the Prolog system!
Author: Michael Hanus
Version: February 2004
Datatypes:
ProfileSelection
Constructors:
Backtracks
| Calls
| ChoicePoints
| ExecTime
Functions:
getHnfDefinitions
| prim_profileClauses
| prim_profilePredicates
| profileClauses
| profilePredicates
| profileReset
| profileView
|
Summary of exported functions:
|
|
|
|
|
|
|
|
|
|
|
profileView :: IO () 
|
|
Starts graphical viewer for profile data via the Gauge profiling
tool of Sicstus Prolog.
|
|
getHnfDefinitions :: IO [(Int,String)]
|
|
Gets the association of HNF clauses to functions symbols
(only for internal use).
|
|
Prelude
Constructors:
-
Calls
:: ProfileSelection
-
Backtracks
:: ProfileSelection
-
ChoicePoints
:: ProfileSelection
-
ExecTime
:: ProfileSelection
profileReset :: IO ()
Resets all profile counters.
-
Further infos:
-
profilePredicates :: ProfileSelection -> IO [(String,Int)]
Gets profile data of all predicates.
prim_profilePredicates :: ProfileSelection -> IO [(String,Int)]
-
Further infos:
-
profileClauses :: ProfileSelection -> String -> IO [(Int,Int)]
Gets profile data of all clauses of a particular predicate.
The result is a list of pairs (predicate number, profile count)
prim_profileClauses :: ProfileSelection -> String -> IO [(Int,Int)]
-
Further infos:
-
profileView :: IO ()
Starts graphical viewer for profile data via the Gauge profiling
tool of Sicstus Prolog.
-
Further infos:
-
getHnfDefinitions :: IO [(Int,String)]
Gets the association of HNF clauses to functions symbols
(only for internal use).
-
Further infos:
-
Generated by CurryDoc
(Version 0.4.1 of June 7, 2007) at Jun 16 17:14:57 2009