abstract_domain_baset Class Reference

#include <static_analysis.h>

Inheritance diagram for abstract_domain_baset:

Public Types
typedef goto_programt::const_targett	locationt

Public Member Functions
	abstract_domain_baset ()
virtual void	initialize (const namespacet &ns, locationtlocationt l)=0
virtual void	transform (const namespacet &ns, locationtlocationt from, locationtlocationt to)=0
virtual	~abstract_domain_baset ()=default
virtual void	output (const namespacet &, std::ostream &) const
virtual void	get_reference_set (const namespacet &, const expr2tc &, std::list< expr2tc > &)

Protected Member Functions
expr2tc	get_guard (locationtlocationt from, locationtlocationt to) const
expr2tc	get_return_lhs (locationtlocationt to) const

Protected Attributes
bool	seen

Friends
class	static_analysis_baset

Member Typedef Documentation

locationt

typedef goto_programt::const_targett abstract_domain_baset::locationt

Constructor & Destructor Documentation

abstract_domain_baset()

abstract_domain_baset::abstract_domain_baset ( )

inline

~abstract_domain_baset()

virtual abstract_domain_baset::~abstract_domain_baset ( )

virtualdefault

Member Function Documentation

get_guard()

expr2tc abstract_domain_baset::get_guard ( locationtlocationt from, locationtlocationt to ) const

protected

get_reference_set()

virtual void abstract_domain_baset::get_reference_set ( const namespacet & , const expr2tc & , std::list< expr2tc > &  )

inlinevirtual

get_return_lhs()

expr2tc abstract_domain_baset::get_return_lhs ( locationtlocationt to ) const

protected

initialize()

virtual void abstract_domain_baset::initialize ( const namespacet & ns, locationtlocationt l )

pure virtual

Implemented in value_set_domaint.

output()

virtual void abstract_domain_baset::output ( const namespacet & , std::ostream &  ) const

inlinevirtual

Reimplemented in value_set_domaint.

transform()

virtual void abstract_domain_baset::transform ( const namespacet & ns, locationtlocationt from, locationtlocationt to )

pure virtual

Implemented in value_set_domaint.

Friends And Related Symbol Documentation

static_analysis_baset

friend class static_analysis_baset

friend

Member Data Documentation

seen

bool abstract_domain_baset::seen

protected

---

The documentation for this class was generated from the following files:

• src/goto-programs/static_analysis.h
• src/goto-programs/static_analysis.cpp