src/Headers/globalsClause.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
   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