src/Headers/flag_codes.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
   3 ** See ../LICENSE for license information.
   4 **
   5 */
   6 /*
   7 ** flag_codes.h
   8 */
   9
  10 # ifndef FLAGCODES_H
  11 # define FLAGCODES_H
  12
  13 /*
  14 ** attempt to keep order consistent with that in flags.c
  15 */
  16
  17 typedef enum
  18 {
  19   SKIP_FLAG = -2,
  20   INVALID_FLAG = -1,
  21 # include "flag_codes.gen"
  22   LAST_FLAG
  23 } flagcode;
  24
  25 /*@constant flagcode NUMFLAGS; @*/
  26 # define NUMFLAGS       (LAST_FLAG)
  27
  28 /*@constant int NUMVALUEFLAGS; @*/
  29 # define NUMVALUEFLAGS       14
  30
  31 /*@constant int NUMSTRINGFLAGS; @*/
  32 # define NUMSTRINGFLAGS      27
  33
  34 /*@iter allFlagCodes (yield flagcode f); @*/
  35 # define allFlagCodes(m_code) \
  36   { /*@+enumint@*/ flagcode m_code; for (m_code = 0; m_code < NUMFLAGS; m_code++) \
  37       /*@=enumint@*/ {
  38
  39 # define end_allFlagCodes }}
  40
  41 # else
  42 # error "Multiple include"
  43 # endif