Skip to content

Commit a6b8ef3

Browse files
committed
Swift: Rename predicate.
1 parent c6c4975 commit a6b8ef3

File tree

2 files changed

+5
-5
lines changed

2 files changed

+5
-5
lines changed

swift/ql/lib/codeql/swift/dataflow/ExternalFlow.qll

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -426,10 +426,10 @@ private Element interpretElement0(
426426
result = method
427427
|
428428
subtypes = true and
429-
decl.resolveExtensions() = nomTypeDecl.getADerivedTypeDecl*()
429+
decl.getNominalTypeDecl() = nomTypeDecl.getADerivedTypeDecl*()
430430
or
431431
subtypes = false and
432-
decl.resolveExtensions() = nomTypeDecl
432+
decl.getNominalTypeDecl() = nomTypeDecl
433433
)
434434
or
435435
// Fields
@@ -441,10 +441,10 @@ private Element interpretElement0(
441441
result = field
442442
|
443443
subtypes = true and
444-
decl.resolveExtensions() = nomTypeDecl.getADerivedTypeDecl*()
444+
decl.getNominalTypeDecl() = nomTypeDecl.getADerivedTypeDecl*()
445445
or
446446
subtypes = false and
447-
decl.resolveExtensions() = nomTypeDecl
447+
decl.getNominalTypeDecl() = nomTypeDecl
448448
)
449449
)
450450
}

swift/ql/lib/codeql/swift/elements/decl/IterableDeclContext.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ class IterableDeclContext extends Generated::IterableDeclContext {
1010
* Gets the `NominalTypeDecl` corresponding to this `IterableDeclContext`
1111
* resolving an extension to the extended type declaration.
1212
*/
13-
NominalTypeDecl resolveExtensions() {
13+
NominalTypeDecl getNominalTypeDecl() {
1414
result = this.(NominalTypeDecl)
1515
or
1616
result = this.(ExtensionDecl).getExtendedTypeDecl()

0 commit comments

Comments
 (0)