Code Listener
[unstable] git snapshot
Main Page
Related Pages
Namespaces
Data Structures
Files
File List
Globals
pointsto_assert.hh
Go to the documentation of this file.
1
/*
2
* Copyright (C) 2012 Pavel Raiskup <pavel@raiskup.cz>
3
*
4
* This file is part of predator.
5
*
6
* predator is free software: you can redistribute it and/or modify
7
* it under the terms of the GNU General Public License as published by
8
* the Free Software Foundation, either version 3 of the License, or
9
* any later version.
10
*
11
* predator is distributed in the hope that it will be useful,
12
* but WITHOUT ANY WARRANTY; without even the implied warranty of
13
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14
* GNU General Public License for more details.
15
*
16
* You should have received a copy of the GNU General Public License
17
* along with predator. If not, see <http://www.gnu.org/licenses/>.
18
*/
19
20
#ifndef H_GUARD_PT_ASSERT_HH
21
#define H_GUARD_PT_ASSERT_HH
22
23
enum
PTAssertType
{
24
/// ask if exists PT-relation between two operands among all functions
25
PT_ASSERT_MAY_POINT
= 0,
26
PT_ASSERT_MAY_NOT_POINT
,
27
28
/// ask if concrete variable may be pointed among all functions
29
PT_ASSERT_MAY_BE_POINTED
,
30
PT_ASSERT_MAY_NOT_BE_POINTED
,
31
32
/// ask if exists PT-relation between two operands in concrete function
33
PT_ASSERT_MAY_POINT_LOCAL
,
34
PT_ASSERT_MAY_NOT_POINT_LOCAL
,
35
36
/// ask whether the variable name exists in concrete function
37
PT_ASSERT_EXISTS_LOCAL
,
38
PT_ASSERT_EXISTS_LOCAL_NOT
,
39
40
/// setup flag that we expect the particular PT-build will fail
41
PT_ASSERT_BUILD_FAIL
42
};
43
44
#endif
/* H_GUARD_PT_ASSERT_H */
Generated on Tue Nov 5 2013 22:26:58 for Code Listener by
1.8.4