TPTP 4.5.0 Platform Project
Public API Specification

Package org.eclipse.tptp.profiler

Class Summary
Profiler Exposes an API for controlling the profiler.
 

Exception Summary
ProfilerAPINotAvailableException Thrown when an application attempts to use disabled Profiler API.
ProfilerNotAvailableException Thrown if required library JPIAgent can not be found.
 


TPTP 4.5.0 Platform Project
Public API Specification