diff options
author | clhodapp <clhodapp1@gmail.com> | 2012-07-09 10:01:19 -0500 |
---|---|---|
committer | clhodapp <clhodapp1@gmail.com> | 2012-07-09 10:02:07 -0500 |
commit | 06f61e1c2f4379249f6d5fb6da5c7439bf560f1d (patch) | |
tree | 6236af78274e3276337e70cf4e72ed5ae2f619ca | |
parent | 713ce7c5bb01ecf10633193baa66aa7161c68be7 (diff) | |
download | scala-06f61e1c2f4379249f6d5fb6da5c7439bf560f1d.tar.gz scala-06f61e1c2f4379249f6d5fb6da5c7439bf560f1d.tar.bz2 scala-06f61e1c2f4379249f6d5fb6da5c7439bf560f1d.zip |
Added scaladoc for resolveOverloaded.
-rw-r--r-- | src/reflect/scala/reflect/api/Symbols.scala | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/src/reflect/scala/reflect/api/Symbols.scala b/src/reflect/scala/reflect/api/Symbols.scala index 11c7a38498..563a985a37 100644 --- a/src/reflect/scala/reflect/api/Symbols.scala +++ b/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(), |