]> andersk Git - splint.git/blob - src/Headers/stmtNode.h
Updating to use the LEnsures and LRequires instead of the ensures requires so
[splint.git] / src / Headers / stmtNode.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 _stmtNode {
7   ltoken lhs;
8   ltoken operator;
9   termNodeList args;
10 } *stmtNode;
11
12 extern /*@unused@*/ /*@notnull@*/ /*@only@*/ cstring stmtNode_unparse (stmtNode p_x);
This page took 0.043616 seconds and 5 git commands to generate.