]> andersk Git - splint.git/blame_incremental - src/Headers/abstractNode.h
Tried to fix some problems with the configuration system.
[splint.git] / src / Headers / abstractNode.h
... / ...
CommitLineData
1/*
2** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3** See ../LICENSE for license information.
4**
5*/
6
7typedef struct {
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
16extern /*@unused@*/ /*@only@*/ cstring abstractNode_unparse(abstractNode p_n);
This page took 0.041676 seconds and 5 git commands to generate.