]> andersk Git - splint.git/blob - src/Headers/typeNode.h
Created html faq file to replace the faq.txt
[splint.git] / src / Headers / typeNode.h
1 /*
2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
3 ** See ../LICENSE for license information.
4 */
5
6 # ifndef TYPENODE_H
7 # define TYPENODE_H
8
9 typedef struct {
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.03552 seconds and 5 git commands to generate.