]> andersk Git - splint.git/blob - src/Headers/traitRefNode.h
a7ae0921626d599499db581a28d62b38ed727bde
[splint.git] / src / Headers / traitRefNode.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 _traitRefNode {
7   ltokenList traitid; /* a list of traitId ltoken's */
8   /*@null@*/ renamingNode rename; /* a list of renamings */
9 } *traitRefNode;
10
11 extern void traitRefNode_free (/*@only@*/ /*@null@*/ traitRefNode p_x);
This page took 0.222448 seconds and 3 git commands to generate.