This graph shows which files directly or indirectly include this file:Go to the source code of 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:
" --count-eloc count effective lines of code\n" \
" --list-eloc list full path names of lines " \
"containing code\n" \
" --print-global-state-size count the total number of bits of global " \
"objects\n" \
" --print-path-lengths 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 & | ) |
Definition at line 54 of file count_eloc.cpp.
◆ list_eloc()
| void list_eloc | ( | const goto_modelt & | ) |
Definition at line 68 of file count_eloc.cpp.
◆ print_global_state_size()
| void print_global_state_size | ( | const goto_modelt & | ) |
Definition at line 158 of file count_eloc.cpp.
◆ print_path_lengths()
| void print_path_lengths | ( | const goto_modelt & | ) |
Definition at line 85 of file count_eloc.cpp.
