How to use

setLogLevel

method

in

org.batfish.common.BatfishLogger

public BatfishLogger(String logLevel, boolean timestamp, PrintStream stream) {
 _history = null;
 _timestamp = timestamp;
 String levelStr = logLevel;
 setLogLevel(levelStr);
 _ps = stream;
}

public BatfishLogger(String logLevel, boolean timestamp) {
 _timestamp = timestamp;
 setLogLevel(logLevel);
 _history = new BatfishLoggerHistory();
}

_timestamp = timestamp;
String levelStr = logLevel;
setLogLevel(levelStr);
_logFile = logFile;
if (_logFile != null) {

private boolean setLogLevel(List<String> options, List<String> parameters) {
 if (!isValidArgument(options, parameters, 0, 1, 1, Command.SET_LOGLEVEL)) {
  return false;
 }
 String logLevelStr = parameters.get(0).toLowerCase();
 if (!BatfishLogger.isValidLogLevel(logLevelStr)) {
  _logger.errorf("Undefined loglevel value: %s\n", logLevelStr);
  return false;
 }
 _logger.setLogLevel(logLevelStr);
 _settings.setLogLevel(logLevelStr);
 _logger.outputf("Changed client loglevel to %s\n", logLevelStr);
 return true;
}