]> andersk Git - splint.git/blob - src/Headers/modifyNode.h
8e9bce02e2a5aa127c62c7ee03ef58d3d731f1da
[splint.git] / src / Headers / modifyNode.h
1 /*
2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
3 ** See ../LICENSE for license information.
4 **
5 */
6 typedef struct _modifyNode {
7   ltoken tok;
8   bool modifiesNothing;
9   bool hasStoreRefList; 
10   /* if hasStoreRefList is FALSE, then it's either NOTHING or ANYTHING */
11   /* evs - this is a really kludgy way of doing this... */
12   /*@reldef@*/ storeRefNodeList list;
13 } *modifyNode;
14
15 extern /*@unused@*/ /*@only@*/ cstring modifyNode_unparse (/*@null@*/ modifyNode p_m);
16
17
18
19
20
21
22
23
24
25
26
This page took 0.144118 seconds and 3 git commands to generate.