]>
Commit | Line | Data |
---|---|---|
28bf4b0b | 1 | /* |
2 | ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001. | |
3 | ** See ../LICENSE for license information. | |
4 | ** | |
5 | */ | |
6 | /* | |
7 | ** globalsClause.h | |
8 | */ | |
9 | ||
10 | # ifndef GLOBALSCLAUSE_H | |
11 | # define GLOBALSCLAUSE_H | |
12 | ||
13 | struct s_globalsClause { | |
14 | globSet globs; | |
15 | fileloc loc; | |
16 | } ; | |
17 | ||
18 | extern globalsClause globalsClause_create (/*@only@*/ lltok, /*@only@*/ globSet) /*@*/ ; | |
19 | extern /*@observer@*/ globSet globalsClause_getGlobs (globalsClause) /*@*/ ; | |
20 | extern /*@only@*/ globSet globalsClause_takeGlobs (globalsClause p_gclause) /*@modifies p_gclause@*/ ; | |
21 | ||
22 | extern /*@observer@*/ fileloc globalsClause_getLoc (globalsClause) /*@*/ ; | |
23 | # define globalsClause_getLoc(gl) ((gl)->loc) | |
24 | ||
25 | extern cstring globalsClause_unparse (globalsClause p_node) /*@*/ ; | |
26 | extern void globalsClause_free (/*@only@*/ globalsClause) ; | |
27 | ||
28 | # else | |
29 | # error "Multiple include" | |
30 | # endif |