refactor: remove unnecessary SymTyLike type in general Analyzer def.

es-meta · Feb 6, 2025 · 7d04f75 · 7d04f75
1 parent 3d568b1
commit 7d04f75
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 15 deletions.
diff --git a/src/main/scala/esmeta/analyzer/Analyzer.scala b/src/main/scala/esmeta/analyzer/Analyzer.scala
@@ -39,9 +39,6 @@ abstract class Analyzer
   /** check reachability of return points */
   def reachable(rp: ReturnPoint): Boolean
 
-  /** symbolic types */
-  type SymTy <: SymTyLike
-
   /** abstract states */
   type AbsState <: AbsStateLike
 

diff --git a/src/main/scala/esmeta/analyzer/DomainLike.scala b/src/main/scala/esmeta/analyzer/DomainLike.scala
@@ -27,17 +27,6 @@ trait DomainLikeDecl { self: Analyzer =>
     override def toString: String = stringify(this)(using domain.rule)
   }
 
-  /** Symbolic types */
-  trait SymTyLike extends DomainElemLike[SymTy] { self: SymTy =>
-
-    /** abstract domain */
-    def domain = SymTy
-
-    /** get string of symbolic type */
-    def getString: String
-  }
-  val SymTy: DomainLike[SymTy]
-
   /** abstract values */
   trait AbsValueLike extends DomainElemLike[AbsValue] { self: AbsValue =>
 

diff --git a/src/main/scala/esmeta/analyzer/tychecker/SymTy.scala b/src/main/scala/esmeta/analyzer/tychecker/SymTy.scala
@@ -12,7 +12,7 @@ import esmeta.util.BaseUtils.*
 trait SymTyDecl { self: TyChecker =>
   import tyStringifier.given
 
-  enum SymTy extends SymTyLike {
+  enum SymTy {
     case STy(ty: ValueTy)
     case SRef(ref: SymRef)
     case SNormal(symty: SymTy)