2017-12-22 13:39:21 +00:00
|
|
|
import 'package:console/console.dart';
|
|
|
|
import 'package:logging/logging.dart';
|
|
|
|
|
|
|
|
/// Prints the contents of a [LogRecord] with pretty colors.
|
|
|
|
prettyLog(LogRecord record) async {
|
2019-04-20 14:53:52 +00:00
|
|
|
var pen = TextPen();
|
2017-12-22 13:39:21 +00:00
|
|
|
chooseLogColor(pen.reset(), record.level);
|
|
|
|
pen(record.toString());
|
2019-04-20 14:53:52 +00:00
|
|
|
|
|
|
|
if (record.error != null) pen(record.error.toString());
|
|
|
|
if (record.stackTrace != null) pen(record.stackTrace.toString());
|
|
|
|
|
2017-12-22 13:39:21 +00:00
|
|
|
pen();
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Chooses a color based on the logger [level].
|
|
|
|
void chooseLogColor(TextPen pen, Level level) {
|
|
|
|
if (level == Level.SHOUT)
|
|
|
|
pen.darkRed();
|
|
|
|
else if (level == Level.SEVERE)
|
|
|
|
pen.red();
|
|
|
|
else if (level == Level.WARNING)
|
|
|
|
pen.yellow();
|
|
|
|
else if (level == Level.INFO)
|
|
|
|
pen.magenta();
|
|
|
|
else if (level == Level.FINER)
|
|
|
|
pen.blue();
|
2019-04-20 14:53:52 +00:00
|
|
|
else if (level == Level.FINEST) pen.darkBlue();
|
2017-12-22 13:39:21 +00:00
|
|
|
}
|