Otawa  0.10
CFGCollector.h
Go to the documentation of this file.
1 /*
2  * $Id$
3  * CFGCollector processor interface
4  *
5  * This file is part of OTAWA
6  * Copyright (c) 2006-08, IRIT UPS.
7  *
8  * OTAWA is free software; you can redistribute it and/or modify
9  * it under the terms of the GNU General Public License as published by
10  * the Free Software Foundation; either version 2 of the License, or
11  * (at your option) any later version.
12  *
13  * OTAWA is distributed in the hope that it will be useful,
14  * but WITHOUT ANY WARRANTY; without even the implied warranty of
15  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16  * GNU General Public License for more details.
17  *
18  * You should have received a copy of the GNU General Public License
19  * along with OTAWA; if not, write to the Free Software
20  * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
21  */
22 #ifndef OTAWA_CFG_CFG_COLLECTOR_H
23 #define OTAWA_CFG_CFG_COLLECTOR_H
24 
25 #include <elm/genstruct/Vector.h>
26 #include <otawa/cfg/features.h>
27 #include <otawa/proc/Processor.h>
28 
29 namespace otawa {
30 
31 // CFGCollector Class
32 class CFGCollector: public Processor {
33 public:
34  static p::declare reg;
36  virtual void configure(const PropList& props);
37  virtual void cleanup(WorkSpace *ws);
38 
39  // Configuration
42 
43 protected:
44  void processWorkSpace(WorkSpace *fw);
45 private:
46  string name;
49  bool rec;
52 };
53 
54 } // otawa
55 
56 #endif // OTAWA_CFG_CFG_COLLECTOR_H
void processWorkSpace(WorkSpace *fw)
Process the given framework.
Definition: cfg_CFGCollector.cpp:123
Class to declare simple a processor.
Definition: Registration.h:213
bool rec
Definition: CFGCollector.h:49
WorkSpace * ws
Definition: Processor.h:185
virtual void configure(const PropList &props)
This method may be called for configuring a processor thanks to information passed in the property li...
Definition: cfg_CFGCollector.cpp:235
static Identifier< CString > ADDED_FUNCTION
This configuration property allows to add unlinked functions to the used CFG collection.
Definition: CFGCollector.h:41
CFGCollector(p::declare &r=reg)
Definition: cfg_CFGCollector.cpp:210
Control Flow Graph representation.
Definition: CFG.h:42
elm::genstruct::Vector< CString > added_funs
Definition: CFGCollector.h:51
static Identifier< CFG * > ADDED_CFG
This configuration property allows to add unlinked CFG to the used CFG collection.
Definition: CFGCollector.h:40
The processor class is implemented by all code processor.
Definition: Processor.h:49
string name
Definition: CFGCollector.h:46
A workspace represents a program, its run-time and all information about WCET computation or any othe...
Definition: WorkSpace.h:67
The representation of an address in OTAWA.
Definition: base.h:54
CFG * entry
Definition: CFGCollector.h:47
virtual void cleanup(WorkSpace *ws)
This method is called after the end of the processor analysis to let it do some clean up...
Definition: cfg_CFGCollector.cpp:225
This processor is used to collect all CFG implied in a computation.
Definition: CFGCollector.h:32
This class represents identifier with a typed associated value.
Definition: Identifier.h:51
static p::declare reg
CFGCollector registration.
Definition: CFGCollector.h:34
elm::genstruct::Vector< CFG * > added_cfgs
Definition: CFGCollector.h:50
This a list of properties.
Definition: PropList.h:63
Address addr
Definition: CFGCollector.h:48