Swift: getFullName.

geoffw0 · geoffw0 · commit efea11fd0f8b · 2023-07-18T12:53:45.000+01:00
diff --git a/swift/ql/lib/codeql/swift/frameworks/StandardLibrary/CustomUrlSchemes.qll b/swift/ql/lib/codeql/swift/frameworks/StandardLibrary/CustomUrlSchemes.qll
@@ -58,7 +58,7 @@ private class LaunchOptionsUrlVarDecl extends VarDecl {
   LaunchOptionsUrlVarDecl() {
     // ideally this would be the more accurate, but currently less robust:
     // this.getEnclosingDecl().asNominalTypeDecl().getFullName() = "UIApplication.LaunchOptionsKey" and
-    this.getType().getName() = "UIApplication.LaunchOptionsKey" and
+    this.getType().(NominalType).getFullName() = "UIApplication.LaunchOptionsKey" and
     this.getName() = "url"
   }
 }

Original file line number	Diff line number	Diff line change
`@@ -58,7 +58,7 @@ private class LaunchOptionsUrlVarDecl extends VarDecl {`
`58`	`58`	`LaunchOptionsUrlVarDecl() {`
`59`	`59`	`// ideally this would be the more accurate, but currently less robust:`
`60`	`60`	`// this.getEnclosingDecl().asNominalTypeDecl().getFullName() = "UIApplication.LaunchOptionsKey" and`
`61`		`- this.getType().getName() = "UIApplication.LaunchOptionsKey" and`
	`61`	`+ this.getType().(NominalType).getFullName() = "UIApplication.LaunchOptionsKey" and`
`62`	`62`	`this.getName() = "url"`
`63`	`63`	`}`
`64`	`64`	`}`