src/Headers/modifiesClause.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
   3 ** See ../LICENSE for license information.
   4 **
   5 */
   6 /*
   7 ** modifiesClause.h
   8 */
   9
  10 # ifndef MODIFIESCLAUSE_H
  11 # define MODIFIESCLAUSE_H
  12
  13 struct s_modifiesClause {
  14   bool isnomods;
  15   fileloc loc;
  16   sRefSet srs;
  17 } ;
  18
  19 extern modifiesClause modifiesClause_createNoMods (/*@only@*/ lltok) /*@*/ ;
  20
  21 extern bool modifiesClause_isNoMods (modifiesClause) ;
  22 # define modifiesClause_isNoMods(m) ((m)->isnomods)
  23
  24 extern /*@observer@*/ sRefSet modifiesClause_getMods (modifiesClause) ;
  25 extern /*@only@*/ sRefSet modifiesClause_takeMods (modifiesClause) ;
  26
  27 extern /*@observer@*/ fileloc modifiesClause_getLoc (modifiesClause) /*@*/ ;
  28 # define modifiesClause_getLoc(gl) ((gl)->loc)
  29
  30 extern modifiesClause
  31    modifiesClause_create (/*@only@*/ lltok, /*@only@*/ sRefSet) /*@*/ ;
  32
  33 extern cstring modifiesClause_unparse (modifiesClause p_node) /*@*/ ;
  34 extern void modifiesClause_free (/*@only@*/ modifiesClause) ;
  35
  36 # else
  37 # error "Multiple include"
  38 # endif