// set the header
if(name.equals("Header")){
StatisticData data = HeraklesManager.getStatisticData();
List<Query> functions = data.getLastTasks();
name = "Reasoner";
for(int i=0; i<displayNumber; i++){
if(functions.get(i) != null){
String taskName = Parameter.getTaskFunctionName(functions.get(i));
tasks[i] = taskName;
if(i==0){
tasks[i] += "(lastest)";
}
}
else {
tasks[i] = "-";
}
}
Font font = new Font("Header", Font.BOLD, 16);
for(int i=0; i<=displayNumber; i++){
if(i==0){
panes[i].setText(name);
} else {
panes[i].setText(tasks[i-1]);
}
panes[i].setFont(font);
panes[i].setBackground(bgColor);
panes[i].setForeground(Color.blue);
}
}
// set the statistic data
else {
StatisticData data = HeraklesManager.getStatisticData();
List<Query> functions = data.getLastTasks();
for(int i=0; i<displayNumber; i++){
if(functions.get(i) != null){
tasks[i] = data.getTime(name, functions.get(i));
}
else {
tasks[i] = "-";
}