Skip to content

Commit 68c455c

Browse files
committed
Python: IncorrectExceptOrder.ql: Autoformats w/ new QL indentation
1 parent c670f81 commit 68c455c

File tree

1 file changed

+10
-10
lines changed

1 file changed

+10
-10
lines changed

python/ql/src/Exceptions/IncorrectExceptOrder.ql

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -15,20 +15,20 @@
1515
import python
1616

1717
predicate incorrect_except_order(ExceptStmt ex1, ClassValue cls1, ExceptStmt ex2, ClassValue cls2) {
18-
exists(int i, int j, Try t |
19-
ex1 = t.getHandler(i) and
20-
ex2 = t.getHandler(j) and
21-
i < j and
22-
cls1 = except_class(ex1) and
23-
cls2 = except_class(ex2) and
24-
cls1 = cls2.getASuperType()
25-
)
18+
exists(int i, int j, Try t |
19+
ex1 = t.getHandler(i) and
20+
ex2 = t.getHandler(j) and
21+
i < j and
22+
cls1 = except_class(ex1) and
23+
cls2 = except_class(ex2) and
24+
cls1 = cls2.getASuperType()
25+
)
2626
}
2727

2828
ClassValue except_class(ExceptStmt ex) { ex.getType().pointsTo(result) }
2929

3030
from ExceptStmt ex1, ClassValue cls1, ExceptStmt ex2, ClassValue cls2
3131
where incorrect_except_order(ex1, cls1, ex2, cls2)
3232
select ex2,
33-
"Except block for $@ is unreachable; the more general $@ for $@ will always be executed in preference.",
34-
cls2, cls2.getName(), ex1, "except block", cls1, cls1.getName()
33+
"Except block for $@ is unreachable; the more general $@ for $@ will always be executed in preference.",
34+
cls2, cls2.getName(), ex1, "except block", cls1, cls1.getName()

0 commit comments

Comments
 (0)