Output final Infoset
jw3 opened this issue · 6 comments
Until the Infoset is tied into the frontend (#13) the user has no indication at the end of the parse what the result was.
Could we send the final Infoset across in an OutputEvent, or dump it to the console before DAPodil exits?
Ah, it's always the simple things that get forgotten.
At the same time, maybe the launch file / args-to-debug-session can have an optional "infoset output path" where the infoset can be written, perhaps with a "console" variation too?
infosetOutputPath
sounds good. It will be optional and when set will be either a filesystem path or console
.
Unset means no output, or we could make the arg required and say none
, I dont have a preference there, but it would be useful to have the option to skip the infoset output.
I think it should print to the console if unset. If there was a URI for the console, we could just use URIs, but I don't recall a scheme for it.
infosetOutputMode
= file
| console
| none
infosetOutputPath
= file-system-path
?
I think it should print to the console if unset
Sounds good. The extension allows this property to be set, defaults to unset.
infosetOutputPath
A slight variation which I think is a little better:
"infosetOutput": {
"type": "console" | "none" | "file"
"path": <path to output for type file>
}