|
TPTP 4.5.0 Platform Project Public API Specification |
||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectorg.eclipse.tptp.profiler.Profiler
public class Profiler
Exposes an API for controlling the profiler.
This class is a singleton and cannot be instantiated by the user.
In order to access it an application must use getProfiler().
| Method Summary | |
|---|---|
void |
emitXMLFragment(java.lang.String xmlFragment)
Saves the XML fragment to the output destination. |
static Profiler |
getProfiler()
Returns the singleton Profiler's instance. |
void |
runGC()
Runs the garbage collector. |
boolean |
startProfiling()
Starts data collection. |
boolean |
stopProfiling()
Stops data collection. |
| Methods inherited from class java.lang.Object |
|---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Method Detail |
|---|
public static Profiler getProfiler()
throws ProfilerNotAvailableException
ProfilerAPINotAvailableException - - If API is disabled
ProfilerNotAvailableException - - If native library JPIAgent not found
public boolean startProfiling()
throws ProfilerAPINotAvailableException
true if data collection started; false otherwise
ProfilerAPINotAvailableException - - If API is disabled
public boolean stopProfiling()
throws ProfilerAPINotAvailableException
true if data collection stopped; false otherwise
ProfilerAPINotAvailableException - - If API is disabled
public void runGC()
throws ProfilerAPINotAvailableException
ProfilerAPINotAvailableException - - If API is disabled
public void emitXMLFragment(java.lang.String xmlFragment)
throws ProfilerAPINotAvailableException
xmlFragment - - The XML fragment to save
ProfilerAPINotAvailableException - - If API is disabled
|
TPTP 4.5.0 Platform Project Public API Specification |
||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||