Otawa  0.10
FrameWork.h
Go to the documentation of this file.
1 /*
2  * $Id$
3  * Copyright (c) 2003-07, IRIT UPS.
4  *
5  * otawa/prog/FrameWork.h -- interface for FrameWork class.
6  */
7 #ifndef OTAWA_PROG_FRAMEWORK_H
8 #define OTAWA_PROG_FRAMEWORK_H
9 
10 #warning "FrameWork class is deprecated. Use WorkSpace instead."
11 
12 #include <otawa/prog/WorkSpace.h>
13 
14 namespace otawa {
15  typedef class WorkSpace FrameWork;
16 }; // otawa
17 
18 #endif // OTAWA_PROG_FRAMEWORK_H
otawa::WorkSpace
A workspace represents a program, its run-time and all information about WCET computation or any othe...
Definition: WorkSpace.h:67
otawa::FrameWork
class WorkSpace FrameWork
Definition: FrameWork.h:15