#include <assert.h>
#include <stdbool.h>
#include <stdio.h>
#include "keatures.h"
#include "global.h"
Go to the source code of this file.
◆ BLUE
◆ BOLD
◆ COLOR
Value: do { \
if (!connected_to_terminal) \
break; \
fputs (CODE, terminal_file); \
} while (0)
Definition at line 41 of file colors.h.
41#define COLOR(CODE) \
42 do { \
43 if (!connected_to_terminal) \
44 break; \
45 fputs (CODE, terminal_file); \
46 } while (0)
◆ CYAN
◆ DARK_GRAY
| #define DARK_GRAY "\033[0;37m" |
◆ GREEN
◆ KISSAT_assert_if_has_fileno
| #define KISSAT_assert_if_has_fileno |
( |
| ... | ) |
|
Value:
Definition at line 29 of file colors.h.
29#define KISSAT_assert_if_has_fileno(...) \
30 do { \
31 } while (0)
◆ LIGHT_GRAY
| #define LIGHT_GRAY "\033[1;37m" |
◆ MAGENTA
| #define MAGENTA "\033[35m" |
◆ NORMAL
◆ RED
◆ TERMINAL
| #define TERMINAL |
( |
| F, |
|
|
| I ) |
Value:
I); \
KISSAT_assert ((I == 1 && F == stdout) || (I == 2 && F == stderr)); \
bool connected_to_terminal = kissat_connected_to_terminal (I); \
FILE *terminal_file = F
#define KISSAT_assert_if_has_fileno(...)
Definition at line 34 of file colors.h.
34#define TERMINAL(F, I) \
35 KISSAT_assert_if_has_fileno (fileno (F) == \
36 I); \
37 KISSAT_assert ((I == 1 && F == stdout) || (I == 2 && F == stderr)); \
38 bool connected_to_terminal = kissat_connected_to_terminal (I); \
39 FILE *terminal_file = F
◆ WHITE
◆ YELLOW
| #define YELLOW "\033[33m" |
◆ kissat_force_colors()
| void kissat_force_colors |
( |
void | | ) |
|
Definition at line 19 of file colors.c.
19 {
21}
ABC_NAMESPACE_IMPL_START int kissat_is_terminal[3]
◆ kissat_force_no_colors()
| void kissat_force_no_colors |
( |
void | | ) |
|
◆ kissat_initialize_terminal()
| int kissat_initialize_terminal |
( |
int | fd | ) |
|
Definition at line 13 of file colors.c.
13 {
17}
#define KISSAT_assert(ignore)
◆ kissat_is_terminal
| int kissat_is_terminal[3] |
|
extern |