Show return edges in detailed-types / Refine return type of Await

es-meta · Sep 18, 2024 · 896dd37 · 896dd37
1 parent 30d7edc
commit 896dd37
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 1 deletion.
diff --git a/src/main/scala/esmeta/analyzer/AbsSemantics.scala b/src/main/scala/esmeta/analyzer/AbsSemantics.scala
@@ -176,7 +176,13 @@ trait AbsSemanticsDecl { self: Analyzer =>
           s"$k -> $st"
         case rp: ReturnPoint =>
           val st = this(rp).getString(detail = detail)
-          s"$k -> $st"
+          s"$k -> $st" + (
+            if (detail)
+              getRetEdges(rp).toList.sorted
+                .map("\n  " + _.toString)
+                .mkString(" -> [", ",", "\n]")
+            else ""
+          )
 
     /** conversion to string */
     override def toString: String = shortString

diff --git a/src/main/scala/esmeta/analyzer/TypeAnalyzer.scala b/src/main/scala/esmeta/analyzer/TypeAnalyzer.scala
@@ -245,6 +245,9 @@ class TypeAnalyzer(
         "MakeBasicObject" -> { (xs, vs, retTy) =>
           AbsValue(RecordT("Object"), Map())
         },
+        "Await" -> { (xs, vs, retTy) =>
+          AbsValue(NormalT(ESValueT) || ThrowT, Map())
+        },
         "IsCallable" -> { (xs, vs, retTy) =>
           var map: Refinements = Map()
           xs(0).map { x => map += True -> Map(x -> RecordT("FunctionObject")) }