22 #ifndef OTAWA_PROC_ABSTRACT_FEATURE_H
23 #define OTAWA_PROC_ABSTRACT_FEATURE_H
25 #include <elm/string.h>
44 virtual void check(
WorkSpace *fw)
const = 0;
45 virtual void clean(
WorkSpace *ws)
const = 0;
Definition: Registration.h:151
static AbstractFeature & null
Null value for features.
Definition: AbstractFeature.h:38
static const PropList EMPTY
This is an empty proplist for convenience.
Definition: PropList.h:66
A workspace represents a program, its run-time and all information about WCET computation or any othe...
Definition: WorkSpace.h:67
AbstractMaker * _maker
Definition: AbstractFeature.h:59
This class represents identifier with a typed associated value.
Definition: Identifier.h:51
cstring name
Definition: odisasm.cpp:107
See Feature.
Definition: AbstractFeature.h:36
This a list of properties.
Definition: PropList.h:63
Shortcut to create a feature with a maker (without the mess of SilentFeature).
Definition: AbstractFeature.h:51