miscellaneous refinements of reflection API

1) Removed unnecessary (i.e. implementable with pattern matching) type APIs.
2) Renamed isHigherKinded to takesTypeArgs making it easier to understand.
2) typeParams and resultType have been moved from MethodType to MethodSymbol
   Strictly speaking they are superfluous, but they are used very often.

1 files changed, 23 insertions, 0 deletions

diff --git a/src/reflect/scala/reflect/internal/Symbols.scala b/src/reflect/scala/reflect/internal/Symbols.scala
index 8cf20ba062..68144da2d7 100644
--- a/src/reflect/scala/reflect/internal/Symbols.scala
+++ b/src/reflect/scala/reflect/internal/Symbols.scala
@@ -2486,6 +2486,29 @@ trait Symbols extends api.Symbols { self: SymbolTable =>
       mtpeResult = res
       res
     }
+
+    override def allParams: List[List[Symbol]] = paramss
+
+    override def params: List[Symbol] = {
+      def loop(tpe: Type): List[Symbol] =
+        tpe match {
+          case NullaryMethodType(_) => Nil
+          case MethodType(params, _) => params
+          case PolyType(_, tpe) => loop(tpe)
+        }
+      loop(info)
+    }
+
+    override def resultType: Type = {
+      def loop(tpe: Type): Type =
+        tpe match {
+          case NullaryMethodType(ret) => loop(ret)
+          case MethodType(_, ret) => loop(ret)
+          case PolyType(_, tpe) => loop(tpe)
+          case tpe => tpe
+        }
+      loop(info)
+    }
   }
   implicit val MethodSymbolTag = ClassTag[MethodSymbol](classOf[MethodSymbol])