Skip to content

Commit 2829770

Browse files
committed
Autoformat and fix typo
1 parent bd87be6 commit 2829770

File tree

1 file changed

+4
-2
lines changed

1 file changed

+4
-2
lines changed

java/ql/lib/semmle/code/java/controlflow/internal/Preconditions.qll

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -71,7 +71,7 @@ private predicate conditionCheckMethodApacheCommonsLang3Validate(Method m, boole
7171
}
7272

7373
/**
74-
* Holds if `m` is a non-overridable testing framework methopd that checks that its first argument
74+
* Holds if `m` is a non-overridable testing framework method that checks that its first argument
7575
* is equal to `checkTrue` and throws otherwise.
7676
*/
7777
private predicate condtionCheckMethodTestingFramework(Method m, int argument, boolean checkTrue) {
@@ -110,7 +110,9 @@ private predicate condtionCheckMethodTestingFramework(Method m, int argument, bo
110110
* Holds if `ma` is an access to a non-overridable method that checks that its
111111
* first argument is equal to `checkTrue` and throws otherwise.
112112
*/
113-
deprecated predicate conditionCheck(MethodAccess ma, boolean checkTrue) { conditionCheckArgument(ma, 0, checkTrue) }
113+
deprecated predicate conditionCheck(MethodAccess ma, boolean checkTrue) {
114+
conditionCheckArgument(ma, 0, checkTrue)
115+
}
114116

115117
/**
116118
* Holds if `ma` is an access to a non-overridable method that checks that its

0 commit comments

Comments
 (0)