Change 'arg' in AwaitExpr to be Local (#329)

Lipen · web-flow · commit da338ffc834e · 2025-07-09T15:55:50.000+03:00
diff --git a/jacodb-ets/src/main/kotlin/org/jacodb/ets/dto/Convert.kt b/jacodb-ets/src/main/kotlin/org/jacodb/ets/dto/Convert.kt
@@ -278,7 +278,7 @@ class EtsMethodBuilder(
         )
 
         is AwaitExprDto -> EtsAwaitExpr(
-            arg = arg.toEtsEntity(),
+            arg = ensureLocal(arg.toEtsEntity()),
             type = type.toEtsType(),
         )
 
diff --git a/jacodb-ets/src/main/kotlin/org/jacodb/ets/model/Expr.kt b/jacodb-ets/src/main/kotlin/org/jacodb/ets/model/Expr.kt
@@ -218,7 +218,7 @@ data class EtsDeleteExpr(
 }
 
 data class EtsAwaitExpr(
-    override val arg: EtsEntity,
+    override val arg: EtsLocal,
     override val type: EtsType,
 ) : EtsUnaryExpr {
     override fun toString(): String {

Original file line number	Diff line number	Diff line change
`@@ -278,7 +278,7 @@ class EtsMethodBuilder(`
`278`	`278`	`)`
`279`	`279`
`280`	`280`	`is AwaitExprDto -> EtsAwaitExpr(`
`281`		`- arg = arg.toEtsEntity(),`
	`281`	`+ arg = ensureLocal(arg.toEtsEntity()),`
`282`	`282`	`type = type.toEtsType(),`
`283`	`283`	`)`
`284`	`284`
Original file line number	Diff line number	Diff line change
`@@ -218,7 +218,7 @@ data class EtsDeleteExpr(`
`218`	`218`	`}`
`219`	`219`
`220`	`220`	`data class EtsAwaitExpr(`
`221`		`- override val arg: EtsEntity,`
	`221`	`+ override val arg: EtsLocal,`
`222`	`222`	`override val type: EtsType,`
`223`	`223`	`) : EtsUnaryExpr {`
`224`	`224`	`override fun toString(): String {`