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

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

# ifndef MTVALUESNODE_H
# define MTVALUESNODE_H

struct s_mtValuesNode {
  cstringList values;
} ;

extern mtValuesNode mtValuesNode_create (/*@only@*/ cstringList p_values) /*@*/ ;
extern void mtValuesNode_free (/*@only@*/ mtValuesNode) ;

extern cstring mtValuesNode_unparse (mtValuesNode p_node) /*@*/ ;

extern /*@observer@*/ cstringList mtValuesNode_getValues (mtValuesNode p_node) /*@*/ ;
# define mtValuesNode_getValues(node) ((node)->values)

# 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	** mtValuesNode.h
	8	*/
	9
	10	# ifndef MTVALUESNODE_H
	11	# define MTVALUESNODE_H
	12
	13	struct s_mtValuesNode {
	14	cstringList values;
	15	} ;
	16
	17	extern mtValuesNode mtValuesNode_create (/@only@/ cstringList p_values) /@/ ;
	18	extern void mtValuesNode_free (/@only@/ mtValuesNode) ;
	19
	20	extern cstring mtValuesNode_unparse (mtValuesNode p_node) /@/ ;
	21
28bf4b0b	22	extern /@observer@/ cstringList mtValuesNode_getValues (mtValuesNode p_node) /@/ ;
	23	# define mtValuesNode_getValues(node) ((node)->values)
	24
	25	# else
	26	# error "Multiple include"
	27	# endif