C#: Address review comments.

This commit is contained in:
Michael Nebel
2024-03-20 15:28:56 +01:00
parent d3aa2eed64
commit 969676975d
2 changed files with 1 additions and 3 deletions

View File

@@ -13,7 +13,7 @@ class IncludeFilteredSummarizedCallable extends IncludeSummarizedCallable {
this.propagatesFlow(input, output, preservesValue) and
not exists(IncludeSummarizedCallable rsc |
isBaseCallableOrPrototype(rsc) and
rsc.(SummarizedCallableImpl).propagatesFlow(input, output, preservesValue) and
rsc.propagatesFlow(input, output, preservesValue) and
this.(UnboundCallable).overridesOrImplementsUnbound(rsc)
)
}

View File

@@ -17,6 +17,4 @@ class IncludeSummarizedCallable extends SummarizedCallableImplFinal {
) {
this.propagatesFlow(input, output, preservesValue)
}
string toString() { result = super.toString() }
}