2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
10 # ifndef MODIFIESCLAUSE_H
11 # define MODIFIESCLAUSE_H
13 struct s_modifiesClause {
19 extern modifiesClause modifiesClause_createNoMods (/*@only@*/ lltok) /*@*/ ;
21 extern bool modifiesClause_isNoMods (modifiesClause) ;
22 # define modifiesClause_isNoMods(m) ((m)->isnomods)
24 extern /*@observer@*/ sRefSet modifiesClause_getMods (modifiesClause) ;
25 extern /*@only@*/ sRefSet modifiesClause_takeMods (modifiesClause) ;
27 extern /*@observer@*/ fileloc modifiesClause_getLoc (modifiesClause) /*@*/ ;
28 # define modifiesClause_getLoc(gl) ((gl)->loc)
31 modifiesClause_create (/*@only@*/ lltok, /*@only@*/ sRefSet) /*@*/ ;
33 extern cstring modifiesClause_unparse (modifiesClause p_node) /*@*/ ;
34 extern void modifiesClause_free (/*@only@*/ modifiesClause) ;
37 # error "Multiple include"