[splint.git] / test / repexpose.h

# include "bool.h"

typedef struct s_abst *abst;

typedef struct 
{
  char *name;
  int val;
} *immut;

struct s_abst
{
  char *name;
  int   val;
  /*@dependent@*/ abst  parent;
  immut im;
} ;


# include "repexpose.lh"
Commit	Line	Data
885824d3	1	# include "bool.h"
885824d3	2
80ee600a	3	typedef struct s_abst *abst;
885824d3	4
80ee600a	5	typedef struct
885824d3	6	{
	7	char *name;
	8	int val;
	9	} *immut;
	10
80ee600a	11	struct s_abst
885824d3	12	{
	13	char *name;
	14	int val;
	15	/@dependent@/ abst parent;
	16	immut im;
	17	} ;
	18
	19
	20	# include "repexpose.lh"