equal
deleted
inserted
replaced
27 |
27 |
28 /* standard fields */ |
28 /* standard fields */ |
29 |
29 |
30 val HEAP_SIZE = "size_heap" |
30 val HEAP_SIZE = "size_heap" |
31 |
31 |
32 type Fields = (String, Iterable[String]) |
32 type Fields = (String, List[String]) |
33 |
33 |
34 val tasks_fields: Fields = |
34 val tasks_fields: Fields = |
35 ("Future tasks", |
35 ("Future tasks", |
36 List("tasks_ready", "tasks_pending", "tasks_running", "tasks_passive", "tasks_urgent")) |
36 List("tasks_ready", "tasks_pending", "tasks_running", "tasks_passive", "tasks_urgent")) |
37 |
37 |
151 def average_heap_size: Long = average(ML_Statistics.HEAP_SIZE).toLong |
151 def average_heap_size: Long = average(ML_Statistics.HEAP_SIZE).toLong |
152 |
152 |
153 |
153 |
154 /* charts */ |
154 /* charts */ |
155 |
155 |
156 def update_data(data: XYSeriesCollection, selected_fields: Iterable[String]) |
156 def update_data(data: XYSeriesCollection, selected_fields: List[String]) |
157 { |
157 { |
158 data.removeAllSeries |
158 data.removeAllSeries |
159 for { |
159 for { |
160 field <- selected_fields.iterator |
160 field <- selected_fields.iterator |
161 series = new XYSeries(field) |
161 series = new XYSeries(field) |
163 content.foreach(entry => series.add(entry.time, entry.data(field))) |
163 content.foreach(entry => series.add(entry.time, entry.data(field))) |
164 data.addSeries(series) |
164 data.addSeries(series) |
165 } |
165 } |
166 } |
166 } |
167 |
167 |
168 def chart(title: String, selected_fields: Iterable[String]): JFreeChart = |
168 def chart(title: String, selected_fields: List[String]): JFreeChart = |
169 { |
169 { |
170 val data = new XYSeriesCollection |
170 val data = new XYSeriesCollection |
171 update_data(data, selected_fields) |
171 update_data(data, selected_fields) |
172 |
172 |
173 ChartFactory.createXYLineChart(title, "time", "value", data, |
173 ChartFactory.createXYLineChart(title, "time", "value", data, |