Inheritance diagram for procedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, unsigned >:

Collaboration diagram for procedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, unsigned >:

Public Types
typedef java_bytecode_convert_methodt::method_with_amapt	method_with_amapt

typedef std::map< unsigned, unsigned >	entry_mapt

Public Types inherited from grapht< cfg_base_nodet< T, unsigned > >
typedef cfg_base_nodet< T, unsigned >	nodet

typedef nodet::edgest	edgest

typedef std::vector< nodet >	nodest

typedef nodet::edget	edget

typedef nodet::node_indext	node_indext

typedef std::list< node_indext >	patht

Public Member Functions
	procedure_local_cfg_baset ()

void	operator() (const method_with_amapt &args)

unsigned	get_first_node (const method_with_amapt &args) const

unsigned	get_last_node (const method_with_amapt &args) const

unsigned	nodes_empty (const method_with_amapt &args) const

Public Member Functions inherited from grapht< cfg_base_nodet< T, unsigned > >
node_indext	add_node ()

void	swap (grapht &other)

bool	has_edge (node_indext i, node_indext j) const

const nodet &	operator[] (node_indext n) const

nodet &	operator[] (node_indext n)

void	resize (node_indext s)

std::size_t	size () const

bool	empty () const

const edgest &	in (node_indext n) const

const edgest &	out (node_indext n) const

void	add_edge (node_indext a, node_indext b)

void	remove_edge (node_indext a, node_indext b)

edget &	edge (node_indext a, node_indext b)

void	add_undirected_edge (node_indext a, node_indext b)

void	remove_undirected_edge (node_indext a, node_indext b)

void	remove_in_edges (node_indext n)

void	remove_out_edges (node_indext n)

void	remove_edges (node_indext n)

void	clear ()

void	shortest_path (node_indext src, node_indext dest, patht &path) const

void	shortest_loop (node_indext node, patht &path) const

void	visit_reachable (node_indext src)

void	make_chordal ()

std::size_t	connected_subgraphs (std::vector< node_indext > &subgraph_nr)

std::size_t	SCCs (std::vector< node_indext > &subgraph_nr)

bool	is_dag () const

std::list< node_indext >	topsort () const
	Find a topological order of the nodes if graph is DAG, return empty list for non-DAG or empty graph. More...

void	output_dot (std::ostream &out) const

void	output_dot_node (std::ostream &out, node_indext n) const

Public Attributes
entry_mapt	entry_map

Additional Inherited Members
Protected Member Functions inherited from grapht< cfg_base_nodet< T, unsigned > >
void	shortest_path (node_indext src, node_indext dest, patht &path, bool non_trivial) const

void	tarjan (class tarjant &t, node_indext v)

Protected Attributes inherited from grapht< cfg_base_nodet< T, unsigned > >
nodest	nodes

Detailed Description

template<class T>
struct procedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, unsigned >

Definition at line 27 of file java_local_variable_table.cpp.

Member Typedef Documentation

◆ entry_mapt

template<class T >

typedef std::map<unsigned, unsigned> procedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, unsigned >::entry_mapt

Definition at line 34 of file java_local_variable_table.cpp.

◆ method_with_amapt

template<class T >

typedef java_bytecode_convert_methodt::method_with_amapt procedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, unsigned >::method_with_amapt

Definition at line 33 of file java_local_variable_table.cpp.

Constructor & Destructor Documentation

◆ procedure_local_cfg_baset()

template<class T >

procedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, unsigned >::procedure_local_cfg_baset ( )

inline

Definition at line 37 of file java_local_variable_table.cpp.

Member Function Documentation

◆ get_first_node()

template<class T >

unsigned procedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, unsigned >::get_first_node ( const method_with_amapt & args ) const

inline

Definition at line 83 of file java_local_variable_table.cpp.

◆ get_last_node()

template<class T >

unsigned procedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, unsigned >::get_last_node ( const method_with_amapt & args ) const

inline

Definition at line 87 of file java_local_variable_table.cpp.

◆ nodes_empty()

template<class T >

unsigned procedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, unsigned >::nodes_empty ( const method_with_amapt & args ) const