Package: checker_pkg

• File: checker_pkg.vhd

Constants

Name	Type	Value	Description
null_checker	checker_t	(p_data => null_ptr)

Types

Name	Type	Description
checker_t
checker_stat_t

Functions

• set_default_log_level (checker : checker_t;
  default_log_level : log_level_t) return ()

• passing_check (checker : checker_t) return ()

• passing_check ( checker : checker_t;
  msg : string;
  path_offset : natural := 0;
  line_num : natural := 0;
  file_name : string := "") return ()

• failing_check ( checker : checker_t;
  msg : string;
  level : log_level_t := null_log_level;
  path_offset : natural := 0;
  line_num : natural := 0;
  file_name : string := "") return ()

• to_string (stat : checker_stat_t) return string

• reset_checker_stat (checker : checker_t) return ()

• get_checker_stat (checker : checker_t;
  variable stat : out checker_stat_t) return ()