@Override public void appendHistory(BatfishLogger logger) { String terseLogLevelPrefix; if (logger.isActive(BatfishLogger.LEVEL_INFO)) { terseLogLevelPrefix = ""; } else { terseLogLevelPrefix = _outputFile.getFileName() + ": "; } logger.append(_history, terseLogLevelPrefix); }
@Override public void appendHistory(BatfishLogger logger) { String terseLogLevelPrefix; if (logger.isActive(BatfishLogger.LEVEL_INFO)) { terseLogLevelPrefix = ""; } else { terseLogLevelPrefix = _name + ": "; } logger.append(_history, terseLogLevelPrefix); }
@Override public void appendHistory(BatfishLogger logger) { String terseLogLevelPrefix; if (logger.isActive(BatfishLogger.LEVEL_INFO)) { terseLogLevelPrefix = ""; } else if (_bgpTable != null) { terseLogLevelPrefix = _name + ": "; } else { terseLogLevelPrefix = _file + ": "; } logger.append(_history, terseLogLevelPrefix); }
@Override public void appendHistory(BatfishLogger logger) { String terseLogLevelPrefix; if (logger.isActive(BatfishLogger.LEVEL_INFO)) { terseLogLevelPrefix = ""; } else if (_routingTable != null) { terseLogLevelPrefix = _name + ": "; } else { terseLogLevelPrefix = _file + ": "; } logger.append(_history, terseLogLevelPrefix); }
@Override public void appendHistory(BatfishLogger logger) { String terseLogLevelPrefix; if (logger.isActive(BatfishLogger.LEVEL_INFO)) { terseLogLevelPrefix = ""; } else if (_vc != null) { terseLogLevelPrefix = _vc.getHostname() + ": "; } else { terseLogLevelPrefix = _filename + ": "; } logger.append(_history, terseLogLevelPrefix); }
public static Warnings buildWarnings(Settings settings) { return new Warnings( settings.getPedanticRecord() && settings.getLogger().isActive(BatfishLogger.LEVEL_PEDANTIC), settings.getRedFlagRecord() && settings.getLogger().isActive(BatfishLogger.LEVEL_REDFLAG), settings.getUnimplementedRecord() && settings.getLogger().isActive(BatfishLogger.LEVEL_UNIMPLEMENTED)); }
private synchronized void write(int level, String msg) { if (isActive(level)) { String outputMsg; if (_timestamp) { DateFormat df = new SimpleDateFormat("yyyy-MM-dd HH:mm:ss"); String dateStr = df.format(new Date()); outputMsg = String.format("%s: %s", dateStr, msg); } else { outputMsg = msg; } if (_ps != null) { _ps.print(outputMsg); // logic for rotating log if (_rotateLog) { _numLinesSinceRotation++; if (_numLinesSinceRotation > LOG_ROTATION_THRESHOLD) { rotateLog(); _numLinesSinceRotation = 0; } } } else { _history.add(new HistoryItem(level, msg)); } } } }
} else if (!_logger.isActive(BatfishLogger.LEVEL_INFO)) { _logger.info("All jobs executed successfully\n");