(value: unknown)
| 42 | } |
| 43 | |
| 44 | function parsePosition(value: unknown): CodeLensPosition | undefined { |
| 45 | const position = asObject(value); |
| 46 | if (!position) { |
| 47 | return undefined; |
| 48 | } |
| 49 | const line = position.line; |
| 50 | const character = position.character; |
| 51 | return typeof line === 'number' && typeof character === 'number' |
| 52 | ? {line, character} |
| 53 | : undefined; |
| 54 | } |
| 55 | |
| 56 | function parseRunMainArgs(args: unknown): RunMainArgs | undefined { |
| 57 | const parsed = asObject(args); |
no test coverage detected