]> andersk Git - splint.git/blob - src/Headers/abstractNode.h
653e863a998647818ccd11d87cd90e924ae17c0e
[splint.git] / src / Headers / abstractNode.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 _abstractNode {
8   ltoken tok;
9   bool isMutable; /* TRUE means it is mutable */
10   bool isRefCounted;
11   ltoken name;
12   sort sort;
13   abstBodyNode body;
14 } *abstractNode;
15
16 extern /*@unused@*/ /*@only@*/ cstring abstractNode_unparse(abstractNode p_n);
This page took 0.202463 seconds and 3 git commands to generate.