Searched defs:toolName (Results 1 – 2 of 2) sorted by relevance
57 const toolName: string = opts.toolName; constant
99 private InputStream getToolsInputStream(String toolName) { in getToolsInputStream()