diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-11-09 14:30:10 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-11-09 14:30:10 +0100 |
commit | ab652d191652eb471e0d7511e1a831f5a52b75fe (patch) | |
tree | fdd1078db6fb2fe42e379cf3532e2a6d7e7340c1 /test | |
parent | 64a23e00c34dac6fc5a73d2339486c4440b9a2c2 (diff) | |
parent | 7332e9c1df756f6898e58231183517fefe93604d (diff) | |
download | dotty-ab652d191652eb471e0d7511e1a831f5a52b75fe.tar.gz dotty-ab652d191652eb471e0d7511e1a831f5a52b75fe.tar.bz2 dotty-ab652d191652eb471e0d7511e1a831f5a52b75fe.zip |
Merge pull request #1609 from dotty-staging/patmat-test
add back the forgotten test file for patmat exhuastivity check
Diffstat (limited to 'test')
-rw-r--r-- | test/dotty/tools/dotc/reporting/TestReporter.scala | 52 | ||||
-rw-r--r-- | test/test/transform/PatmatExhaustivityTest.scala | 90 |
2 files changed, 142 insertions, 0 deletions
diff --git a/test/dotty/tools/dotc/reporting/TestReporter.scala b/test/dotty/tools/dotc/reporting/TestReporter.scala new file mode 100644 index 000000000..70d18d031 --- /dev/null +++ b/test/dotty/tools/dotc/reporting/TestReporter.scala @@ -0,0 +1,52 @@ +package dotty.tools +package dotc +package reporting + +import scala.collection.mutable +import util.SourcePosition +import core.Contexts._ +import Reporter._ +import java.io.PrintWriter +import scala.reflect.internal.util._ +import diagnostic.{ Message, MessageContainer, NoExplanation } +import diagnostic.messages._ + +class TestReporter(writer: PrintWriter) extends Reporter +with UniqueMessagePositions with HideNonSensicalMessages { + + import MessageContainer._ + + /** maximal number of error messages to be printed */ + protected def ErrorLimit = 100 + + def printPos(pos: SourcePosition): Unit = + if (pos.exists) { + if (pos.outer.exists) { + writer.println(s"\ninlined at ${pos.outer}:\n") + printPos(pos.outer) + } + } + + /** Prints the message with the given position indication. */ + def printMessageAndPos(msg: String, pos: SourcePosition)(implicit ctx: Context): Unit = { + val posStr = s"${pos.line + 1}: " + writer.println(posStr + msg) + printPos(pos) + } + + override def doReport(m: MessageContainer)(implicit ctx: Context): Unit = { + // Here we add extra information that we should know about the error message + val extra = m.contained match { + case pm: PatternMatchExhaustivity => s": ${pm.uncovered}" + case _ => "" + } + + m match { + case m: Error => + printMessageAndPos(m.contained.kind + extra, m.pos) + case w: Warning => + printMessageAndPos(w.contained.kind + extra, w.pos) + case _ => + } + } +} diff --git a/test/test/transform/PatmatExhaustivityTest.scala b/test/test/transform/PatmatExhaustivityTest.scala new file mode 100644 index 000000000..c77ba501f --- /dev/null +++ b/test/test/transform/PatmatExhaustivityTest.scala @@ -0,0 +1,90 @@ +package test.transform + +import java.io._ + +import scala.io.Source._ +import scala.reflect.io.Directory +import org.junit.Test +import dotty.tools.dotc.Main +import dotty.tools.dotc.reporting.TestReporter + +class PatmatExhaustivityTest { + val testsDir = "./tests/patmat" + // stop-after: patmatexhaust-huge.scala crash compiler + val options = List("-color:never", "-Ystop-after:splitter", "-Ycheck-all-patmat") + + private def compileFile(file: File) = { + val stringBuffer = new StringWriter() + val reporter = new TestReporter(new PrintWriter(stringBuffer)) + + try { + Main.process((file.getPath::options).toArray, reporter, null) + } catch { + case e: Throwable => + println(s"Compile $file exception:") + e.printStackTrace() + } + + val actual = stringBuffer.toString.trim + val checkFilePath = file.getAbsolutePath.stripSuffix(".scala") + ".check" + val checkContent = + if (new File(checkFilePath).exists) + fromFile(checkFilePath).getLines.mkString("\n").trim + else "" + + (file, checkContent, actual) + } + + /** A single test with multiple files grouped in a folder */ + private def compileDir(file: File) = { + val stringBuffer = new StringWriter() + val reporter = new TestReporter(new PrintWriter(stringBuffer)) + + val files = Directory(file.getPath).list.toList + .filter(f => f.extension == "scala" || f.extension == "java" ) + .map(_.jfile.getPath) + + try { + Main.process((options ++ files).toArray, reporter, null) + } catch { + case e: Throwable => + println(s"Compile $file exception:") + e.printStackTrace() + } + + val actual = stringBuffer.toString.trim + val checkFilePath = file.getPath + File.separator + "expected.check" + val checkContent = + if (new File(checkFilePath).exists) + fromFile(checkFilePath).getLines.mkString("\n").trim + else "" + + (file, checkContent, actual) + } + + @Test def patmatExhaustivity: Unit = { + val res = Directory(testsDir).list.toList + .filter(f => f.extension == "scala" || f.isDirectory) + .map { f => + if (f.isDirectory) + compileDir(f.jfile) + else + compileFile(f.jfile) + } + + val failed = res.filter { case (_, expected, actual) => expected != actual } + val ignored = Directory(testsDir).list.toList.filter(_.extension == "ignore") + + failed.foreach { case (file, expected, actual) => + println(s"\n----------------- incorrect output for $file --------------\n" + + s"Expected:\n---------\n$expected\n\nActual:\n-------\n$actual\n" + ) + } + + val msg = s"Total: ${res.length + ignored.length}, Failed: ${failed.length}, Ignored: ${ignored.length}" + + assert(failed.length == 0, msg) + + println(msg) + } +} |