How to use

append

method

in

org.batfish.common.BatfishLogger

public void append(BatfishLoggerHistory history) {
 append(history, "");
}

@Override
public void appendHistory(BatfishLogger logger) {
 logger.append(_history);
}

@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);
}