Minor change in WKNavigationDelegateSource to work around a bug

This commit is contained in:
Tony Torralba
2023-02-01 11:18:20 +01:00
parent 644bc56568
commit 24527bfc4e

View File

@@ -53,7 +53,7 @@ private class AdoptsWkNavigationDelegate extends Decl {
private class WKNavigationDelegateSource extends RemoteFlowSource {
WKNavigationDelegateSource() {
exists(ParamDecl p, FuncDecl f, AdoptsWkNavigationDelegate t |
f.getEnclosingDecl() = t and
t.getAMember() = f and
f.getName() =
[
"webView(_:decidePolicyFor:preferences:decisionHandler:)",