C#: Add TargetAPI class.

This commit is contained in:
Michael Nebel
2022-03-03 15:15:23 +01:00
parent 9ca199c9ae
commit 9c6ed0ade3

View File

@@ -0,0 +1,12 @@
import csharp
private import semmle.code.csharp.commons.Util
private predicate isRelevantForModels(Callable api) { not api instanceof MainMethod }
class TargetAPI extends Callable {
TargetAPI() {
[this.(Modifiable), this.(Accessor).getDeclaration()].isEffectivelyPublic() and
this.fromSource() and
isRelevantForModels(this)
}
}