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

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

# ifndef MTMERGENODE_H
# define MTMERGENODE_H

struct s_mtMergeNode {
  mtMergeClauseList mlist;
} ;

extern mtMergeNode mtMergeNode_create (/*@only@*/ mtMergeClauseList) /*@*/ ;
extern void mtMergeNode_free (/*@only@*/ mtMergeNode) ;

extern cstring mtMergeNode_unparse (mtMergeNode p_node) /*@*/ ;

extern /*@observer@*/ mtMergeClauseList mtMergeNode_getClauses (mtMergeNode p_node) /*@*/ ;
# define mtMergeNode_getClauses(p_node) ((p_node)->mlist)

# 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	** mtMergeNode.h
	8	*/
	9
	10	# ifndef MTMERGENODE_H
	11	# define MTMERGENODE_H
	12
	13	struct s_mtMergeNode {
	14	mtMergeClauseList mlist;
	15	} ;
	16
	17	extern mtMergeNode mtMergeNode_create (/@only@/ mtMergeClauseList) /@/ ;
	18	extern void mtMergeNode_free (/@only@/ mtMergeNode) ;
	19
	20	extern cstring mtMergeNode_unparse (mtMergeNode p_node) /@/ ;
	21
	22	extern /@observer@/ mtMergeClauseList mtMergeNode_getClauses (mtMergeNode p_node) /@/ ;
	23	# define mtMergeNode_getClauses(p_node) ((p_node)->mlist)
	24
	25	# else
	26	# error "Multiple include"
	27	# endif