src/Pure/Tools/task_statistics.scala
changeset 50989 a7f6ce0493b7
parent 50982 a7aa17a1f721
child 51240 a7a04b449e8b
equal deleted inserted replaced
50987:616789281413 50989:a7f6ce0493b7
    31 
    31 
    32   def chart(bins: Int = 100): JFreeChart =
    32   def chart(bins: Int = 100): JFreeChart =
    33   {
    33   {
    34     val values = new Array[Double](tasks.length)
    34     val values = new Array[Double](tasks.length)
    35     for ((Run(x), i) <- tasks.iterator.zipWithIndex) values(i) =
    35     for ((Run(x), i) <- tasks.iterator.zipWithIndex) values(i) =
    36       Math.log10(x.toDouble / 1000000)
    36       java.lang.Math.log10(x.toDouble / 1000000)
    37 
    37 
    38     val data = new HistogramDataset
    38     val data = new HistogramDataset
    39     data.addSeries("tasks", values, bins)
    39     data.addSeries("tasks", values, bins)
    40 
    40 
    41     val c =
    41     val c =