#include "count_eloc.h"
#include <iostream>
#include <unordered_set>
#include <util/file_util.h>
#include <util/pointer_expr.h>
#include <util/pointer_offset_size.h>
#include <util/prefix.h>
#include <goto-programs/cfg.h>
#include <goto-programs/goto_model.h>
#include <linking/static_lifetime_init.h>

Include dependency graph for count_eloc.cpp:

Typedefs
typedef std::unordered_set< irep_idt >	linest

typedef std::unordered_map< irep_idt, linest >	filest

typedef std::unordered_map< irep_idt, filest >	working_dirst

Functions
static void	collect_eloc (const goto_modelt &goto_model, working_dirst &dest)

void	count_eloc (const goto_modelt &goto_model)

void	list_eloc (const goto_modelt &goto_model)

void	print_path_lengths (const goto_modelt &goto_model)

void	print_global_state_size (const goto_modelt &goto_model)

Detailed Description

Count effective lines of code

Definition in file count_eloc.cpp.

Typedef Documentation

◆ filest

typedef std::unordered_map<irep_idt, linest> filest

Definition at line 30 of file count_eloc.cpp.

◆ linest

typedef std::unordered_set<irep_idt> linest

Definition at line 29 of file count_eloc.cpp.

◆ working_dirst

typedef std::unordered_map<irep_idt, filest> working_dirst

Definition at line 31 of file count_eloc.cpp.

Function Documentation

◆ collect_eloc()

static void collect_eloc	(	const goto_modelt &	goto_model,
		working_dirst &	dest
	)

static

Definition at line 33 of file count_eloc.cpp.

◆ 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 158 of file count_eloc.cpp.

◆ print_path_lengths()

void print_path_lengths ( const goto_modelt & goto_model )

Definition at line 85 of file count_eloc.cpp.

Typedefs

Functions