Add plugin test to normal CI

The scripted tests only run every night

Author: liufengyun

compiler/test/dotty/tools/dotc/BootstrappedOnlyCompilationTests.scala

@@ -183,6 +183,7 @@ class BootstrappedOnlyCompilationTests extends ParallelTesting {
     }
 
     compileFilesInDir("tests/plugins/neg").checkExpectedErrors()
+    compileFilesInDir("tests/plugins/pos").checkCompile()
   }
 }
 

tests/plugins/pos/analyzer/Analyzer_1.scala

@@ -0,0 +1,82 @@
+package analyzer
+
+import scala.language.implicitConversions
+
+import dotty.tools.dotc._
+import core._
+import Contexts.Context
+import plugins._
+import Phases.Phase
+import ast.tpd
+import transform.MegaPhase.MiniPhase
+import Decorators._
+import Symbols.Symbol
+import Constants.Constant
+import Types._
+import transform.{SetDefTree, SetDefTreeOff}
+
+class InitChecker extends PluginPhase with StandardPlugin {
+  import tpd._
+
+  val name: String = "initChecker"
+  override val description: String = "checks that under -Yretain-trees we may get tree for all symbols"
+
+  val phaseName = name
+
+  override val runsAfter = Set(SetDefTree.name)
+  override val runsBefore = Set(SetDefTreeOff.name)
+
+  def init(options: List[String]): List[PluginPhase] = this :: Nil
+
+  private def checkDef(tree: Tree)(implicit ctx: Context): Tree = {
+    if (tree.symbol.defTree.isEmpty)
+      ctx.error("cannot get tree for " + tree.show, tree.sourcePos)
+    tree
+  }
+
+  private def checkable(sym: Symbol)(implicit ctx: Context): Boolean =
+    sym.exists && !sym.isOneOf(Flags.Package) && !sym.isOneOf(Flags.Param) &&
+      (sym.isClass || !sym.isOneOf(Flags.Case, butNot = Flags.Enum)) // pattern-bound symbols
+
+  private def checkRef(tree: Tree)(implicit ctx: Context): Tree =
+    if (!checkable(tree.symbol)) tree
+    else {
+      val helloPkgSym = ctx.requiredPackage("hello").moduleClass
+      val libPkgSym = ctx.requiredPackage("lib").moduleClass
+      val enclosingPkg = tree.symbol.enclosingPackageClass
+
+      if (enclosingPkg == helloPkgSym) {  // source code
+        checkDef(tree)
+        ctx.warning("tree: " + tree.symbol.defTree.show)
+      }
+      else if (enclosingPkg == libPkgSym) { // tasty from library
+        checkDef(tree)
+        // check that all sub-definitions have trees set properly
+        // make sure that are no cycles in the code
+        transformAllDeep(tree.symbol.defTree)
+        ctx.warning("tree: " + tree.symbol.defTree.show)
+      }
+      else {
+        ctx.warning(tree.symbol + " is neither in lib nor hello, owner = " + enclosingPkg, tree.sourcePos)
+      }
+      tree
+    }
+
+  override def transformValDef(tree: ValDef)(implicit ctx: Context): Tree = checkDef(tree)
+
+  override def transformDefDef(tree: DefDef)(implicit ctx: Context): Tree = checkDef(tree)
+
+  override def transformTypeDef(tree: TypeDef)(implicit ctx: Context): Tree = checkDef(tree)
+
+  override def transformSelect(tree: Select)(implicit ctx: Context): Tree = checkRef(tree)
+
+  override def transformIdent(tree: Ident)(implicit ctx: Context): Tree = checkRef(tree)
+
+  override def transformTypeTree(tree: TypeTree)(implicit ctx: Context): Tree = {
+    tree.tpe.foreachPart {
+      case tp: NamedType => checkRef(TypeTree(tp))
+      case _ =>
+    }
+    tree
+  }
+}

tests/plugins/pos/analyzer/Hello_3.scala

@@ -0,0 +1,42 @@
+package hello
+
+import lib._
+
+case class Student(name: String)
+
+class M(val n: Int) {
+  val a = 30 * n
+  def this(c: Char) = this(c.toInt)
+
+  class B(x: Int) {
+    def this(c: Char) = this(c.toInt)
+    val b = x * a
+    def bar(i: Int) = i * x
+  }
+
+  def foo(i: Int) = i * n
+
+  def bar = {
+    class C(val s: String)
+    val c = new C("hello")
+    def qux = c.s
+    qux
+  }
+}
+
+
+object Test {
+  def testLib: Unit = {
+    val a: A = new A(30)
+    val b: a.B = new a.B(24)
+    a.foo(3)
+    b.bar(9)
+  }
+
+  def testHello: Unit = {
+    val a: M = new M(30)
+    val b: a.B = new a.B(24)
+    a.foo(3)
+    b.bar(9)
+  }
+}

tests/plugins/pos/analyzer/Lib_2.scala

@@ -0,0 +1,18 @@
+package lib
+
+class A(val n: Int) {
+  def this(c: Char) = this(c.toInt)
+
+  val a = 30 * n
+  // val p = Product("x", 100)
+
+  class B(x: Int) {
+    def this(c: Char) = this(c.toInt)
+    val b = x * a
+    def bar(i: Int) = i * x
+  }
+
+  def foo(i: Int) = i * n
+}
+
+case class Product(name: String, price: Int)

tests/plugins/pos/analyzer/plugin.properties

@@ -0,0 +1 @@
+pluginClass=analyzer.InitChecker