Readonly
ctxProtected
Readonly
optionsUser-defined options for the tool merged with the default options.
The default options for the tool.
The unique identifier of the tool.
Protected
makeMakes a ToolOutput from the given output.
Runs the tool on the given compilation unit.
The compilation unit to run the tool on.
The result of the tool.
A tool that dumps the Misti configuration file in use.