diff options
author | Vlad Ureche <vlad.ureche@gmail.com> | 2012-04-14 12:27:55 +0200 |
---|---|---|
committer | Vlad Ureche <vlad.ureche@gmail.com> | 2012-04-14 12:27:55 +0200 |
commit | 95ad0bbddb09f1177cf8cd6f0e8ef2f7135bf4ae (patch) | |
tree | aba57e721049cb455aa4134674047f0eeb15ef77 /test/disabled | |
parent | 651f2219b325c1a4cf586da4cae58e60caec0860 (diff) | |
download | scala-95ad0bbddb09f1177cf8cd6f0e8ef2f7135bf4ae.tar.gz scala-95ad0bbddb09f1177cf8cd6f0e8ef2f7135bf4ae.tar.bz2 scala-95ad0bbddb09f1177cf8cd6f0e8ef2f7135bf4ae.zip |
Adapted implicits testsuite for SIP18
Diffstat (limited to 'test/disabled')
-rw-r--r-- | test/disabled/run/implicits-base.check | 1 | ||||
-rw-r--r-- | test/disabled/run/implicits-base.scala | 180 | ||||
-rw-r--r-- | test/disabled/run/implicits-chaining.check | 1 | ||||
-rw-r--r-- | test/disabled/run/implicits-chaining.scala | 65 | ||||
-rw-r--r-- | test/disabled/run/implicits-elimination.check | 1 | ||||
-rw-r--r-- | test/disabled/run/implicits-elimination.scala | 23 | ||||
-rw-r--r-- | test/disabled/run/implicits-scopes.check | 1 | ||||
-rw-r--r-- | test/disabled/run/implicits-scopes.scala | 77 |
8 files changed, 0 insertions, 349 deletions
diff --git a/test/disabled/run/implicits-base.check b/test/disabled/run/implicits-base.check deleted file mode 100644 index 619c56180b..0000000000 --- a/test/disabled/run/implicits-base.check +++ /dev/null @@ -1 +0,0 @@ -Done. diff --git a/test/disabled/run/implicits-base.scala b/test/disabled/run/implicits-base.scala deleted file mode 100644 index 06d017ed70..0000000000 --- a/test/disabled/run/implicits-base.scala +++ /dev/null @@ -1,180 +0,0 @@ -import scala.tools.nsc.doc.model._ -import scala.tools.partest.ScaladocModelTest -import language._ - -object Test extends ScaladocModelTest { - - // test a file instead of a piece of code - override def resourceFile = "implicits-base-res.scala" - - // start implicits - def scaladocSettings = "-implicits -implicits-show-all" - - def testModel(root: Package) = { - // get the quick access implicit defs in scope (_package(s), _class(es), _trait(s), object(s) _method(s), _value(s)) - import access._ - - // SEE THE test/resources/implicits-base-res.scala FOR THE EXPLANATION OF WHAT'S CHECKED HERE: - val base = root._package("scala")._package("test")._package("scaladoc")._package("implicits")._package("base") - var conv: ImplicitConversion = null - -//// class A /////////////////////////////////////////////////////////////////////////////////////////////////////////// - - val A = base._class("A") - - // the method pimped on by pimpA0 should be shadowed by the method in class A - assert(A._conversions(A.qualifiedName + ".pimpA0").isEmpty) - - // def convToNumericA: T // pimpA1: with a constraint that there is x: Numeric[T] implicit in scope - conv = A._conversion(A.qualifiedName + ".pimpA1") - assert(conv.members.length == 1) - assert(conv.constraints.length == 1) - assert(conv._member("convToNumericA").resultType.name == "T") - - // def convToIntA: Int // pimpA2: with a constraint that T = Int - conv = A._conversion(A.qualifiedName + ".pimpA2") - assert(conv.members.length == 1) - assert(conv.constraints.length == 1) - assert(conv._member("convToIntA").resultType.name == "Int") - - // def convToGtColonDoubleA: Double // pimpA3: with a constraint that T <: Double - conv = A._conversion(A.qualifiedName + ".pimpA3") - assert(conv.members.length == 1) - assert(conv.constraints.length == 1) - assert(conv._member("convToGtColonDoubleA").resultType.name == "Double") - - // def convToPimpedA: S // pimpA4: with 3 constraints: T = Foo[Bar[S]], S: Foo and S: Bar - conv = A._conversion(A.qualifiedName + ".pimpA4") - assert(conv.members.length == 1) - assert(conv.constraints.length == 3) - assert(conv._member("convToPimpedA").resultType.name == "S") - - // def convToPimpedA: Bar[Foo[T]] // pimpA5: no constraints - conv = A._conversion(A.qualifiedName + ".pimpA5") - assert(conv.members.length == 1) - assert(conv.constraints.length == 0) - assert(conv._member("convToPimpedA").resultType.name == "Bar[Foo[T]]") - - // def convToMyNumericA: T // pimpA6: with a constraint that there is x: MyNumeric[T] implicit in scope - conv = A._conversion(A.qualifiedName + ".pimpA6") - assert(conv.members.length == 1) - assert(conv.constraints.length == 1) - assert(conv._member("convToMyNumericA").resultType.name == "T") - - // def convToManifestA: T // pimpA7: with 2 constraints: T: Manifest and T <: Double - // def convToTraversableOps: T // pimpA7: with 2 constraints: T: Manifest and T <: Double - // should not be abstract! - conv = A._conversion(A.qualifiedName + ".pimpA7") - assert(conv.members.length == 2) - assert(conv.constraints.length == 2) - assert(conv._member("convToManifestA").resultType.name == "T") - assert(conv._member("convToTraversableOps").resultType.name == "T") - assert(conv._member("convToTraversableOps").flags.toString.indexOf("abstract") == -1) - -//// class B /////////////////////////////////////////////////////////////////////////////////////////////////////////// - - val B = base._class("B") - - // these conversions should not affect B - assert(B._conversions(A.qualifiedName + ".pimpA0").isEmpty) - assert(B._conversions(A.qualifiedName + ".pimpA2").isEmpty) - assert(B._conversions(A.qualifiedName + ".pimpA4").isEmpty) - - // def convToNumericA: Double // pimpA1: no constraintsd - conv = B._conversion(A.qualifiedName + ".pimpA1") - assert(conv.members.length == 1) - assert(conv.constraints.length == 0) - assert(conv._member("convToNumericA").resultType.name == "Double") - - // def convToGtColonDoubleA: Double // pimpA3: no constraints - conv = B._conversion(A.qualifiedName + ".pimpA3") - assert(conv.members.length == 1) - assert(conv.constraints.length == 0) - assert(conv._member("convToGtColonDoubleA").resultType.name == "Double") - - // def convToPimpedA: Bar[Foo[Double]] // pimpA5: no constraints - conv = B._conversion(A.qualifiedName + ".pimpA5") - assert(conv.members.length == 1) - assert(conv.constraints.length == 0) - assert(conv._member("convToPimpedA").resultType.name == "Bar[Foo[Double]]") - - // def convToMyNumericA: Double // pimpA6: (if showAll is set) with a constraint that there is x: MyNumeric[Double] implicit in scope - conv = B._conversion(A.qualifiedName + ".pimpA6") - assert(conv.members.length == 1) - assert(conv.constraints.length == 1) - assert(conv._member("convToMyNumericA").resultType.name == "Double") - - // def convToManifestA: Double // pimpA7: no constraints - // def convToTraversableOps: Double // pimpA7: no constraints - // // should not be abstract! - conv = B._conversion(A.qualifiedName + ".pimpA7") - assert(conv.members.length == 2) - assert(conv.constraints.length == 0) - assert(conv._member("convToManifestA").resultType.name == "Double") - assert(conv._member("convToTraversableOps").resultType.name == "Double") - assert(conv._member("convToTraversableOps").flags.toString.indexOf("abstract") == -1) - -//// class C /////////////////////////////////////////////////////////////////////////////////////////////////////////// - - val C = base._class("C") - - // these conversions should not affect C - assert(C._conversions(A.qualifiedName + ".pimpA0").isEmpty) - assert(C._conversions(A.qualifiedName + ".pimpA3").isEmpty) - assert(C._conversions(A.qualifiedName + ".pimpA4").isEmpty) - assert(C._conversions(A.qualifiedName + ".pimpA7").isEmpty) - - // def convToNumericA: Int // pimpA1: no constraints - conv = C._conversion(A.qualifiedName + ".pimpA1") - assert(conv.members.length == 1) - assert(conv.constraints.length == 0) - assert(conv._member("convToNumericA").resultType.name == "Int") - - // def convToIntA: Int // pimpA2: no constraints - conv = C._conversion(A.qualifiedName + ".pimpA2") - assert(conv.members.length == 1) - assert(conv.constraints.length == 0) - assert(conv._member("convToIntA").resultType.name == "Int") - - // def convToPimpedA: Bar[Foo[Int]] // pimpA5: no constraints - conv = C._conversion(A.qualifiedName + ".pimpA5") - assert(conv.members.length == 1) - assert(conv.constraints.length == 0) - assert(conv._member("convToPimpedA").resultType.name == "Bar[Foo[Int]]") - - // def convToMyNumericA: Int // pimpA6: (if showAll is set) with a constraint that there is x: MyNumeric[Int] implicit in scope - conv = C._conversion(A.qualifiedName + ".pimpA6") - assert(conv.members.length == 1) - assert(conv.constraints.length == 1) - assert(conv._member("convToMyNumericA").resultType.name == "Int") - -//// class D /////////////////////////////////////////////////////////////////////////////////////////////////////////// - - val D = base._class("D") - - // these conversions should not affect D - assert(D._conversions(A.qualifiedName + ".pimpA0").isEmpty) - assert(D._conversions(A.qualifiedName + ".pimpA2").isEmpty) - assert(D._conversions(A.qualifiedName + ".pimpA3").isEmpty) - assert(D._conversions(A.qualifiedName + ".pimpA4").isEmpty) - assert(D._conversions(A.qualifiedName + ".pimpA7").isEmpty) - - // def convToNumericA: String // pimpA1: (if showAll is set) with a constraint that there is x: Numeric[String] implicit in scope - conv = D._conversion(A.qualifiedName + ".pimpA1") - assert(conv.members.length == 1) - assert(conv.constraints.length == 1) - assert(conv._member("convToNumericA").resultType.name == "String") - - // def convToPimpedA: Bar[Foo[String]] // pimpA5: no constraints - conv = D._conversion(A.qualifiedName + ".pimpA5") - assert(conv.members.length == 1) - assert(conv.constraints.length == 0) - assert(conv._member("convToPimpedA").resultType.name == "Bar[Foo[String]]") - - // def convToMyNumericA: String // pimpA6: (if showAll is set) with a constraint that there is x: MyNumeric[String] implicit in scope - conv = D._conversion(A.qualifiedName + ".pimpA6") - assert(conv.members.length == 1) - assert(conv.constraints.length == 1) - assert(conv._member("convToMyNumericA").resultType.name == "String") - } -} diff --git a/test/disabled/run/implicits-chaining.check b/test/disabled/run/implicits-chaining.check deleted file mode 100644 index 619c56180b..0000000000 --- a/test/disabled/run/implicits-chaining.check +++ /dev/null @@ -1 +0,0 @@ -Done. diff --git a/test/disabled/run/implicits-chaining.scala b/test/disabled/run/implicits-chaining.scala deleted file mode 100644 index 858ca9ce61..0000000000 --- a/test/disabled/run/implicits-chaining.scala +++ /dev/null @@ -1,65 +0,0 @@ -import scala.tools.nsc.doc.model._ -import scala.tools.partest.ScaladocModelTest -import language._ - -object Test extends ScaladocModelTest { - - // test a file instead of a piece of code - override def resourceFile = "implicits-chaining-res.scala" - - // start implicits - def scaladocSettings = "-implicits" - - def testModel(root: Package) = { - // get the quick access implicit defs in scope (_package(s), _class(es), _trait(s), object(s) _method(s), _value(s)) - import access._ - - // SEE THE test/resources/implicits-chaining-res.scala FOR THE EXPLANATION OF WHAT'S CHECKED HERE: - val base = root._package("scala")._package("test")._package("scaladoc")._package("implicits")._object("chaining") - var conv: ImplicitConversion = null - -//// class A /////////////////////////////////////////////////////////////////////////////////////////////////////////// - - val A = base._class("A") - - conv = A._conversion(base.qualifiedName + ".convertToZ") - assert(conv.members.length == 1) - assert(conv.constraints.length == 1) - -//// class B /////////////////////////////////////////////////////////////////////////////////////////////////////////// - - val B = base._class("B") - - conv = B._conversion(base.qualifiedName + ".convertToZ") - assert(conv.members.length == 1) - assert(conv.constraints.length == 0) - -//// class C /////////////////////////////////////////////////////////////////////////////////////////////////////////// - - val C = base._class("C") - - assert(C._conversions(base.qualifiedName + ".convertToZ").isEmpty) - -//// class D /////////////////////////////////////////////////////////////////////////////////////////////////////////// - - val D = base._class("D") - - conv = D._conversion(base.qualifiedName + ".convertToZ") - assert(conv.members.length == 1) - assert(conv.constraints.length == 0) - -//// class E /////////////////////////////////////////////////////////////////////////////////////////////////////////// - - val E = base._class("E") - - conv = E._conversion(base.qualifiedName + ".convertToZ") - assert(conv.members.length == 1) - assert(conv.constraints.length == 0) - -//// class F /////////////////////////////////////////////////////////////////////////////////////////////////////////// - - val F = base._class("F") - - assert(F._conversions(base.qualifiedName + ".convertToZ").isEmpty) - } -} diff --git a/test/disabled/run/implicits-elimination.check b/test/disabled/run/implicits-elimination.check deleted file mode 100644 index 619c56180b..0000000000 --- a/test/disabled/run/implicits-elimination.check +++ /dev/null @@ -1 +0,0 @@ -Done. diff --git a/test/disabled/run/implicits-elimination.scala b/test/disabled/run/implicits-elimination.scala deleted file mode 100644 index ed37b9cd90..0000000000 --- a/test/disabled/run/implicits-elimination.scala +++ /dev/null @@ -1,23 +0,0 @@ -import scala.tools.nsc.doc.model._ -import scala.tools.partest.ScaladocModelTest -import language._ - -object Test extends ScaladocModelTest { - - // test a file instead of a piece of code - override def resourceFile = "implicits-elimination-res.scala" - - // start implicits - def scaladocSettings = "-implicits" - - def testModel(root: Package) = { - // get the quick access implicit defs in scope (_package(s), _class(es), _trait(s), object(s) _method(s), _value(s)) - import access._ - - // SEE THE test/resources/implicits-elimination-res.scala FOR THE EXPLANATION OF WHAT'S CHECKED HERE: - val base = root._package("scala")._package("test")._package("scaladoc")._package("implicits")._package("elimination") - val A = base._class("A") - - assert(A._conversions(A.qualifiedName + ".toB").isEmpty) - } -} diff --git a/test/disabled/run/implicits-scopes.check b/test/disabled/run/implicits-scopes.check deleted file mode 100644 index 619c56180b..0000000000 --- a/test/disabled/run/implicits-scopes.check +++ /dev/null @@ -1 +0,0 @@ -Done. diff --git a/test/disabled/run/implicits-scopes.scala b/test/disabled/run/implicits-scopes.scala deleted file mode 100644 index 7b9e80e148..0000000000 --- a/test/disabled/run/implicits-scopes.scala +++ /dev/null @@ -1,77 +0,0 @@ -import scala.tools.nsc.doc.model._ -import scala.tools.partest.ScaladocModelTest -import language._ - -object Test extends ScaladocModelTest { - - // test a file instead of a piece of code - override def resourceFile = "implicits-scopes-res.scala" - - // start implicits - def scaladocSettings = "-implicits" - - def testModel(root: Package) = { - // get the quick access implicit defs in scope (_package(s), _class(es), _trait(s), object(s) _method(s), _value(s)) - import access._ - var conv: ImplicitConversion = null - - // SEE THE test/resources/implicits-chaining-res.scala FOR THE EXPLANATION OF WHAT'S CHECKED HERE: - val base = root._package("scala")._package("test")._package("scaladoc")._package("implicits")._package("scopes") - -//// test1 ///////////////////////////////////////////////////////////////////////////////////////////////////////////// - - val doTest1 = { - val test1 = base._package("test1") - val A = test1._class("A") - - conv = A._conversion(test1.qualifiedName + ".package.toB") // the .package means it's the package object - assert(conv.members.length == 1) - assert(conv.constraints.length == 0) - } - -//// test2 ///////////////////////////////////////////////////////////////////////////////////////////////////////////// - - val doTest2 = { - val test2 = base._package("test2") - val classes = test2._package("classes") - val A = classes._class("A") - - assert(A._conversions(test2.qualifiedName + ".toB").isEmpty) - } - -//// test3 ///////////////////////////////////////////////////////////////////////////////////////////////////////////// - - val doTest3 = { - val test3 = base._package("test3") - val A = test3._class("A") - - conv = A._conversion(A.qualifiedName + ".toB") - assert(conv.members.length == 1) - assert(conv.constraints.length == 0) - } - -//// test4 ///////////////////////////////////////////////////////////////////////////////////////////////////////////// - - val doTest4 = { - val test4 = base._package("test4") - val A = test4._class("A") - val S = test4._object("S") - - conv = A._conversion(S.qualifiedName + ".toB") - assert(conv.members.length == 1) - assert(conv.constraints.length == 0) - } - -//// test5 ///////////////////////////////////////////////////////////////////////////////////////////////////////////// - - val doTest5 = { - val test5 = base._package("test5") - val scope = test5._object("scope") - val A = scope._class("A") - - conv = A._conversion(scope.qualifiedName + ".toB") - assert(conv.members.length == 1) - assert(conv.constraints.length == 0) - } - } -} |