2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
9 /*@null@*/ lclTypeSpecNode typespec;
10 declaratorNode declarator;
12 varDeclarationNodeList inits;
14 /*@null@*/ lclPredicateNode checks;
15 /*@null@*/ lclPredicateNode require;
16 /*@null@*/ modifyNode modify;
17 /*@null@*/ lclPredicateNode ensures;
18 /*@null@*/ lclPredicateNode claim;
22 extern void fcnNode_free (/*@null@*/ /*@only@*/ fcnNode p_f);
23 extern /*@only@*/ cstring fcnNode_unparse (/*@null@*/ fcnNode p_f);