PreprocessingTool@Incubating public interface Tool
| Modifier and Type | Method | Description | 
|---|---|---|
| void | args(String... args) | Adds a number of arguments to be passed to the tool. | 
| List<String> | getArgs() | The arguments passed when executing this tool. |