[splint.git] / test / repexpose.h

# include "bool.h"

typedef struct _abst *abst;

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

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


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