From 85ecacd858560df8153d355093a8430d67831638 Mon Sep 17 00:00:00 2001 From: Alex Ford Date: Wed, 21 Apr 2021 10:50:00 +0100 Subject: [PATCH] make helper predicates private --- ql/src/codeql/files/FileSystem.qll | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/ql/src/codeql/files/FileSystem.qll b/ql/src/codeql/files/FileSystem.qll index ae8571ecc05..03682840494 100644 --- a/ql/src/codeql/files/FileSystem.qll +++ b/ql/src/codeql/files/FileSystem.qll @@ -173,17 +173,17 @@ class File extends Container, @file { int getNumberOfLines() { result = max(getAToken().getLocation().getEndLine()) } /** Get a token in this file. */ - Generated::Token getAToken() { result.getLocation().getFile() = this } + private Generated::Token getAToken() { result.getLocation().getFile() = this } /** Get a comment token in this file. */ - Generated::Token getACommentToken() { result = getAToken() and result instanceof @token_comment } + private Generated::Token getACommentToken() { result = getAToken() and result instanceof @token_comment } /** Get a non-comment token in this file. */ - Generated::Token getANonCommentToken() { + private Generated::Token getANonCommentToken() { result = getAToken() and not result instanceof @token_comment } - predicate isTokenStartingAtLine(Generated::Token t, int startLine) { + private predicate isTokenStartingAtLine(Generated::Token t, int startLine) { t = getANonCommentToken() and t.getLocation().getStartLine() = startLine }