]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | /* |
28bf4b0b | 2 | ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001. |
885824d3 | 3 | ** See ../LICENSE for license information. |
4 | ** | |
5 | */ | |
6 | ||
28bf4b0b | 7 | struct s_abstBodyNode { |
885824d3 | 8 | ltoken tok; /* check for NULLTOKEN before using it */ |
28bf4b0b | 9 | /*@null@*/ lclPredicateNode typeinv; |
885824d3 | 10 | fcnNodeList fcns; /* only for abstBody, not for optExposedBody */ |
28bf4b0b | 11 | } ; |
885824d3 | 12 | |
13 | extern /*@unused@*/ /*@only@*/ cstring abstBodyNode_unparse (abstBodyNode p_n); | |
14 |