hal::SequentialSymbolicExecutionPlugin Class Reference

Plugin interface for HAWKEYE. More...

#include </home/runner/work/hal/hal/plugins/sequential_symbolic_execution/include/sequential_symbolic_execution/plugin_sequential_symbolic_execution.h>

Inheritance diagram for hal::SequentialSymbolicExecutionPlugin:

Collaboration diagram for hal::SequentialSymbolicExecutionPlugin:

Public Member Functions
	SequentialSymbolicExecutionPlugin ()=default
	Default constructor for SequentialSymbolicExecutionPlugin. More...
	~SequentialSymbolicExecutionPlugin ()=default
	Default destructor for SequentialSymbolicExecutionPlugin. More...
std::string	get_name () const override
	Get the name of the plugin. More...
std::string	get_version () const override
	Get the version of the plugin. More...
std::string	get_description () const override
	Get a short description of the plugin. More...
std::set< std::string >	get_dependencies () const override
	Get the plugin dependencies. More...
Public Member Functions inherited from hal::BasePluginInterface
	BasePluginInterface ()=default
virtual	~BasePluginInterface ()
virtual void	initialize ()
template<typename... Args>
void	log (const Args &... args) const
virtual void	on_load ()
virtual void	on_unload ()
virtual void	initialize_logging ()
virtual std::vector< AbstractExtensionInterface * >	get_extensions () const
template<typename T >
T *	get_first_extension () const
void	delete_extension (AbstractExtensionInterface *aeif)

Additional Inherited Members
Protected Attributes inherited from hal::BasePluginInterface
std::vector< AbstractExtensionInterface * >	m_extensions

Detailed Description

Plugin interface for HAWKEYE.

This class provides an interface to integrate the HAWKEYE tool as a plugin within the HAL framework.

Definition at line 43 of file plugin_sequential_symbolic_execution.h.

Constructor & Destructor Documentation

SequentialSymbolicExecutionPlugin()

hal::SequentialSymbolicExecutionPlugin::SequentialSymbolicExecutionPlugin ( )

default

Default constructor for SequentialSymbolicExecutionPlugin.

~SequentialSymbolicExecutionPlugin()

hal::SequentialSymbolicExecutionPlugin::~SequentialSymbolicExecutionPlugin ( )

default

Default destructor for SequentialSymbolicExecutionPlugin.

Member Function Documentation

get_dependencies()

std::set< std::string > hal::SequentialSymbolicExecutionPlugin::get_dependencies ( ) const

overridevirtual

Get the plugin dependencies.

Returns

A set of plugin names that this plugin depends on.

Reimplemented from hal::BasePluginInterface.

Definition at line 26 of file plugin_sequential_symbolic_execution.cpp.

Referenced by hal::PYBIND11_PLUGIN().

get_description()

std::string hal::SequentialSymbolicExecutionPlugin::get_description ( ) const

overridevirtual

Get a short description of the plugin.

Returns

The short description of the plugin.

Reimplemented from hal::BasePluginInterface.

Definition at line 21 of file plugin_sequential_symbolic_execution.cpp.

Referenced by hal::PYBIND11_PLUGIN().

get_name()

std::string hal::SequentialSymbolicExecutionPlugin::get_name ( ) const

overridevirtual

Get the name of the plugin.

Returns

The name of the plugin.

Implements hal::BasePluginInterface.

Definition at line 11 of file plugin_sequential_symbolic_execution.cpp.

Referenced by hal::PYBIND11_PLUGIN().

get_version()

std::string hal::SequentialSymbolicExecutionPlugin::get_version ( ) const

overridevirtual

Get the version of the plugin.

Returns

The version of the plugin.

Implements hal::BasePluginInterface.

Definition at line 16 of file plugin_sequential_symbolic_execution.cpp.

Referenced by hal::PYBIND11_PLUGIN().

---

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

• plugins/sequential_symbolic_execution/include/sequential_symbolic_execution/plugin_sequential_symbolic_execution.h
• plugins/sequential_symbolic_execution/src/plugin_sequential_symbolic_execution.cpp