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

/*
** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
** 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) /*@*/ ;

/*@i32 why no warning without observer!??*/
extern /*@observer@*/ cstringList mtValuesNode_getValues (mtValuesNode p_node) /*@*/ ;
# define mtValuesNode_getValues(node) ((node)->values)

# else
# error "Multiple include"
# endif
Commit	Line	Data
28bf4b0b	1	/*
	2	** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
	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
	22	/@i32 why no warning without observer!??/
	23	extern /@observer@/ cstringList mtValuesNode_getValues (mtValuesNode p_node) /@/ ;
	24	# define mtValuesNode_getValues(node) ((node)->values)
	25
	26	# else
	27	# error "Multiple include"
	28	# endif