Skip to content

Commit 9696769

Browse files
committed
C#: Address review comments.
1 parent d3aa2ee commit 9696769

File tree

2 files changed

+1
-3
lines changed

2 files changed

+1
-3
lines changed

csharp/ql/test/library-tests/dataflow/library/FlowSummariesFiltered.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ class IncludeFilteredSummarizedCallable extends IncludeSummarizedCallable {
1313
this.propagatesFlow(input, output, preservesValue) and
1414
not exists(IncludeSummarizedCallable rsc |
1515
isBaseCallableOrPrototype(rsc) and
16-
rsc.(SummarizedCallableImpl).propagatesFlow(input, output, preservesValue) and
16+
rsc.propagatesFlow(input, output, preservesValue) and
1717
this.(UnboundCallable).overridesOrImplementsUnbound(rsc)
1818
)
1919
}

csharp/ql/test/shared/FlowSummaries.qll

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -17,6 +17,4 @@ class IncludeSummarizedCallable extends SummarizedCallableImplFinal {
1717
) {
1818
this.propagatesFlow(input, output, preservesValue)
1919
}
20-
21-
string toString() { result = super.toString() }
2220
}

0 commit comments

Comments
 (0)