Skip to content

Commit 1bd5eb5

Browse files
author
Sauyon Lee
committed
Use if statement instead of manual disjuction
1 parent 73d6177 commit 1bd5eb5

File tree

1 file changed

+3
-5
lines changed

1 file changed

+3
-5
lines changed

java/ql/src/utils/FlowTestCase.qll

Lines changed: 3 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -236,11 +236,9 @@ class TestCase extends TTestCase {
236236
or
237237
exists(SummaryComponentStack s | s.tail() = stack |
238238
// we currently only know the type if the stack is one level in
239-
s = input and
240-
result = SupportMethod::genMethodFor(this.getInputType(), s).getCall(this.getInput(s))
241-
or
242-
not s = input and
243-
result = SupportMethod::genMethodForContent(s).getCall(this.getInput(s))
239+
if s = input
240+
then result = SupportMethod::genMethodFor(this.getInputType(), s).getCall(this.getInput(s))
241+
else result = SupportMethod::genMethodForContent(s).getCall(this.getInput(s))
244242
)
245243
}
246244

0 commit comments

Comments
 (0)