C#: Remove unnecessary isEffectivelyPublic predicate

koesie10 · koesie10 · commit 8472b84cad8e · 2023-09-18T13:49:16.000+02:00
diff --git a/csharp/ql/src/utils/modeleditor/FetchApplicationModeMethods.ql b/csharp/ql/src/utils/modeleditor/FetchApplicationModeMethods.ql
@@ -13,8 +13,7 @@ private import AutomodelVsCode
 class ExternalApi extends CallableMethod {
   ExternalApi() {
     this.isUnboundDeclaration() and
-    this.fromLibrary() and
-    this.(Modifiable).isEffectivelyPublic()
+    this.fromLibrary()
   }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -13,8 +13,7 @@ private import AutomodelVsCode`
`13`	`13`	`class ExternalApi extends CallableMethod {`
`14`	`14`	`ExternalApi() {`
`15`	`15`	`this.isUnboundDeclaration() and`
`16`		`- this.fromLibrary() and`
`17`		`- this.(Modifiable).isEffectivelyPublic()`
	`16`	`+ this.fromLibrary()`
`18`	`17`	`}`
`19`	`18`	`}`
`20`	`19`