More errors

Author: liufengyun

compiler/src/dotty/tools/dotc/transform/init/Errors.scala

@@ -17,6 +17,7 @@ object Errors {
   sealed trait Error {
     def trace: Vector[Tree]
     def report(implicit ctx: Context): Unit
+    def message(implicit ctx: Context): String
 
     def stacktrace(implicit ctx: Context): String = {
       var indentCount = 0
@@ -41,21 +42,55 @@ object Errors {
 
   /** Access non-initialized field */
   case class AccessNonInit(field: Symbol, trace: Vector[Tree]) extends Error {
+    def message(implicit ctx: Context): String =
+      "Access non-initialized field " + field.show + ". Calling trace:\n" + stacktrace
+
     def report(implicit ctx: Context): Unit = ???
   }
 
   /** Promote `this` under initialization to fully-initialized */
-  case class PromoteThis(pot: ThisRef, trace: Vector[Tree]) extends Error {
+  case class PromoteThis(pot: ThisRef, source: Tree, trace: Vector[Tree]) extends Error {
+    def message(implicit ctx: Context): String = "Promote `this` to be initialized while it is not. Calling trace:\n" + stacktrace
     def report(implicit ctx: Context): Unit = ???
   }
 
   /** Promote a cold value under initialization to fully-initialized */
-  case class PromoteCold(trace: Vector[Tree]) extends Error {
+  case class PromoteCold(source: Tree, trace: Vector[Tree]) extends Error {
+    def message(implicit ctx: Context): String =
+      "Promoting the value " + source.show + " to be initialized while it is under initialization" +
+      ". Calling trace:\n" + stacktrace
+
+    def report(implicit ctx: Context): Unit = ???
+  }
+
+  case class AccessCold(field: Symbol, source: Tree, trace: Vector[Tree]) extends Error {
+    def message(implicit ctx: Context): String =
+      "Access field " + source.show + " on a value under unknown initialization status" +
+      ". Calling trace:\n" + stacktrace
+
+    def report(implicit ctx: Context): Unit = ???
+  }
+
+  case class CallCold(meth: Symbol, source: Tree, trace: Vector[Tree]) extends Error {
+    def message(implicit ctx: Context): String =
+      "Call method " + source.show + " on a value under unknown initialization" +
+      ". Calling trace:\n" + stacktrace
+
+    def report(implicit ctx: Context): Unit = ???
+  }
+
+  case class CallUnknown(meth: Symbol, source: Tree, trace: Vector[Tree]) extends Error {
+    def message(implicit ctx: Context): String =
+      "Calling the external method " + meth.show +
+      " may cause initialization errors" + ". Calling trace:\n" + stacktrace
+
     def report(implicit ctx: Context): Unit = ???
   }
 
   /** Promote a value under initialization to fully-initialized */
-  case class UnsafePromotion(pot: Potential, trace: Vector[Tree], errors: Set[Error]) extends Error {
+  case class UnsafePromotion(pot: Potential, source: Tree, trace: Vector[Tree], errors: Set[Error]) extends Error {
+    def message(implicit ctx: Context): String = ???
+
     def report(implicit ctx: Context): Unit = ???
   }
 }