Predator
[unstable] git snapshot
Main Page
Related Pages
Namespaces
Data Structures
Files
File List
Globals
cont_shape_var.hh
Go to the documentation of this file.
1
/*
2
* Copyright (C) 2014 Kamil Dudka <kdudka@redhat.com>
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_CONT_SHAPE_VAR_H
21
#define H_GUARD_CONT_SHAPE_VAR_H
22
23
#include "
adt_op_match.hh
"
24
#include "
fixed_point.hh
"
25
26
namespace
AdtOp {
27
28
typedef
int
TShapeVarId
;
29
30
extern
const
TShapeVarId
InvalidShapeVar
;
31
32
/// return a (globally) unique shape var ID
33
TShapeVarId
acquireFreshShapeVar
(
void
);
34
35
typedef
FixedPoint::TShapeIdent
TShapeIdent
;
36
typedef
std::map<TShapeIdent, TShapeVarId>
TShapeVarByShape
;
37
38
bool
assignShapeVariables
(
39
TShapeVarByShape
*pDst,
40
TInsnWriter
*pInsnWriter,
41
const
TMatchList
&matchList,
42
const
TOpList
&opList,
43
const
OpCollection
&coll,
44
const
TProgState
&progState);
45
46
}
// namespace AdtOp
47
48
#endif
/* H_GUARD_CONT_SHAPE_VAR_H */
Generated on Mon Nov 9 2015 14:51:59 for Predator by
1.8.1.2