Overview   Package  Class  Tree  Deprecated  Index  Help 
TPTP 4.6.0 Platform Project
Public API Specification
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES    

Package org.eclipse.tptp.platform.profile.server.wst

Interface Summary
IServerProfileExtender A server profiler extender.
 

Overview   Package  Class  Tree  Deprecated  Index  Help 
TPTP 4.6.0 Platform Project
Public API Specification
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES