Line data    Source code

       1              : // ignore_for_file: public_member_api_docs
       2              : 
       3              : /// ANSI escape codes
       4              : enum DefaultConsoleColor {
       5              :   /// Reset
       6              :   reset('\x1B[0m'),
       7              : 
       8              :   /// 256 colors
       9              :   red0('\x1B[38;5;200m'),
      10              :   red1('\x1B[38;5;196m'),
      11              :   green0('\x1B[38;5;40m'),
      12              :   green1('\x1B[38;5;43m'),
      13              :   green2('\x1B[38;5;45m'),
      14              :   yellow0('\x1B[38;5;184m'),
      15              :   blue0('\x1B[38;5;137m'),
      16              :   blue1('\x1B[38;5;145m');
      17              : 
      18              :   const DefaultConsoleColor(this.value);
      19              :   final String value;
      20              : }
      21              : 
      22              : /// Console logger colors
      23              : class ConsoleColors {
      24              :   /// Default console colors
      25            9 :   const ConsoleColors();
      26            8 :   String get finest => DefaultConsoleColor.green0.value;
      27            6 :   String get finer => DefaultConsoleColor.green1.value;
      28            6 :   String get fine => DefaultConsoleColor.green2.value;
      29            6 :   String get config => DefaultConsoleColor.blue0.value;
      30            8 :   String get info => DefaultConsoleColor.blue1.value;
      31            6 :   String get warning => DefaultConsoleColor.yellow0.value;
      32            6 :   String get severe => DefaultConsoleColor.red0.value;
      33            6 :   String get shout => DefaultConsoleColor.red1.value;
      34            8 :   String get reset => DefaultConsoleColor.reset.value;
      35              : }