Skip to content

Commit

Permalink
Scope lib: rename predicate
Browse files Browse the repository at this point in the history
  • Loading branch information
knewbury01 committed Apr 24, 2024
1 parent b2c5896 commit a9f55d2
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions cpp/common/src/codingstandards/cpp/Scope.qll
Original file line number Diff line number Diff line change
Expand Up @@ -149,8 +149,8 @@ private UserDeclaration getPotentialScopeOfDeclaration_candidate(UserDeclaration
)
}

/** Gets a Declarationthat is in the potential scope of Declaration `v`. */
private UserDeclaration getOuterScopesOfDeclaration_candidate(UserDeclaration v) {
/** Gets a Declaration that is in the potential scope of Declaration `v`. */
private UserDeclaration getPotentialScopeOfDeclarationStrict_candidate(UserDeclaration v) {
exists(Scope s |
result = s.getADeclaration() and
(
Expand All @@ -175,7 +175,7 @@ predicate inSameTranslationUnit(File f1, File f2) {
*/
cached
UserDeclaration getPotentialScopeOfDeclarationStrict(UserDeclaration v) {
result = getOuterScopesOfDeclaration_candidate(v) and
result = getPotentialScopeOfDeclarationStrict_candidate(v) and
inSameTranslationUnit(v.getFile(), result.getFile())
}

Expand Down

0 comments on commit a9f55d2

Please sign in to comment.