]> andersk Git - splint.git/blob - src/Headers/replaceNode.h
noexpand always false.
[splint.git] / src / Headers / replaceNode.h
1 /*
2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
3 ** See ../LICENSE for license information.
4 **
5 */
6
7 typedef struct {
8   ltoken tok;
9   typeNameNode typename; 
10   bool isCType; /* TRUE means it is a CType */
11   union {
12     struct { 
13       /*@only@*/ /*@null@*/ nameNode name; 
14       /*@only@*/ /*@null@*/ sigNode signature;
15     } renamesortname;
16     ltoken ctype; 
17   } content;
18 } *replaceNode; 
19
20 extern void replaceNode_free (/*@only@*/ /*@null@*/ replaceNode p_x);
21 extern /*@only@*/ cstring replaceNode_unparse (/*@null@*/ replaceNode p_x);
22
This page took 0.036984 seconds and 5 git commands to generate.