ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
colors.h File Reference
#include <assert.h>
#include <stdbool.h>
#include <stdio.h>
#include "keatures.h"
#include "global.h"
Include dependency graph for colors.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros

#define BLUE   "\033[34m"
 
#define BOLD   "\033[1m"
 
#define CYAN   "\033[36m"
 
#define GREEN   "\033[32m"
 
#define MAGENTA   "\033[35m"
 
#define NORMAL   "\033[0m"
 
#define RED   "\033[31m"
 
#define WHITE   "\037[34m"
 
#define YELLOW   "\033[33m"
 
#define LIGHT_GRAY   "\033[1;37m"
 
#define DARK_GRAY   "\033[0;37m"
 
#define KISSAT_assert_if_has_fileno(...)
 
#define TERMINAL(F, I)
 
#define COLOR(CODE)
 

Functions

int kissat_initialize_terminal (int fd)
 
void kissat_force_colors (void)
 
void kissat_force_no_colors (void)
 

Variables

int kissat_is_terminal [3]
 

Macro Definition Documentation

◆ BLUE

#define BLUE   "\033[34m"

Definition at line 13 of file colors.h.

◆ BOLD

#define BOLD   "\033[1m"

Definition at line 14 of file colors.h.

◆ COLOR

#define COLOR ( CODE)
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

#define CYAN   "\033[36m"

Definition at line 15 of file colors.h.

◆ DARK_GRAY

#define DARK_GRAY   "\033[0;37m"

Definition at line 24 of file colors.h.

◆ GREEN

#define GREEN   "\033[32m"

Definition at line 16 of file colors.h.

◆ KISSAT_assert_if_has_fileno

#define KISSAT_assert_if_has_fileno ( ...)
Value:
do { \
} while (0)

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"

Definition at line 23 of file colors.h.

◆ MAGENTA

#define MAGENTA   "\033[35m"

Definition at line 17 of file colors.h.

◆ NORMAL

#define NORMAL   "\033[0m"

Definition at line 18 of file colors.h.

◆ RED

#define RED   "\033[31m"

Definition at line 19 of file colors.h.

◆ TERMINAL

#define TERMINAL ( F,
I )
Value:
KISSAT_assert_if_has_fileno (fileno (F) == \
I); /* 'fileno' only in POSIX not C99 */ \
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 colors.h:29

Definition at line 34 of file colors.h.

34#define TERMINAL(F, I) \
35 KISSAT_assert_if_has_fileno (fileno (F) == \
36 I); /* 'fileno' only in POSIX not C99 */ \
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

#define WHITE   "\037[34m"

Definition at line 20 of file colors.h.

◆ YELLOW

#define YELLOW   "\033[33m"

Definition at line 21 of file colors.h.

Function Documentation

◆ 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]
Definition colors.c:11

◆ kissat_force_no_colors()

void kissat_force_no_colors ( void )

Definition at line 23 of file colors.c.

23 {
25}

◆ kissat_initialize_terminal()

int kissat_initialize_terminal ( int fd)

Definition at line 13 of file colors.c.

13 {
14 KISSAT_assert (fd == 1 || fd == 2);
16 return kissat_is_terminal[fd] = isatty (fd);
17}
#define KISSAT_assert(ignore)
Definition global.h:13

Variable Documentation

◆ kissat_is_terminal

int kissat_is_terminal[3]
extern

Definition at line 11 of file colors.c.

11{0, -1, -1};