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

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

# ifndef MTDEFAULTSNODE_H
# define MTDEFAULTSNODE_H

struct s_mtDefaultsNode {
  mtDefaultsDeclList decls;
  fileloc loc;
} ;

extern mtDefaultsNode mtDefaultsNode_create (/*@only@*/ mttok,
					     /*@only@*/ mtDefaultsDeclList) /*@*/ ;

extern void mtDefaultsNode_free (/*@only@*/ mtDefaultsNode) ;

extern /*@observer@*/ mtDefaultsDeclList mtDefaultsNode_getDecls (mtDefaultsNode) /*@*/ ;
# define mtDefaultsNode_getDecls(n) ((n)->decls)

extern cstring mtDefaultsNode_unparse (mtDefaultsNode p_node) /*@*/ ;

# else
# error "Multiple include"
# endif
Commit	Line	Data
28bf4b0b	1	/*
c0de361f	2	** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
28bf4b0b	3	** See ../LICENSE for license information.
	4	**
	5	*/
	6	/*
	7	** mtDefaultsNode.h
	8	*/
	9
	10	# ifndef MTDEFAULTSNODE_H
	11	# define MTDEFAULTSNODE_H
	12
	13	struct s_mtDefaultsNode {
	14	mtDefaultsDeclList decls;
	15	fileloc loc;
	16	} ;
	17
	18	extern mtDefaultsNode mtDefaultsNode_create (/@only@/ mttok,
	19	/@only@/ mtDefaultsDeclList) /@/ ;
	20
	21	extern void mtDefaultsNode_free (/@only@/ mtDefaultsNode) ;
	22
	23	extern /@observer@/ mtDefaultsDeclList mtDefaultsNode_getDecls (mtDefaultsNode) /@/ ;
	24	# define mtDefaultsNode_getDecls(n) ((n)->decls)
	25
	26	extern cstring mtDefaultsNode_unparse (mtDefaultsNode p_node) /@/ ;
	27
	28	# else
	29	# error "Multiple include"
	30	# endif