Issue1217

Title translator: separate argument parser construction from argument parsing
Priority feature Status resolved
Superseder Nosy List jendrik, malte, simon
Assigned To malte Keywords
Optional summary

Created on 2026-04-10.14:59:42 by malte, last changed by simon.

Messages
msg12061 (view) Author: simon Date: 2026-04-10.15:10:14
Related commit 
https://github.com/aibasel/downward/commit/5bfc7c87e10c28357c6ad920c21c85e34681b6e8

(just to reduce the number of future clicks)
msg12060 (view) Author: malte Date: 2026-04-10.15:04:34
Pushed.
msg12059 (view) Author: malte Date: 2026-04-10.14:59:42
On the Discord server (channel #general, 2026-04-10), there was a request to separate the argument parser construction from argument parsing in the translator, so that users of the translator other than Fast Downward itself can hook into the process to add their own parser arguments, or more generally get better control of the argument parsing process.

The change is so simple that I don't expect it to be controversial, so I'll go ahead and make it without a pull request and discussion. If you are unhappy about the change, we can of course undo the change and discuss the topic further.
History
Date User Action Args
2026-04-10 15:10:14simonsetmessages: + msg12061
nosy: + simon
2026-04-10 15:04:34maltesetmessages: + msg12060
status: chatting -> resolved
2026-04-10 14:59:42maltecreate