Skip to content

Commit 7c6dfc9

Browse files
committed
CPP: Make some implementation predicates private.
1 parent 64141b2 commit 7c6dfc9

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

cpp/ql/src/semmle/code/cpp/Type.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1201,11 +1201,11 @@ class AutoType extends TemplateParameter
12011201
// Internal implementation predicates
12021202
//
12031203

1204-
predicate allSpecifiers(int i, string s) {
1204+
private predicate allSpecifiers(int i, string s) {
12051205
s = rank[i](string t | specifiers(_, t) | t)
12061206
}
12071207

1208-
predicate internalSpecString(Type t, string res, int i) {
1208+
private predicate internalSpecString(Type t, string res, int i) {
12091209
(if allSpecifiers(i, t.getASpecifier().getName())
12101210
then exists(string spec, string rest
12111211
| allSpecifiers(i, spec) and res = spec + " " + rest

0 commit comments

Comments
 (0)