Otawa  0.10
TrivialSimulator.h
Go to the documentation of this file.
1 /*
2  * $Id$
3  * Copyright (c) 2006, IRIT-UPS <casse@irit.fr>.
4  *
5  * otawa/sim/TrivialSimulator.h -- TrivialSimulator class interface.
6  */
7 #ifndef OTAWA_SIM_TRIVIALSIMULATOR_H
8 #define OTAWA_SIM_TRIVIALSIMULATOR_H
9 
10 #include <otawa/sim/Simulator.h>
11 
12 namespace otawa { namespace sim {
13 
14 // Configuration
15 extern Identifier<int> INSTRUCTION_TIME;
16 
17 
18 // TrivialSimulator class
19 class TrivialSimulator: public Simulator {
20 public:
21  TrivialSimulator(void);
22 
23  // Simulator overload
24  virtual State *instantiate(WorkSpace *fw,
25  const PropList& props = PropList::EMPTY);
26 };
27 
28 } } // otawa::sim
29 
30 #endif /* OTAWA_SIM_TRIVIALSIMULATOR_H */
static const PropList EMPTY
This is an empty proplist for convenience.
Definition: PropList.h:66
This class represents a plugin to use facilities provided by a simulator.
Definition: Simulator.h:36
The trivial simulator is a simplistic simulator with a fixed execution time for each instruction (def...
Definition: TrivialSimulator.h:19
virtual State * instantiate(WorkSpace *fw, const PropList &props=PropList::EMPTY)
This method instantiate a new simulator using the given framework.
Definition: sim_TrivialSimulator.cpp:100
A workspace represents a program, its run-time and all information about WCET computation or any othe...
Definition: WorkSpace.h:67
Identifier< int > INSTRUCTION_TIME
Instruction execution time.
This a list of properties.
Definition: PropList.h:63
This class represents a running simulator.
Definition: State.h:38
TrivialSimulator(void)
Build a trivial simulator.
Definition: sim_TrivialSimulator.cpp:93