Merge pull request #66958 from DavidGoldman/main

Add source.request.index_to_store to sourcekitd
This commit is contained in:
Ben Barham
2023-07-12 13:53:33 -07:00
committed by GitHub
12 changed files with 216 additions and 0 deletions

View File

@@ -212,6 +212,8 @@ UID_KEYS = [
KEY('Expansions', 'key.expansions'),
KEY('MacroRoles', 'key.macro_roles'),
KEY('ExpandedMacroReplacements', 'key.expanded_macro_replacements'),
KEY('IndexStorePath', 'key.index_store_path'),
KEY('IndexUnitOutputPath', 'key.index_unit_output_path'),
]
@@ -279,6 +281,7 @@ UID_REQUESTS = [
REQUEST('EnableRequestBarriers', 'source.request.enable_request_barriers'),
REQUEST('SyntacticMacroExpansion',
'source.request.syntactic_macro_expansion'),
REQUEST('IndexToStore', 'source.request.index_to_store'),
]