]> andersk Git - splint.git/blob - src/Headers/renamingNode.h
Updated copyrights
[splint.git] / src / Headers / renamingNode.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   typeNameNodeList namelist;  /* the positional arguments */
9   replaceNodeList replacelist; /* the rest of replace renamings */  
10 } *nameAndReplaceNode;
11
12 typedef struct {
13   bool is_replace; /* TRUE means replace, false means name */ 
14   union {
15     replaceNodeList replace;
16     nameAndReplaceNode name;
17   } content;
18 } *renamingNode;
19
20 extern /*@only@*/ cstring renamingNode_unparse (/*@null@*/ renamingNode p_x);
This page took 0.55569 seconds and 5 git commands to generate.