23 #ifndef OTAWA_DFA_STACKANALYSIS_H_
24 #define OTAWA_DFA_STACKANALYSIS_H_
30 namespace hard {
class Register; }
Feature< StackAnalysis > STACK_ANALYSIS_FEATURE
This features ensure that the stack analysis has been identified.
Definition: features.h:148
genstruct::Vector< init_t > inits
Definition: StackAnalysis.h:44
Class to declare simple a processor.
Definition: Registration.h:213
virtual void configure(const PropList &props)
This method may be called for configuring a processor thanks to information passed in the property li...
Definition: util_StackAnalysis.cpp:923
WorkSpace * ws
Definition: Processor.h:185
The processor class is implemented by all code processor.
Definition: Processor.h:49
static p::declare reg
Definition: StackAnalysis.h:38
A workspace represents a program, its run-time and all information about WCET computation or any othe...
Definition: WorkSpace.h:67
virtual void processWorkSpace(WorkSpace *ws)
Process the given framework.
Definition: util_StackAnalysis.cpp:867
static Identifier< init_t > INITIAL
This identifier is a configuration for the StackAnalysis processor.
Definition: StackAnalysis.h:36
This class represents identifier with a typed associated value.
Definition: Identifier.h:51
This a list of properties.
Definition: PropList.h:63
StackAnalysis(p::declare &r=reg)
Definition: util_StackAnalysis.cpp:855
This analyzer computes accessed addresses.
Definition: StackAnalysis.h:33
Pair< const hard::Register *, Address > init_t
Definition: StackAnalysis.h:35
A feature is a set of facilities, usually provided using properties, available on a framework...
Definition: Feature.h:46