]> andersk Git - splint.git/blob - src/Headers/mtValuesNode.h
ce89d396425dfb27d6dc0fabc004b63510f9510e
[splint.git] / src / Headers / mtValuesNode.h
1 /*
2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
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
This page took 0.417325 seconds and 3 git commands to generate.