Community
Participate
Working Groups
In substitution rules, it would be useful to be able to specify a range of position indices in the Positions field. For example: 1) 2-6 which means values at index 2 to index 6 would be concatenated, separated by the @@ symbols. This can replace the specification 2@@3@@4@@5@@6 2) use position constants like #BEGIN, #END etc. An example specification would be 5-#END which means values at index 5 to the end of the record would be concatenated, separated by the @@ symbols. Theme: Ease of Use This feature would make it easier to write GLA parsing rules and therefore improve the usability of GLA
This feature should be added to the help documentation.
Setting target to future so it doesn't show up in 4.2 feature query.
Due to lack of resources this enhancement request is resolved as WONTFIX. Please feel free to reopen if you consider it's a required enhancement.
Closing.
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).