]> andersk Git - splint.git/blame_incremental - src/Headers/replaceNode.h
Fixed problem with NULL being changed.
[splint.git] / src / Headers / replaceNode.h
... / ...
CommitLineData
1/*
2** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
3** See ../LICENSE for license information.
4**
5*/
6
7typedef 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
20extern void replaceNode_free (/*@only@*/ /*@null@*/ replaceNode p_x);
21extern /*@only@*/ cstring replaceNode_unparse (/*@null@*/ replaceNode p_x);
22
This page took 0.03211 seconds and 5 git commands to generate.