(paths)
| 38 | |
| 39 | |
| 40 | def flatten_paths(paths): |
| 41 | for each in paths: |
| 42 | path = Path(each) |
| 43 | if not path.exists(): |
| 44 | continue |
| 45 | if path.suffix.lower() == '.code-workspace': |
| 46 | with path.open() as f: |
| 47 | workspace = json.load(f) |
| 48 | for folder in workspace.get('folders', []): |
| 49 | if 'path' in folder: |
| 50 | folder_path = path.parent / folder['path'] |
| 51 | yield from expand_directories(folder_path) |
| 52 | else: |
| 53 | yield from expand_directories(each) |
| 54 | |
| 55 | |
| 56 | def get_output_file(path, sm, platform): |
no test coverage detected