]> andersk Git - splint.git/blob - src/Headers/programNode.h
Updated copyrights
[splint.git] / src / Headers / programNode.h
1 /*
2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
3 ** See ../LICENSE for license information.
4 **
5 */
6 typedef enum 
7 {
8   ACT_SELF, ACT_ITER, ACT_ALTERNATE, 
9   ACT_SEQUENCE
10 } actionKind;
11
12 typedef struct {
13   int wrapped; /* number of balanced parentheses around this program node */
14   actionKind kind;
15   union {
16     stmtNode self;
17     programNodeList args;
18   } content;
19 } *programNode;
20
21 extern void programNode_free (/*@only@*/ /*@null@*/ programNode p_x);
22 extern /*@only@*/ cstring programNode_unparse (programNode p_p);
23
This page took 0.03806 seconds and 5 git commands to generate.