diff options
author | Kato Kazuyoshi <kato.kazuyoshi@gmail.com> | 2011-04-15 16:12:22 +0000 |
---|---|---|
committer | Kato Kazuyoshi <kato.kazuyoshi@gmail.com> | 2011-04-15 16:12:22 +0000 |
commit | ed52bec270e9ac659638f10c05d1d0efedf4c5cc (patch) | |
tree | b1836ad9cac670bbab41fecbe6a15f9f43293768 /src/compiler/scala/tools/nsc/doc/html/page/ReferenceIndex.scala | |
parent | 3c8bc3ab731206f93ad8428b11276237d1397a08 (diff) | |
download | scala-ed52bec270e9ac659638f10c05d1d0efedf4c5cc.tar.gz scala-ed52bec270e9ac659638f10c05d1d0efedf4c5cc.tar.bz2 scala-ed52bec270e9ac659638f10c05d1d0efedf4c5cc.zip |
[scaladoc] Strike-through for deprecated symbol...
[scaladoc] Strike-through for deprecated symbols on the reference index.
Closes #4471. Review by dubochet.
Diffstat (limited to 'src/compiler/scala/tools/nsc/doc/html/page/ReferenceIndex.scala')
-rwxr-xr-x | src/compiler/scala/tools/nsc/doc/html/page/ReferenceIndex.scala | 42 |
1 files changed, 29 insertions, 13 deletions
diff --git a/src/compiler/scala/tools/nsc/doc/html/page/ReferenceIndex.scala b/src/compiler/scala/tools/nsc/doc/html/page/ReferenceIndex.scala index 25e166a782..3e57f260c3 100755 --- a/src/compiler/scala/tools/nsc/doc/html/page/ReferenceIndex.scala +++ b/src/compiler/scala/tools/nsc/doc/html/page/ReferenceIndex.scala @@ -7,7 +7,7 @@ package scala.tools.nsc package doc package html package page - +import doc.model._ class ReferenceIndex(letter: Char, index: doc.Index, universe: Universe) extends HtmlPage { @@ -25,18 +25,34 @@ class ReferenceIndex(letter: Char, index: doc.Index, universe: Universe) extends <script type="text/javascript" src={ relativeLinkTo{List("jquery.js", "lib")} }></script> </xml:group> + + private def entry(name: String, methods: Iterable[MemberEntity]) = { + val occurrences = methods.map(method => { + val html = templateToHtml(method.inDefinitionTemplates.head) + if (method.deprecation.isDefined) { + <strike>{ html }</strike> + } else { + html + } + }) + + <div class="entry"> + <div class="name">{ + if (methods.find { ! _.deprecation.isDefined } != None) + name + else + <strike>{ name }</strike> + }</div> + <div class="occurrences">{ + for (owner <- occurrences) yield owner ++ xml.Text(" ") + }</div> + </div> + } + def body = - <body> - { for(groups <- index.firstLetterIndex(letter)) yield { - <div class="entry"> - <div class="name">{ groups._1 }</div> - <div class="occurrences"> - { for(owner <- groups._2.view) yield { - templateToHtml(owner) ++ xml.Text(" ") - } } - </div> - </div> - } } - </body> + <body>{ + for(groups <- index.firstLetterIndex(letter)) yield + entry(groups._1, groups._2.view) + }</body> } |