Otawa  0.10
FeatureRequirer.h
Go to the documentation of this file.
1 /*
2  * $Id$
3  * FeatureRequirer class interface
4  *
5  * This file is part of OTAWA
6  * Copyright (c) 2007, 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_PROC_FEATUREREQUIRER_H_
23 #define OTAWA_PROC_FEATUREREQUIRER_H_
24 
25 #include <otawa/proc/Feature.h>
26 #include <otawa/proc/Processor.h>
27 
28 namespace otawa {
29 
30 // FeatureRequirer class
32 protected:
33  FeatureRequirer(WorkSpace *ws, AbstractFeature *features[]);
34  static void require(Processor& proc, AbstractFeature *features[]);
35 };
36 
37 } // otawa
38 
39 #endif /* OTAWA_PROC_FEATUREREQUIRER_H_ */
40 
This class provided feature requirement for non-program processor classes.
Definition: FeatureRequirer.h:31
StringOption proc(command, 'p',"processor","used processor","path","")
FeatureRequirer(WorkSpace *ws, AbstractFeature *features[])
Check that the features are available.
Definition: proc_FeatureRequirer.cpp:93
The processor class is implemented by all code processor.
Definition: Processor.h:49
static void require(Processor &proc, AbstractFeature *features[])
Added the given array of feature to the requirements of the processor.
Definition: proc_FeatureRequirer.cpp:108
A workspace represents a program, its run-time and all information about WCET computation or any othe...
Definition: WorkSpace.h:67
See Feature.
Definition: AbstractFeature.h:36