]> andersk Git - splint.git/blob - src/Headers/mtDeclarationNode.h
Merged code tree with Dave Evans's version. Many changes to numberous to list....
[splint.git] / src / Headers / mtDeclarationNode.h
1 /*
2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
4 **
5 */
6 /*
7 ** mtDeclarationNode.h
8 */
9
10 # ifndef MTDECLARATIONNODE_H
11 # define MTDECLARATIONNODE_H
12
13 struct s_mtDeclarationNode {
14   fileloc loc;
15   cstring name;
16   mtDeclarationPieces pieces;
17 } ;
18
19 /* mtDeclarationNode defined in forwardTypes.h */
20
21 extern mtDeclarationNode mtDeclarationNode_create (/*@only@*/ mttok,
22                                                    /*@only@*/ mtDeclarationPieces) /*@*/ ;
23
24 extern /*@observer@*/ cstring mtDeclarationNode_getName (mtDeclarationNode) /*@*/ ;
25
26 extern /*@observer@*/ fileloc mtDeclarationNode_getLoc (mtDeclarationNode) /*@*/ ;
27
28 extern cstring mtDeclarationNode_unparse (mtDeclarationNode p_node) /*@*/ ;
29 extern void mtDeclarationNode_process (mtDeclarationNode p_node, bool p_isglobal) /*@modifies internalState@*/ ;
30 extern void mtDeclarationNode_free (/*@only@*/ mtDeclarationNode p_node) ;
31
32 # else
33 # error "Multiple include"
34 # endif
This page took 0.097048 seconds and 5 git commands to generate.