Skip to content

Commit ca99356

Browse files
committed
Comma fixes
1 parent fc89ae6 commit ca99356

File tree

1 file changed

+8
-8
lines changed

1 file changed

+8
-8
lines changed

usvm-ts/src/main/kotlin/org/usvm/machine/TsInterpreterObserver.kt

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,7 @@ interface TsInterpreterObserver : UInterpreterObserver {
1717
fun onAssignStatement(
1818
simpleValueResolver: TsSimpleValueResolver,
1919
stmt: EtsAssignStmt,
20-
scope: TsStepScope
20+
scope: TsStepScope,
2121
) {
2222
// default empty implementation
2323
}
@@ -27,7 +27,7 @@ interface TsInterpreterObserver : UInterpreterObserver {
2727
fun onCallWithUnresolvedArguments(
2828
simpleValueResolver: TsSimpleValueResolver,
2929
stmt: EtsCallExpr,
30-
scope: TsStepScope
30+
scope: TsStepScope,
3131
) {
3232
// default empty implementation
3333
}
@@ -37,7 +37,7 @@ interface TsInterpreterObserver : UInterpreterObserver {
3737
fun onIfStatement(
3838
simpleValueResolver: TsSimpleValueResolver,
3939
stmt: EtsIfStmt,
40-
scope: TsStepScope
40+
scope: TsStepScope,
4141
) {
4242
// default empty implementation
4343
}
@@ -46,39 +46,39 @@ interface TsInterpreterObserver : UInterpreterObserver {
4646
simpleValueResolver: TsSimpleValueResolver,
4747
stmt: EtsIfStmt,
4848
condition: UBoolExpr,
49-
scope: TsStepScope
49+
scope: TsStepScope,
5050
) {
5151
// default empty implementation
5252
}
5353

5454
fun onReturnStatement(
5555
simpleValueResolver: TsSimpleValueResolver,
5656
stmt: EtsReturnStmt,
57-
scope: TsStepScope
57+
scope: TsStepScope,
5858
) {
5959
// default empty implementation
6060
}
6161

6262
fun onThrowStatement(
6363
simpleValueResolver: TsSimpleValueResolver,
6464
stmt: EtsThrowStmt,
65-
scope: TsStepScope
65+
scope: TsStepScope,
6666
) {
6767
// default empty implementation
6868
}
6969

7070
fun onGotoStatement(
7171
simpleValueResolver: TsSimpleValueResolver,
7272
stmt: EtsGotoStmt,
73-
scope: TsStepScope
73+
scope: TsStepScope,
7474
) {
7575
// default empty implementation
7676
}
7777

7878
fun onSwitchStatement(
7979
simpleValueResolver: TsSimpleValueResolver,
8080
stmt: EtsSwitchStmt,
81-
scope: TsStepScope
81+
scope: TsStepScope,
8282
) {
8383
// default empty implementation
8484
}

0 commit comments

Comments
 (0)