]> andersk Git - splint.git/blob - src/Headers/nameNode.h
5dbc0db6a6624f771b7c6aad31c5a9ea33572d3d
[splint.git] / src / Headers / nameNode.h
1 /*
2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
3 ** See ../LICENSE for license information.
4 **
5 */
6
7 typedef struct _nameNode {
8   bool isOpId; /* TRUE means is opId */
9   union {
10     ltoken opid;
11     /*@null@*/ opFormNode opform;
12   } content;
13 } *nameNode;
14
15 extern void nameNode_free (/*@null@*/ /*@only@*/ nameNode p_n);
16 extern /*@only@*/ /*@null@*/ nameNode nameNode_copy (/*@null@*/ nameNode p_n) /*@*/ ;
17 extern /*@only@*/ cstring nameNode_unparse (/*@null@*/ nameNode p_n) /*@*/ ;
18 extern /*@only@*/ nameNode nameNode_copySafe (nameNode p_n) /*@*/ ;
This page took 0.074126 seconds and 3 git commands to generate.