Otawa  0.10
Simulator.h File Reference
#include <otawa/hard/Platform.h>
#include <elm/system/Plugin.h>
#include <otawa/properties.h>

Go to the source code of this file.

Classes

class  otawa::sim::Simulator
 This class represents a plugin to use facilities provided by a simulator. More...
 
class  otawa::sim::Exception
 Exception generated by a simulator. More...
 

Namespaces

 otawa
 $Id$ Copyright (c) 2007, IRIT - UPS casse.nosp@m.@iri.nosp@m.t.fr
 
 otawa::sim
 

Macros

#define OTAWA_SIMULATOR_HOOK   sim_plugin
 
#define OTAWA_SIMULATOR_NAME   "sim_plugin"
 
#define OTAWA_SIMULATOR_VERSION   Version(1, 0, 0)
 

Variables

Identifier< bool > otawa::sim::IS_FUNCTIONAL
 If supported by the simulator, enable or disable the functional part. More...
 
Identifier< bool > otawa::sim::IS_STRUCTURAL
 If supported by the simulator, enable or disable the structural part. More...
 
Identifier< bool > otawa::sim::USE_MEMORY
 Activate or unactivate the memory management. More...
 
Identifier< bool > otawa::sim::USE_CONTROL
 Activate or unactivate the control management. More...
 

Macro Definition Documentation

#define OTAWA_SIMULATOR_HOOK   sim_plugin
#define OTAWA_SIMULATOR_NAME   "sim_plugin"
#define OTAWA_SIMULATOR_VERSION   Version(1, 0, 0)