manager.cpp File Reference

#include <config.h>
#include <otawa/prog/Manager.h>
#include <otawa/cfg.h>
#include <otawa/ilp/ILPPlugin.h>
#include <gel/gel.h>
#include <elm/xom.h>
#include <otawa/sim/Simulator.h>
#include <otawa/prog/Loader.h>
#include <elm/system/System.h>
#include <elm/xom/XSLTransform.h>
#include <otawa/util/XSLTScript.h>
#include "../../config.h"

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

Macros
#define	CSTR(x)   #x

Functions
Identifier< string >	otawa::LOAD_PARAM ("otawa::LOAD_PARAM","")
	Identifier used for Manager::load() configuration. More...
Identifier< string >	otawa::TASK_ENTRY ("otawa::TASK_ENTRY","main")
	This property, passed to the load configuration, gives the name of the entry function of the current task. More...
Identifier< Address >	otawa::TASK_ADDRESS ("otawa::TASK_ADDRESS", Address::null)
	This property, passed to the load configuration, select the task entry by its address. More...
Identifier< CString >	otawa::PLATFORM_NAME ("otawa::PLATFORM_NAME","")
	Identifier of the property indicating the name (CString) of the platform to use. More...
Identifier< CString >	otawa::LOADER_NAME ("otawa::LOADER_NAME","")
	Identifier of the property indicating a name (CString) of the loader to use. More...
Identifier< hard::Platform * >	otawa::PLATFORM ("otawa::PLATFORM", 0)
	Identifier of the property indicating a platform (Platform *) to use. More...
Identifier< Loader * >	otawa::LOADER ("otawa::LOADER", 0)
	Identifier of the property indicating the loader to use. More...
Identifier< int >	otawa::ARGC ("otawa::ARGC",-1)
	Argument count as passed to the program (int). More...
Identifier< char ** >	otawa::ARGV ("otawa::ARGV", 0)
	Argument values as passed to the program (char **). More...
Identifier< char ** >	otawa::ENVP ("otawa::ENVP", 0)
	Argument values as passed to the program (char **). More...
Identifier< sim::Simulator * >	otawa::SIMULATOR ("otawa::SIMULATOR", 0)
	This property defines the used the used simulator when a simulator is needed to perform simulation. More...
Identifier< elm::CString >	otawa::SIMULATOR_NAME ("otawa::SIMULATOR_NAME","")
	Name of the simulator to use. More...
Identifier < hard::CacheConfiguration * >	otawa::CACHE_CONFIG ("otawa::CACHE_CONFIG", 0)
	This property is used to pass the cache configuration directly to the platform. More...
Identifier< int >	otawa::PIPELINE_DEPTH ("otawa::PIPELINE_DEPTH",-1)
	This property is a hint to have an estimation of the pipeline depth. More...
Identifier< bool >	otawa::NO_SYSTEM ("otawa::NO_SYSTEM", false)
	This property shows that the system does not need to by simulated when the binary image is built. More...
Identifier< bool >	otawa::NO_STACK ("otawa::NO_STACK", false)
	This property shows that no stack need to be allocated. More...
Identifier< elm::system::Path >	otawa::CONFIG_PATH ("otawa::CONFIG_PATH","")
	Path to the XML configuration file used in this computation. More...
Identifier< elm::xom::Element * >	otawa::CONFIG_ELEMENT ("otawa::CONFIG_ELEMENT", 0)
	XML element containing the configuration of the current computation. More...
Identifier< elm::system::Path >	otawa::PROCESSOR_PATH ("otawa::PROCESSOR_PATH","")
	Path to the XML configuration file of the processor. More...
Identifier< elm::xom::Element * >	otawa::PROCESSOR_ELEMENT ("otawa::PROCESSOR_ELEMENT", 0)
	XML element containing the configuration of the processor. More...
Identifier< hard::Processor * >	otawa::PROCESSOR ("otawa::PROCESSOR", 0)
	Gives the processor to use in the current computation. More...
Identifier< elm::system::Path >	otawa::CACHE_CONFIG_PATH ("otawa::CACHE_CONFIG_PATH","")
	Gives the path of file containing the cache configuration. More...
Identifier< elm::xom::Element * >	otawa::CACHE_CONFIG_ELEMENT ("otawa::CACHE_CONFIG_ELEMENT", 0)
	Gives an XML element containing the cache configuration. More...
Identifier< string >	otawa::NO_RETURN_FUNCTION ("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::MEMORY_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 ("otawa::MEMORY_ELEMENT", 0)
	Passed to manager::load() to give the XML element describing the memory configuration. More...
Identifier< hard::Memory * >	otawa::MEMORY_OBJECT ("otawa::MEMORY_OBJECT", 0)
	Passed to manager::load() to set the memory configuration. More...

Variables
cstring	otawa::VERBOSE_ENV = "OTAWA_VERBOSE"
Identifier < hard::Platform::Identification * >	otawa::PLATFORM_IDENTFIER ("otawa::PLATFORM_IDENTFIER", 0)
	Identifier of the property indicating the identifier (PlatformId) of the loader to use. More...

Macro Definition Documentation

#define CSTR

(

x

)

#x