(data: ToolDict, skip: string[] = [])
| 173 | } |
| 174 | |
| 175 | function info(data: ToolDict, skip: string[] = []): string { |
| 176 | const list = Object.entries(data).filter(([key, val]) => { |
| 177 | if (skip.includes(key)) { |
| 178 | return false |
| 179 | } |
| 180 | |
| 181 | return typeof val === "string" || typeof val === "number" || typeof val === "boolean" |
| 182 | }) |
| 183 | |
| 184 | if (list.length === 0) { |
| 185 | return "" |
| 186 | } |
| 187 | |
| 188 | return `[${list.map(([key, val]) => `${key}=${String(val)}`).join(", ")}]` |
| 189 | } |
| 190 | |
| 191 | function span(state: ToolDict): string { |
| 192 | const time = dict(state.time) |
no outgoing calls
no test coverage detected