Otawa
0.10
Main Page
Related Pages
Modules
Namespaces
Classes
Files
File List
File Members
HalfAbsInt.h
Go to the documentation of this file.
1
/*
2
* "Half" abstract interpretation class interface.
3
*
4
* This file is part of OTAWA
5
* Copyright (c) 2007, 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
20
* 02110-1301 USA
21
*/
22
#ifndef OTAWA_UTIL_HALFABSINT_H
23
#define OTAWA_UTIL_HALFABSINT_H
24
25
#include <
otawa/dfa/hai/HalfAbsInt.h
>
26
#include <
otawa/util/DefaultListener.h
>
27
#include <
otawa/util/DefaultFixPoint.h
>
28
29
namespace
otawa {
30
31
using namespace
dfa::hai;
32
33
namespace
util {
using namespace
dfa::hai; }
34
35
// backward compatibility declaration
36
/*template <class F>
37
class HalfAbsInt: public dfa::hai::HalfAbsInt<F> {
38
public:
39
inline HalfAbsInt(F& _fp, WorkSpace& _fw):
40
dfa::hai::HalfAbsInt<F>(_fp, _fw) { }
41
};
42
43
typedef dfa::hai::hai_context_t hai_context_t;
44
enum util_context_t {
45
CTX_LOOP = dfa::hai::CTX_LOOP,
46
CTX_FUNC = dfa::hai::CTX_FUNC
47
};
48
inline bool operator==(hai_context_t v1, util_context_t v2) { return v1 == hai_context_t(v2); }
49
inline bool operator!=(hai_context_t v1, util_context_t v2) { return v1 != hai_context_t(v2); }
50
inline bool operator==(util_context_t v1, hai_context_t v2) { return v2 == hai_context_t(v1); }
51
inline bool operator!=(util_context_t v1, hai_context_t v2) { return v2 != hai_context_t(v1); }
52
53
} // util*/
54
55
}
// otawa
56
57
#endif // OTAWA_UTIL_HALFABSINT_H
58
DefaultFixPoint.h
DefaultListener.h
HalfAbsInt.h
include
otawa
util
HalfAbsInt.h
Generated on Mon Dec 28 2015 17:50:55 for Otawa by
1.8.7