Otawa  0.10
Output.h
Go to the documentation of this file.
1 /*
2  * ilp::Output class interface
3  *
4  * This file is part of OTAWA
5  * Copyright (c) 2013, IRIT UPS.
6  *
7  * OTAWA is free software; you can redistribute it and/or modify
8  * it under the terms of the GNU General Public License as published by
9  * the Free Software Foundation; either version 2 of the License, or
10  * (at your option) any later version.
11  *
12  * OTAWA is distributed in the hope that it will be useful,
13  * but WITHOUT ANY WARRANTY; without even the implied warranty of
14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15  * GNU General Public License for more details.
16  *
17  * You should have received a copy of the GNU General Public License
18  * along with OTAWA; if not, write to the Free Software
19  * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
20  */
21 #ifndef OTAWA_ILP_OUTPUT_H_
22 #define OTAWA_ILP_OUTPUT_H_
23 
24 #include <otawa/proc/Processor.h>
25 #include "features.h"
26 
27 namespace otawa { namespace ilp {
28 
29 class Output: public Processor {
30 public:
31  static p::declare reg;
32  Output(p::declare &r = reg);
33  virtual ~Output(void);
34  virtual void configure(const PropList &props);
35 protected:
36  virtual void setup(WorkSpace *ws);
37  virtual void processWorkSpace(WorkSpace *ws);
38  virtual void cleanup(WorkSpace *ws);
39 private:
43  bool do_free;
44 };
45 
46 } }
47 
48 #endif /* OTAWA_ILP_OUTPUT_H_ */
bool do_free
Definition: Output.h:43
elm::io::OutStream * stream
Definition: Output.h:42
Class to declare simple a processor.
Definition: Registration.h:213
format_t
Definition: features.h:30
WorkSpace * ws
Definition: Processor.h:185
static p::declare reg
Definition: Output.h:31
virtual void processWorkSpace(WorkSpace *ws)
Process the given framework.
Definition: ilp_Output.cpp:117
virtual void setup(WorkSpace *ws)
This method is called before an anlysis to let the processor do some initialization.
Definition: ilp_Output.cpp:94
The processor class is implemented by all code processor.
Definition: Processor.h:49
A workspace represents a program, its run-time and all information about WCET computation or any othe...
Definition: WorkSpace.h:67
virtual ~Output(void)
Definition: ilp_Output.cpp:80
This processor provides an output of the built ILP system.
Definition: Output.h:29
virtual void configure(const PropList &props)
This method may be called for configuring a processor thanks to information passed in the property li...
Definition: ilp_Output.cpp:85
Output(p::declare &r=reg)
Definition: ilp_Output.cpp:75
This a list of properties.
Definition: PropList.h:63
virtual void cleanup(WorkSpace *ws)
This method is called after the end of the processor analysis to let it do some clean up...
Definition: ilp_Output.cpp:125
sys::Path path
Definition: Output.h:40
format_t format
Definition: Output.h:41