(String string)
| 1327 | } |
| 1328 | |
| 1329 | private void p(String string) { |
| 1330 | if (options.verbose > 0 || System.getProperty(JCommander.DEBUG_PROPERTY) != null) { |
| 1331 | getConsole().println("[JCommander] " + string); |
| 1332 | } |
| 1333 | } |
| 1334 | |
| 1335 | /** |
| 1336 | * Define the default provider for this instance. |
no test coverage detected