|
TPTP 4.1.0 Platform Project Public API Specification |
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||||
| Interface Summary | |
|---|---|
| ILogger | ILogger |
| IStringBundle | IStringBundle |
| Class Summary | |
|---|---|
| AbstractLogger | AbstractLogger |
| AbstractStringBundle | AbstractStringBundle |
| AbstractTPTPStaticAnalysisPlugin | |
| StdoutLogger | StdoutLogger |
| TPTPStaticAnalysisUtilPlugin | The main plugin class to be used in the desktop. |
| UtilLogger | UtilLogger |
| UtilStringBundle | UtilStringBundle |
|
TPTP 4.1.0 Platform Project Public API Specification |
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||||