home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / splint3s.zip / splint-3.0.1.6 / test / repexpose.h < prev    next >
C/C++ Source or Header  |  2001-07-03  |  222b  |  21 lines
  1. # include "bool.h"
  2.  
  3. typedef struct s_abst *abst;
  4.  
  5. typedef struct 
  6. {
  7.   char *name;
  8.   int val;
  9. } *immut;
  10.  
  11. struct s_abst
  12. {
  13.   char *name;
  14.   int   val;
  15.   /*@dependent@*/ abst  parent;
  16.   immut im;
  17. } ;
  18.  
  19.  
  20. # include "repexpose.lh"
  21.