Count effective lines of code. More...

This graph shows which files directly or indirectly include this file:

Macros
#define	OPT_GOTO_PROGRAM_STATS

#define	HELP_GOTO_PROGRAM_STATS

Functions
void	count_eloc (const goto_modelt &)

void	list_eloc (const goto_modelt &)

void	print_path_lengths (const goto_modelt &)

void	print_global_state_size (const goto_modelt &)

Detailed Description

Count effective lines of code.

Definition in file count_eloc.h.

Macro Definition Documentation

◆ HELP_GOTO_PROGRAM_STATS

#define HELP_GOTO_PROGRAM_STATS

Value:

  " {y--count-eloc} \t count effective lines of code\n"                        \
  " {y--list-eloc} \t list full path names of lines containing code\n"         \
  " {y--print-global-state-size} \t "                                          \
  "count the total number of bits of global objects\n"                         \
  " {y--print-path-lengths} \t "                                               \
  "print statistics about control-flow graph paths\n"

Definition at line 30 of file count_eloc.h.

◆ OPT_GOTO_PROGRAM_STATS

#define OPT_GOTO_PROGRAM_STATS

Value:

  "(count-eloc)"                                                               \
  "(list-eloc)"                                                                \
  "(print-global-state-size)"                                                  \
  "(print-path-lengths)"

Definition at line 24 of file count_eloc.h.

Function Documentation

◆ count_eloc()

void count_eloc ( const goto_modelt & goto_model )

Definition at line 54 of file count_eloc.cpp.

◆ list_eloc()

void list_eloc ( const goto_modelt & goto_model )

Definition at line 68 of file count_eloc.cpp.

◆ print_global_state_size()

void print_global_state_size ( const goto_modelt & goto_model )

Definition at line 159 of file count_eloc.cpp.

◆ print_path_lengths()

void print_path_lengths ( const goto_modelt & goto_model )

Definition at line 86 of file count_eloc.cpp.

Macros

Functions