Skip to content

Commit 17aa8c7

Browse files
committed
C#: Add overlay builtins to the dbscheme.
1 parent 34ebed1 commit 17aa8c7

File tree

1 file changed

+18
-0
lines changed

1 file changed

+18
-0
lines changed

csharp/ql/lib/semmlecode.csharp.dbscheme

Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -194,6 +194,24 @@ externalData(
194194
sourceLocationPrefix(
195195
string prefix: string ref);
196196

197+
/*
198+
* Overlay support
199+
*/
200+
201+
/**
202+
* The CLI will automatically emit the tuple `databaseMetadata("isOverlay", "true")`,
203+
* along with an `overlayChangedFiles` tuple for each new/modified/deleted file,
204+
* when building an overlay database, and these can be used by the discard predicates.
205+
*/
206+
databaseMetadata(
207+
string metadataKey : string ref,
208+
string value : string ref
209+
);
210+
211+
overlayChangedFiles(
212+
string path : string ref
213+
);
214+
197215
/*
198216
* C# dbscheme
199217
*/

0 commit comments

Comments
 (0)