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

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

# ifndef MTANNOTATIONSNODE_H
# define MTANNOTATIONSNODE_H

struct s_mtAnnotationsNode {
  mtAnnotationList annots;
} ;

extern mtAnnotationsNode mtAnnotationsNode_create (/*@only@*/ mtAnnotationList p_annots) /*@*/ ;

extern /*@observer@*/ mtAnnotationList mtAnnotationsNode_getAnnotations (mtAnnotationsNode p_node) /*@*/ ;
# define mtAnnotationsNode_getAnnotations(node) ((node)->annots)

extern cstring mtAnnotationsNode_unparse (mtAnnotationsNode p_node) /*@*/ ;
extern void mtAnnotationsNode_free (/*@only@*/ mtAnnotationsNode) ;

# 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	** mtAnnotationsNode.h
	8	*/
	9
	10	# ifndef MTANNOTATIONSNODE_H
	11	# define MTANNOTATIONSNODE_H
	12
	13	struct s_mtAnnotationsNode {
	14	mtAnnotationList annots;
	15	} ;
	16
	17	extern mtAnnotationsNode mtAnnotationsNode_create (/@only@/ mtAnnotationList p_annots) /@/ ;
	18
	19	extern /@observer@/ mtAnnotationList mtAnnotationsNode_getAnnotations (mtAnnotationsNode p_node) /@/ ;
	20	# define mtAnnotationsNode_getAnnotations(node) ((node)->annots)
	21
	22	extern cstring mtAnnotationsNode_unparse (mtAnnotationsNode p_node) /@/ ;
	23	extern void mtAnnotationsNode_free (/@only@/ mtAnnotationsNode) ;
	24
	25	# else
	26	# error "Multiple include"
	27	# endif