Skip to content

Commit b82db2f

Browse files
committed
C++: Factor out file encoding predicate
1 parent 2bc7570 commit b82db2f

File tree

3 files changed

+3
-6
lines changed

3 files changed

+3
-6
lines changed

cpp/ql/src/definitions.qll

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -214,3 +214,6 @@ Top definitionOf(Top e, string kind) {
214214
// later on.
215215
strictcount(result.getLocation()) < 10
216216
}
217+
218+
cached
219+
File getEncodedFile(string name) { result.getAbsolutePath().replaceAll(":", "_") = name }

cpp/ql/src/localDefinitions.ql

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -11,9 +11,6 @@ import definitions
1111

1212
external string selectedSourceFile();
1313

14-
cached
15-
File getEncodedFile(string name) { result.getAbsolutePath().replaceAll(":", "_") = name }
16-
1714
from Top e, Top def, string kind
1815
where def = definitionOf(e, kind) and e.getFile() = getEncodedFile(selectedSourceFile())
1916
select e, def, kind

cpp/ql/src/localReferences.ql

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -11,9 +11,6 @@ import definitions
1111

1212
external string selectedSourceFile();
1313

14-
cached
15-
File getEncodedFile(string name) { result.getAbsolutePath().replaceAll(":", "_") = name }
16-
1714
from Top e, Top def, string kind
1815
where def = definitionOf(e, kind) and def.getFile() = getEncodedFile(selectedSourceFile())
1916
select e, def, kind

0 commit comments

Comments
 (0)