2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
10 # ifndef GLOBALSCLAUSE_H
11 # define GLOBALSCLAUSE_H
13 struct s_globalsClause {
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@*/ ;
22 extern /*@observer@*/ fileloc globalsClause_getLoc (globalsClause) /*@*/ ;
23 # define globalsClause_getLoc(gl) ((gl)->loc)
25 extern cstring globalsClause_unparse (globalsClause p_node) /*@*/ ;
26 extern void globalsClause_free (/*@only@*/ globalsClause) ;
29 # error "Multiple include"