Community
Participate
Working Groups
The build scan found references to non-TPTP internal API that must be removed. If it is not possible to remove the API, then open a bug against the team that owns the internal API to make the internal API public, and make this bugzilla depend on that bug. The following references were found: plugins/org.eclipse.tptp.choreography/src/org/eclipse/tptp/choreography/jengine/internal/api/JavaProgramFactory.java: 122: org.eclipse.jdt.internal.compiler.batch.Main compiler = new org.eclipse.jdt.internal.compiler.batch.Main(new PrintWriter(System.out), new PrintWriter(System.err), false); 129:// org.eclipse.jdt.internal.compiler.batch.Main.main(srcnames); plugins/org.eclipse.tptp.choreography/src/org/eclipse/tptp/choreography/jengine/internal/compiler/bpel/BPELTranslator.java: 4428:// org.eclipse.jdt.internal.compiler.batch.Main compiler = new org.eclipse.jdt.internal.compiler.batch.Main(new PrintWriter(System.out), new PrintWriter(System.err), false); 4429: org.eclipse.jdt.internal.compiler.batch.Main compiler = new org.eclipse.jdt.internal.compiler.batch.Main(mout, mout, false); 4437:// org.eclipse.jdt.internal.compiler.batch.Main.main(srcnames);
The choreography component has been removed from TPTP
As of TPTP 4.6.0, TPTP is in maintenance mode and focusing on improving quality by resolving relevant enhancements/defects and increasing test coverage through test creation, automation, Build Verification Tests (BVTs), and expanded run-time execution. As part of the TPTP Bugzilla housecleaning process (see http://wiki.eclipse.org/Bugzilla_Housecleaning_Processes), this enhancement/defect is verified/closed by the Project Lead since this originator of this enhancement/defect has an inactive Bugzilla account and considered to be fixed. If this enhancement/defect is still unresolved and reproducible in the latest TPTP release (http://www.eclipse.org/tptp/home/downloads/), please re-open.