diff options
author | Guillaume Martres <smarter@ubuntu.com> | 2016-11-18 01:56:10 +0100 |
---|---|---|
committer | Guillaume Martres <smarter@ubuntu.com> | 2016-11-22 01:35:08 +0100 |
commit | e5b64f1e4444f9a37851a11314a7025d413aed43 (patch) | |
tree | a0dbe9a2f380c18b3d9729c812f94ce69d628037 /compiler/test/dotty/tools/dotc/transform | |
parent | 2d6a290d93e9a4e58cda443b93cd126ebee43be8 (diff) | |
download | dotty-e5b64f1e4444f9a37851a11314a7025d413aed43.tar.gz dotty-e5b64f1e4444f9a37851a11314a7025d413aed43.tar.bz2 dotty-e5b64f1e4444f9a37851a11314a7025d413aed43.zip |
Move PatmatExhaustivityTest.scala in its proper place
Diffstat (limited to 'compiler/test/dotty/tools/dotc/transform')
-rw-r--r-- | compiler/test/dotty/tools/dotc/transform/PatmatExhaustivityTest.scala | 90 |
1 files changed, 90 insertions, 0 deletions
diff --git a/compiler/test/dotty/tools/dotc/transform/PatmatExhaustivityTest.scala b/compiler/test/dotty/tools/dotc/transform/PatmatExhaustivityTest.scala new file mode 100644 index 000000000..c77ba501f --- /dev/null +++ b/compiler/test/dotty/tools/dotc/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) + } +} |