public static String getAppStartMessage() { if (null == APPLICATION_START_MESSAGE) APPLICATION_START_MESSAGE = TextUtilities.generateHighLightedMessage( getApplicationTitle() + LINE_SEPARATOR + AppConst.APP_COPYRIGHT_MESSAGE); return APPLICATION_START_MESSAGE; }
private static String getPerformanceStatisticsHeaderLine() { if (null == PERFORMANCE_STATISTICS_HEADER_LINE) { StringBuilder sb = new StringBuilder(); sb.append(LINE_SEPARATOR).append("+------------+------------"); sb.append(TextUtilities.repeatStringPattern("+-----------------", 6)); sb.append("+-------------+-----"); PERFORMANCE_STATISTICS_HEADER_LINE = sb.toString(); } return PERFORMANCE_STATISTICS_HEADER_LINE; }
public static void printPerformanceStatistics(List<PerformanceStatistic> performanceStatistics) { if (null == performanceStatistics) return; System.out.flush(); StringBuilder sb = new StringBuilder(); if (performanceStatistics.size() == 0) { sb.append(getPerformanceStatistics_noResults()); } else { Collections.sort(performanceStatistics); ByteArrayOutputStream baos = new ByteArrayOutputStream(); PrintStream writer = new PrintStream(baos); for (PerformanceStatistic rp : performanceStatistics) { writer.append(LINE_SEPARATOR); writer.printf( "| %10d | %10d | %11.3f sec | %11.3f sec | %11.3f sec | %11.3f sec | %11.3f sec | %11.3f sec | %8.2f MB | %s", // rp.getNoOfRules(), rp.getNoOfLiterals(), // .001 * rp.getLoadTheoryTimeUsed(), // .001 * rp.getNormalFormTransformationTimeUsed(), // .001 * rp.getDefeaterRemovalTimeUsed(), // .001 * rp.getSuperiorityRemovalTimeUsed(), // .001 * rp.getReasoningTimeUsed(), // .001 * rp.getTotalTimeUsed(), // 1.0 * rp.getMaxMemoryUsed() / 1024 / 1024, // rp.getUrl().toString()); } writer.flush(); Object[] args = { Converter.long2TimeString(IOManager.getConfigurationTimeUsed()), performanceStatistics.size(), baos.toString() }; try { sb.append( TextUtilities.formatArguments(getPerformanceStatisticsTemplate(), args.length, args)); } catch (InvalidArgumentException e) { e.printStackTrace(); } } System.out.println(sb.toString()); System.out.flush(); }