|
TPTP 4.5.0 Platform Project Internal API Specification |
||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| Class Summary | |
|---|---|
| JavaSnippet | Instances of this type check for javac problems on a Probekit object, and then associated those IProblem instances with the Probekit EObject (or its child) that the IProblem is reported against. |
| SyntaxAdapter | |
|
TPTP 4.5.0 Platform Project Internal API Specification |
||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||