Community
Participate
Working Groups
Predefined and custom filters should be easily combined. It could be done thru adding possibility of including existed filter to new defining. e.g. filter #1: spec.jbb * INCLUDE * * EXCLUDE filter #2: mypackage.* * INCLUDE filter#1 INCLUDE * * EXCLUDE probably preprocessing for filters to remove overall templates like (* *) will be required.
Good concept. Alexander writes: "probably preprocessing for filters to remove overall templates like (* *) will be required." This is one of the two main problems. The order that you apply a set of filters will be a challenge even in the presence of wildcards other that * *. The other problem is what happens if you want to "EXCLUDE" myfilter instead of "INCLUDE" it. Do you actually need a filter#1I and a filter#1E? Thanks, Chris
As of TPTP 4.6.0, TPTP is in maintenance mode and focusing on improving quality by resolving relevant defects and increasing test coverage through test creation, automation, Build Verification Tests (BVTs), and expanded run-time execution. As such, TPTP is not delivering enhancements. As part of the TPTP Bugzilla housecleaning process (see http://wiki.eclipse.org/Bugzilla_Housecleaning_Processes), this enhancement is resolved as WONTFIX. For this enhancement to be considered, please re-open with an attached patch including the Description Document (see http://www.eclipse.org/tptp/home/documents/process/development/description_documents.html), code (see http://www.eclipse.org/tptp/home/documents/resources/TPTPDevGuide.htm), and test cases (see http://www.eclipse.org/tptp/home/documents/process/TPTP_Testing_Strategy.html).
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.
