From 77aae5843ab901340aa410e7c7dd20034238ef7e Mon Sep 17 00:00:00 2001
From: Kato Kazuyoshi <kato.kazuyoshi@gmail.com>
Date: Thu, 6 Oct 2011 13:53:26 +0000
Subject: Add "Google tokens for Scala" for symbolic name...

Add "Google tokens for Scala" for symbolic names on Scaladoc. Review by
ureche.

We can't use Scala's symbolic names on Google. Instead of waiting
Google, we'll introduce mapping from the names to equivalent searchable
representations. This idea proposed by Grzegorz Kossakowski.

https://groups.google.com/group/scala-internals/browse_thread/thread/413
dbc691542f76f
---
 src/compiler/scala/tools/nsc/doc/html/page/Template.scala | 15 +++++++++++++--
 1 file changed, 13 insertions(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/compiler/scala/tools/nsc/doc/html/page/Template.scala b/src/compiler/scala/tools/nsc/doc/html/page/Template.scala
index 03fe5b4267..5f4950187e 100644
--- a/src/compiler/scala/tools/nsc/doc/html/page/Template.scala
+++ b/src/compiler/scala/tools/nsc/doc/html/page/Template.scala
@@ -9,7 +9,7 @@ package html
 package page
 
 import model._
-import scala.xml.{ NodeSeq, Text, XML }
+import scala.xml.{ NodeSeq, Text, XML, UnprefixedAttribute }
 
 class Template(tpl: DocTemplateEntity) extends HtmlPage {
 
@@ -538,10 +538,21 @@ class Template(tpl: DocTemplateEntity) extends HtmlPage {
         {
           val nameHtml = {
             val value = if (mbr.isConstructor) tpl.name else mbr.name
-            if (mbr.deprecation.isDefined)
+            val span = if (mbr.deprecation.isDefined)
               <span class={"name deprecated"} title={"Deprecated: "+bodyToStr(mbr.deprecation.get)}>{ value }</span>
             else
               <span class={"name"}>{ value }</span>
+            val encoded = scala.reflect.NameTransformer.encode(value)
+            if (encoded != value) {
+              span % new UnprefixedAttribute("title",
+                                             "gt4s: " + encoded +
+                                             span.attribute("title").map(
+                                               node => ". " + node
+                                             ).getOrElse(""),
+                                             scala.xml.Null)
+            } else {
+              span
+            }
           }
           if (!nameLink.isEmpty)
             <a href={nameLink}>{nameHtml}</a>
-- 
cgit v1.2.3