Otawa
0.10
|
#include <elm/system/Path.h>
#include <elm/genstruct/Vector.h>
#include <elm/util/MessageException.h>
#include <elm/xom.h>
#include <elm/system/Plugger.h>
#include <otawa/properties.h>
#include <otawa/base.h>
Go to the source code of this file.
Classes | |
class | otawa::LoadException |
Exception thrown when a loader encounters an error during load. More... | |
class | otawa::Manager |
The manager class providesfacilities for storing, grouping and retrieving shared resources like loaders and platforms. More... | |
Namespaces | |
otawa | |
$Id$ Copyright (c) 2007, IRIT - UPS casse @iri t.fr | |
otawa::hard | |
otawa::ilp | |
otawa::sim | |
Variables | |
Identifier< string > | otawa::TASK_ENTRY |
This property, passed to the load configuration, gives the name of the entry function of the current task. More... | |
Identifier< Address > | otawa::TASK_ADDRESS |
This property, passed to the load configuration, select the task entry by its address. More... | |
Identifier< hard::Platform * > | otawa::PLATFORM |
Identifier of the property indicating a platform (Platform *) to use. More... | |
Identifier< Loader * > | otawa::LOADER |
Identifier of the property indicating the loader to use. More... | |
Identifier< elm::CString > | otawa::PLATFORM_NAME |
Identifier of the property indicating the name (CString) of the platform to use. More... | |
Identifier< elm::CString > | otawa::LOADER_NAME |
Identifier of the property indicating a name (CString) of the loader to use. More... | |
Identifier< int > | otawa::ARGC |
Argument count as passed to the program (int). More... | |
Identifier< char ** > | otawa::ARGV |
Argument values as passed to the program (char **). More... | |
Identifier< char ** > | otawa::ENVP |
Argument values as passed to the program (char **). More... | |
Identifier< sim::Simulator * > | otawa::SIMULATOR |
This property defines the used the used simulator when a simulator is needed to perform simulation. More... | |
Identifier< elm::CString > | otawa::SIMULATOR_NAME |
Name of the simulator to use. More... | |
Identifier< int > | otawa::PIPELINE_DEPTH |
This property is a hint to have an estimation of the pipeline depth. More... | |
Identifier< bool > | otawa::NO_SYSTEM |
This property shows that the system does not need to by simulated when the binary image is built. More... | |
Identifier< bool > | otawa::NO_STACK |
This property shows that no stack need to be allocated. More... | |
Identifier< string > | otawa::NO_RETURN_FUNCTION |
this property may be used to pass information about the non-returning behaviour of some functions. More... | |
Identifier< elm::system::Path > | otawa::CONFIG_PATH |
Path to the XML configuration file used in this computation. More... | |
Identifier< elm::xom::Element * > | otawa::CONFIG_ELEMENT |
XML element containing the configuration of the current computation. More... | |
Identifier< elm::system::Path > | otawa::CACHE_CONFIG_PATH |
Gives the path of file containing the cache configuration. More... | |
Identifier< elm::xom::Element * > | otawa::CACHE_CONFIG_ELEMENT |
Gives an XML element containing the cache configuration. More... | |
Identifier < hard::CacheConfiguration * > | otawa::CACHE_CONFIG |
This property is used to pass the cache configuration directly to the platform. More... | |
Identifier< elm::system::Path > | otawa::MEMORY_PATH |
Passed to Manager::load() to give the path of the file describing the memory. More... | |
Identifier< elm::xom::Element * > | otawa::MEMORY_ELEMENT |
Passed to manager::load() to give the XML element describing the memory configuration. More... | |
Identifier< hard::Memory * > | otawa::MEMORY_OBJECT |
Passed to manager::load() to set the memory configuration. More... | |
Identifier< elm::system::Path > | otawa::PROCESSOR_PATH |
Path to the XML configuration file of the processor. More... | |
Identifier< elm::xom::Element * > | otawa::PROCESSOR_ELEMENT |
XML element containing the configuration of the processor. More... | |
Identifier< hard::Processor * > | otawa::PROCESSOR |
Gives the processor to use in the current computation. More... | |
Identifier< string > | otawa::LOAD_PARAM |
Identifier used for Manager::load() configuration. More... | |