Skip to content

Commit c9c0c7f

Browse files
committed
fix formatting
1 parent 6b9ddf1 commit c9c0c7f

File tree

2 files changed

+2
-6
lines changed

2 files changed

+2
-6
lines changed

csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -942,9 +942,7 @@ import ParameterNodes
942942
/** A data-flow node that represents a call argument. */
943943
class ArgumentNode extends Node instanceof ArgumentNodeImpl {
944944
/** Holds if this argument occurs at the given position in the given call. */
945-
final predicate argumentOf(DataFlowCall call, int pos) {
946-
super.argumentOf(call, pos)
947-
}
945+
final predicate argumentOf(DataFlowCall call, int pos) { super.argumentOf(call, pos) }
948946
}
949947

950948
abstract private class ArgumentNodeImpl extends Node {

csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPublic.qll

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -108,9 +108,7 @@ class ParameterNode extends Node instanceof ParameterNodeImpl {
108108
* Holds if this node is the parameter of callable `c` at the specified
109109
* (zero-based) position.
110110
*/
111-
predicate isParameterOf(DataFlowCallable c, int i) {
112-
super.isParameterOf(c, i)
113-
}
111+
predicate isParameterOf(DataFlowCallable c, int i) { super.isParameterOf(c, i) }
114112
}
115113

116114
/** A definition, viewed as a node in a data flow graph. */

0 commit comments

Comments
 (0)