blob: 942347975c3eb0773a5f9ef51988672461c3f5f7 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
package dotty.tools
package dottydoc
object Files {
type JFile = java.io.File
implicit class ToUrl(val f: JFile) extends AnyVal {
def getUrl = f.toURI.toURL
}
}
trait LocalResources extends DocDriver {
import Files._
import dotty.Jars
def getFiles(file: JFile): Array[JFile] =
if (file.isDirectory) file.listFiles.flatMap(getFiles)
else if (file.getAbsolutePath.endsWith(".scala")) Array(file)
else Array()
def withClasspath(files: Array[String]) =
"-siteroot" +: "../docs" +:
"-project" +: "Dotty" +:
"-language:Scala2" +:
"-classpath" +:
(Jars.dottyLib + ":" + Jars.dottyInterfaces) +:
files
}
object GenCollections extends LocalResources {
import Files._
val collections = TestWhitelistedCollections.files
override def main(args: Array[String]): Unit =
super.main(withClasspath(collections.toArray))
}
object GenDottyDocs extends LocalResources {
import Files._
val dottyFiles = new JFile("../compiler/src/dotty").listFiles.flatMap(getFiles).map(_.getAbsolutePath)
override def main(args: Array[String]): Unit =
super.main(withClasspath(dottyFiles))
}
|