]> andersk Git - splint.git/blob - src/Headers/typeNode.h
9ff18d07c2fd0f7a553b4459d5cfe59c4ec5bb74
[splint.git] / src / Headers / typeNode.h
1 /*
2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
3 ** See ../LICENSE for license information.
4 */
5
6 # ifndef TYPENODE_H
7 # define TYPENODE_H
8
9 typedef struct _typeNode {
10   typeKind kind;
11   union {
12     abstractNode abstract;
13     exposedNode exposed;
14     taggedUnionNode taggedunion;  
15   } content;
16 } *typeNode;
17
18 extern /*@unused@*/ /*@only@*/ cstring
19   typeNode_unparse (/*@null@*/ typeNode p_t) /*@*/ ;
20
21 # else
22 # error "Multiple include"
23 # endif
This page took 0.113444 seconds and 3 git commands to generate.