|
Scala example source code file (Index.scala)
The Scala Index.scala source code/* NSC -- new Scala compiler * Copyright 2007-2011 LAMP/EPFL * @author David Bernard, Manohar Jonnalagedda */ package scala.tools.nsc package doc package html package page import model._ import scala.collection._ import scala.xml._ import scala.util.parsing.json.{JSONObject, JSONArray} class Index(universe: doc.Universe, index: doc.Index) extends HtmlPage { def path = List("index.html") def title = { val s = universe.settings ( if (!s.doctitle.isDefault) s.doctitle.value else "" ) + ( if (!s.docversion.isDefault) (" " + s.docversion.value) else "" ) } val headers = <xml:group> <link href={ relativeLinkTo{List("index.css", "lib")} } media="screen" type="text/css" rel="stylesheet"/> <script type="text/javascript" src={ relativeLinkTo{List("jquery.js", "lib")} }> <script type="text/javascript" src={ relativeLinkTo{List("jquery-ui.js", "lib")} }> <script type="text/javascript" src={ relativeLinkTo{List("jquery.layout.js", "lib")} }> <script type="text/javascript" src={ relativeLinkTo{List("index.js", "lib")} }> <script type="text/javascript" src={ relativeLinkTo{List("scheduler.js", "lib")} }> </xml:group> val body = <body> <div id="library"> <img class='class icon' src={ relativeLinkTo{List("class.png", "lib")} }/> <img class='trait icon' src={ relativeLinkTo{List("trait.png", "lib")} }/> <img class='object icon' src={ relativeLinkTo{List("object.png", "lib")} }/> <img class='package icon' src={ relativeLinkTo{List("package.png", "lib")} }/> </div> { browser } <div id="content" class="ui-layout-center"> <iframe name="template" src={ relativeLinkTo{List("package.html")} }/> </div> </body> def browser = <div id="browser" class="ui-layout-west"> <div class="ui-west-center"> <div id="filter"> Other Scala examples (source code examples)Here is a short list of links related to this Scala Index.scala source code file: |
... this post is sponsored by my books ... | |
#1 New Release! |
FP Best Seller |
Copyright 1998-2021 Alvin Alexander, alvinalexander.com
All Rights Reserved.
A percentage of advertising revenue from
pages under the /java/jwarehouse
URI on this website is
paid back to open source projects.