PIPS
extension.c
Go to the documentation of this file.
1
/*
2
3
Copyright 1989-2010 HPC Project
4
5
This file is part of PIPS.
6
7
PIPS is free software: you can redistribute it and/or modify it
8
under the terms of the GNU General Public License as published by
9
the Free Software Foundation, either version 3 of the License, or
10
any later version.
11
12
PIPS is distributed in the hope that it will be useful, but WITHOUT ANY
13
WARRANTY; without even the implied warranty of MERCHANTABILITY or
14
FITNESS FOR A PARTICULAR PURPOSE.
15
16
See the GNU General Public License for more details.
17
18
You should have received a copy of the GNU General Public License
19
along with PIPS. If not, see <http://www.gnu.org/licenses/>.
20
21
*/
22
/*
23
Functions dealing with the Newgen objects "extension", which are
24
part of "statement"; they are used to encode pragmas.
25
26
Pierre.Villalon@hpc-project.com
27
Ronan.Keryell@hpc-project.com
28
*/
29
#ifdef HAVE_CONFIG_H
30
#include "pips_config.h"
31
#endif
32
33
#include "
linear.h
"
34
#include "
genC.h
"
35
#include "
ri.h
"
36
#include "
ri-util.h
"
37
38
/*****************************************************A CONSTRUCTOR LIKE PART
39
*/
40
41
/** @return an empty extensions
42
*/
43
extensions
empty_extensions
(
void
) {
44
return
make_extensions
(
NIL
);
45
}
46
47
/** @return true if the extensions field is empty
48
@param es the extensions to test
49
*/
50
bool
empty_extensions_p
(
extensions
es) {
51
return
(
extensions_extension
(es) ==
NIL
);
52
}
make_extensions
extensions make_extensions(list a)
Definition:
ri.c:983
genC.h
NIL
#define NIL
The empty list (nil in Lisp)
Definition:
newgen_list.h:47
linear.h
empty_extensions_p
bool empty_extensions_p(extensions es)
Definition:
extension.c:50
empty_extensions
extensions empty_extensions(void)
extension.c
Definition:
extension.c:43
ri-util.h
ri.h
extensions_extension
#define extensions_extension(x)
Definition:
ri.h:1330
_newgen_struct_extensions_
Definition:
ri.h:1324
pips
src
Libs
ri-util
extension.c
Generated on Thu Sep 26 2024 22:11:45 for PIPS by
1.9.1