(dataSet: string | null)
| 59 | } |
| 60 | |
| 61 | function getDataSetPriority(dataSet: string | null): number { |
| 62 | if (!dataSet) return DEFAULT_PRIORITY; |
| 63 | return DATASET_PRIORITY[dataSet] ?? DEFAULT_PRIORITY; |
| 64 | } |
| 65 | |
| 66 | function loadDocumentText(fileName: string, dataSet: string): string | null { |
| 67 | // Search in extracted directory for matching JSON file |