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
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
|
package scala.tools.nsc.scratchpad
import java.io.{FileInputStream, InputStreamReader, IOException}
import scala.runtime.ScalaRunTime.stringOf
import java.lang.reflect.InvocationTargetException
import scala.reflect.runtime.ReflectionUtils._
import scala.collection.mutable.ArrayBuffer
@deprecated("SI-6458: Instrumentation logic will be moved out of the compiler.","2.10.0")
class Mixer {
protected val stdSeparator = "//> "
protected val ctdSeparator = "//| "
protected val sepColumn = 50
protected val tabInc = 8
type Comments = Seq[(Int, Array[Char])]
def parseComments(comments: Array[Char]): Iterator[(Int, Array[Char])] = new Iterator[(Int, Array[Char])] {
var idx = 0
def hasNext = idx < comments.length
def next() = {
val nextSpace = comments indexOf (' ', idx)
var nextNL = comments indexOf ('\n', nextSpace + 1)
if (nextNL < 0) nextNL = comments.length
val result =
(new String(comments.slice(idx, nextSpace)).toInt, comments.slice(nextSpace + 1, nextNL))
idx = nextNL + 1
result
}
}
def mix(source: Array[Char], comments: Array[Char]): Array[Char] = {
val mixed = new ArrayBuffer[Char]
var written = 0
def align() = {
var idx = mixed.lastIndexOf('\n') + 1
var col = 0
while (idx < mixed.length) {
col =
if (mixed(idx) == '\t') (col / tabInc) * tabInc + tabInc
else col + 1
idx += 1
}
if (col > sepColumn) {
mixed += '\n'
col = 0
}
while (col < sepColumn) {
mixed += ' '
col += 1
}
}
for ((offset, cs) <- parseComments(comments)) {
val sep =
if (written < offset) {
for (i <- written until offset) mixed += source(i)
written = offset
stdSeparator
} else {
mixed += '\n'
ctdSeparator
}
align()
mixed ++= sep ++= cs
}
mixed ++= source.view(written, source.length)
mixed.toArray
}
}
object Mixer extends Mixer {
def contents(name: String): Array[Char] = {
val page = new Array[Char](2 << 14)
val buf = new ArrayBuffer[Char]
val in = new FileInputStream(name)
val rdr = new InputStreamReader(in)
var nread = 0
do {
nread = rdr.read(page, 0, page.length)
buf ++= (if (nread == page.length) page else page.take(nread))
} while (nread >= 0)
buf.toArray
}
def main(args: Array[String]) {
val mixer = new Mixer
try {
require(args.length == 2, "required arguments: file1 file2")
val source = contents(args(0))
val comments = contents(args(1))
val mixed = mixer.mix(source, comments)
println(mixed.mkString)
} catch {
case ex: IOException =>
println("error: "+ ex.getMessage)
}
}
}
|
