Skip to content

Commit c375e4a

Browse files
committed
Add overlay builtins to python dbscheme
1 parent e02a2d8 commit c375e4a

File tree

2 files changed

+28
-0
lines changed

2 files changed

+28
-0
lines changed

python/extractor/semmle/dbscheme.template

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -40,6 +40,20 @@ externalData(
4040
string value : string ref
4141
);
4242

43+
/**
44+
* The CLI will automatically emit the tuple `databaseMetadata("isOverlay", "true")`,
45+
* along with an `overlayChangedFiles` tuple for each new/modified/deleted file,
46+
* when building an overlay database, and these can be used by the discard predicates.
47+
*/
48+
databaseMetadata(
49+
string metadataKey : string ref,
50+
string value : string ref
51+
);
52+
53+
overlayChangedFiles(
54+
string path : string ref
55+
);
56+
4357
/*- DEPRECATED: Snapshot date -*/
4458

4559
snapshotDate(unique date snapshotDate : date ref);

python/ql/lib/semmlecode.python.dbscheme

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -47,6 +47,20 @@ externalData(
4747
string value : string ref
4848
);
4949

50+
/**
51+
* The CLI will automatically emit the tuple `databaseMetadata("isOverlay", "true")`,
52+
* along with an `overlayChangedFiles` tuple for each new/modified/deleted file,
53+
* when building an overlay database, and these can be used by the discard predicates.
54+
*/
55+
databaseMetadata(
56+
string metadataKey : string ref,
57+
string value : string ref
58+
);
59+
60+
overlayChangedFiles(
61+
string path : string ref
62+
);
63+
5064
/*- DEPRECATED: Snapshot date -*/
5165

5266
snapshotDate(unique date snapshotDate : date ref);

0 commit comments

Comments
 (0)