From: <ton...@us...> - 2008-03-08 05:23:22
|
Revision: 695 http://dl-learner.svn.sourceforge.net/dl-learner/?rev=695&view=rev Author: tonytacker Date: 2008-03-07 21:23:20 -0800 (Fri, 07 Mar 2008) Log Message: ----------- cleared code for better reading Modified Paths: -------------- trunk/src/dl-learner/org/dllearner/gui/RunPanel.java Modified: trunk/src/dl-learner/org/dllearner/gui/RunPanel.java =================================================================== --- trunk/src/dl-learner/org/dllearner/gui/RunPanel.java 2008-03-08 04:58:56 UTC (rev 694) +++ trunk/src/dl-learner/org/dllearner/gui/RunPanel.java 2008-03-08 05:23:20 UTC (rev 695) @@ -28,7 +28,6 @@ import java.util.List; import javax.swing.*; - /** * @author Tilo Hielscher * @@ -98,7 +97,7 @@ percent[i] = new JLabel("-"); } - // name, bar, time + // layout for name, bar, time for (int i = 0; i < 5; i++) { buildConstraints(constraints, 0, i, 1, 1, 1, 1); gridbag.setConstraints(name[i], constraints); @@ -181,10 +180,12 @@ time[0].setText(makeTime(algorithmRunTime)); percent[0].setText("100%"); } - overallReasoningTime = config.getReasoningService().getOverallReasoningTimeNs(); - bar[1].update((double) overallReasoningTime / (double) algorithmRunTime); - time[1].setText(makeTime(overallReasoningTime)); - percent[1].setText(Percent(overallReasoningTime, algorithmRunTime)); + if (config.getReasoningService() != null) { + overallReasoningTime = config.getReasoningService().getOverallReasoningTimeNs(); + bar[1].update((double) overallReasoningTime / (double) algorithmRunTime); + time[1].setText(makeTime(overallReasoningTime)); + percent[1].setText(Percent(overallReasoningTime, algorithmRunTime)); + } if (config.getReasoningService().getNrOfInstanceChecks() > 0) { instanceCheckReasoningTime = config.getReasoningService() .getInstanceCheckReasoningTimeNs(); @@ -285,7 +286,7 @@ /** * Make a string from list, every entry in new line. * - * @param listDescription + * @param list * it is the list. * @return the string. */ This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |