Browse files

Added scaladoc for resolveOverloaded.

  • Loading branch information...
1 parent 713ce7c commit 06f61e1c2f4379249f6d5fb6da5c7439bf560f1d @clhodapp clhodapp committed Jul 9, 2012
Showing with 18 additions and 0 deletions.
  1. +18 −0 src/reflect/scala/reflect/api/Symbols.scala
@@ -232,6 +232,24 @@ trait Symbols extends base.Symbols { self: Universe =>
/** The overloaded alternatives of this symbol */
def alternatives: List[Symbol]
+ /** Resolves an overloaded TermSymbol to a single non-overloaded TermSymbol that accepts
+ * the specified argument types.
+ * @param pre The prefix type. By passing a prefix type, type-level type parameters
+ * can be converted within the member's type. Any example of a prefix would be
+ * `List[Int]`, which would replace references to the type parameter `A` with the type
+ * `Int`.
+ * @param targs Only alternatives that can accept these type arguments will be considered. In all
+ * alternatives that can accept these type arguments, they will be considered with these
+ * substituted for their corresponding type parameters.
+ * @param posVargs A sequence of the positional (normal) type arguments that a candidate alternative must
+ * accept.
+ * @param nameVargs A sequence of the named-parameter type arguments that a candidate alternative must
+ * accept. Each element in the sequence should be a pair of a parameter name and an
+ * argument type
+ * @param expected A candidate member must have a return type compatible with this type.
+ * @return Either a single, non-overloaded, Symbol referring the selected member or NoSymbol no single
+ * member could be selected given the passed arguments.
+ */
def resolveOverloaded(
pre: Type = NoPrefix,
targs: Seq[Type] = List(),

0 comments on commit 06f61e1

Please sign in to comment.