otawa::sim::Simulator Class Reference

This class represents a plugin to use facilities provided by a simulator. More...

#include <otawa/sim/Simulator.h>

Inheritance diagram for otawa::sim::Simulator:

Public Member Functions
	Simulator (elm::CString name, const elm::Version &version, const elm::Version &plugger_version)
	Build a new simulator plugin. More...
virtual State *	instantiate (WorkSpace *fw, const PropList &props=PropList::EMPTY)=0
	This method instantiate a new simulator using the given framework. More...

Detailed Description

This class represents a plugin to use facilities provided by a simulator.

Before simulation, this class allows to instantiate a simulator for the current framework and the result, a otawa::sim::State object, provides services to drive the simulation.

Constructor & Destructor Documentation

otawa::sim::Simulator::Simulator	(	elm::CString	name,
		const elm::Version &	version,
		const elm::Version &	plugger_version
	)

Build a new simulator plugin.

Parameters

name	Name of the plugin.
version	Version of the plug-in.
plugger_version	Plugger required version.

Member Function Documentation

State * otawa::sim::Simulator::instantiate ( WorkSpace *  fw, const PropList &  props = PropList::EMPTY  )

pure virtual

This method instantiate a new simulator using the given framework.

It must be implemented by actual simulator plugins.

Parameters

fw	Framework to use.
props	Properties for tuning the built simulator.

Returns

The instantiated simulator.

Exceptions

otawa::sim::Exception

If there is an error.

Implemented in otawa::sim::TrivialSimulator.

Referenced by otawa::tsim::BBTimeSimulator::setup(), and otawa::tsim::BBPath::simulate().

---

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

• include/otawa/sim/Simulator.h
• src/prog/sim_Simulator.cpp