Specifying the type of XMI export in the command palette.
IntLucas opened this issue · 0 comments
IntLucas commented
Hi, I am currently working on a translator between VDM++ on VDM VSCode and PlantUML, and i am wondering if there is a way to specify the type of XMI export in the command palette, as this would make the implementation a lot simpler.
Calling the PlantUML jar with either the flags "-txmi:argo" or "-txmi:star" does this, but no option is provided using VS Code unless i am missing something. Thanks!