src/Headers/fileIdList.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
   3 ** See ../LICENSE for license information.
   4 **
   5 */
   6 /*
   7 ** fileIdList.h
   8 */
   9
  10 # ifndef FILEIDLIST_H
  11 # define FILEIDLIST_H
  12
  13 /*@access ctype fileId ctypeList@*/
  14 /*@+allmacros@*/
  15
  16 abst_typedef /*@null@*/ ctypeList fileIdList;
  17
  18 extern /*@falsenull@*/ bool fileIdList_isDefined (fileIdList p_f);
  19 # define fileIdList_isDefined(f)  (ctypeList_isDefined (f))
  20
  21 /*@iter fileIdList_elements (sef fileIdList x, yield fileId el); @*/
  22 # define fileIdList_elements(x, m_el) \
  23    if (fileIdList_isDefined (x)) \
  24     { int m_ind; fileId *m_elements = &((x)->elements[0]); \
  25       for (m_ind = 0 ; m_ind < (x)->nelements; m_ind++) \
  26         { fileId m_el = *(m_elements++);
  27
  28 # define end_fileIdList_elements }}
  29
  30 extern fileIdList fileIdList_create (void);
  31 # define fileIdList_create()       ctypeList_new()
  32
  33 extern bool fileIdList_isEmpty (/*@sef@*/ fileIdList p_f) /*@*/ ;
  34
  35 extern void fileIdList_add (fileIdList p_f, fileId p_fid) /*@modifies p_f@*/;
  36 # define fileIdList_add(f, el)     ctypeList_addh((ctypeList)(f), (ctype)(el))
  37
  38 extern int fileIdList_size (/*@sef@*/ fileIdList p_f);
  39 # define fileIdList_size(ft)       ctypeList_size((ctypeList)(ft))
  40
  41 extern void fileIdList_free (/*@only@*/ fileIdList p_f) /*@modifies p_f@*/;
  42 # define fileIdList_free(ft)       ctypeList_free((ctypeList)(ft))
  43
  44 # define fileIdList_isEmpty(f)     (fileIdList_size (f) == 0)
  45 /*@noaccess ctype fileId ctypeList@*/
  46
  47 # else
  48 # error "Multiple include"
  49 # endif
  50
  51