colors.c File Reference

#include "colors.h"
#include <unistd.h>

Include dependency graph for colors.c:

Go to the source code of this file.

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

Variables
ABC_NAMESPACE_IMPL_START int	kissat_is_terminal [3] = {0, -1, -1}

Function Documentation

kissat_force_colors()

void kissat_force_colors

(

void

)

Definition at line 19 of file colors.c.

                                {
  kissat_is_terminal[1] = kissat_is_terminal[2] = 1;
}

kissat_force_no_colors()

void kissat_force_no_colors

(

void

)

Definition at line 23 of file colors.c.

                                   {
  kissat_is_terminal[1] = kissat_is_terminal[2] = 0;
}

kissat_initialize_terminal()

int kissat_initialize_terminal

(

int

fd

)

Definition at line 13 of file colors.c.

                                        {
  KISSAT_assert (fd == 1 || fd == 2);
  KISSAT_assert (kissat_is_terminal[fd] < 0);
  return kissat_is_terminal[fd] = isatty (fd);
}

Variable Documentation

kissat_is_terminal

ABC_NAMESPACE_IMPL_START int kissat_is_terminal[3] = {0, -1, -1}

Definition at line 11 of file colors.c.

{0, -1, -1};