Community
Participate
Working Groups
class interface for external verifier needs super class name (for detail see attachment to #148629). Current missed one step in implementation see CJClassBuilder::GetThisClassName()
Created attachment 95474 [details] Introduces correct version CJClassBuilder::GetSuperClassName() function
Asaf, could your review the patch and commit if everything is Ok?
Patch is OK
This bug fix is included in the BCI engine cumulative update for supporting Java 6. Therefore, it should be checked-in as part of this cumulative update.
In plan for 4.5.i7, pending check-in of Java 6 support (bug 148629)
Went to submit patch to Head with PMC approval but changes seem to already be applied. Please confirm.
Patch was applied under patch for 148629
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 enhancement/defect has been resolved and unverified for more than 1 year 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.