[splint.git] / src / Headers / typeNode.h

/*
** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
** See ../LICENSE for license information.
*/

# ifndef TYPENODE_H
# define TYPENODE_H

typedef struct {
  typeKind kind;
  union {
    abstractNode abstract;
    exposedNode exposed;
    taggedUnionNode taggedunion;  
  } content;
} *typeNode;

extern /*@unused@*/ /*@only@*/ cstring
  typeNode_unparse (/*@null@*/ typeNode p_t) /*@*/ ;

# else
# error "Multiple include"
# endif
Commit	Line	Data
885824d3	1	/*
c0de361f	2	** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
885824d3	3	** See ../LICENSE for license information.
	4	*/
	5
	6	# ifndef TYPENODE_H
	7	# define TYPENODE_H
	8
28bf4b0b	9	typedef struct {
885824d3	10	typeKind kind;
	11	union {
	12	abstractNode abstract;
	13	exposedNode exposed;
	14	taggedUnionNode taggedunion;
	15	} content;
	16	} *typeNode;
	17
	18	extern /@unused@/ /@only@/ cstring
	19	typeNode_unparse (/@null@/ typeNode p_t) /@/ ;
	20
	21	# else
	22	# error "Multiple include"
	23	# endif