]> andersk Git - splint.git/blob - src/Headers/exprData.h
Put files created for constraint handling in the repository.
[splint.git] / src / Headers / exprData.h
1 /* ;-*-C-*-; */
2
3 /*
4 ** freeShallow: free exprData created from exprNode_effect calls.
5 **    All but the innermost storage is free'd.
6 */
7
8 /*@only@*/ exprData exprData_makeLiteral (/*@only@*/ cstring s);
9
10 /*@only@*/ exprData exprData_makeId (/*@temp@*/ uentry id);
11
12 /*@only@*/ exprData exprData_makePair (/*@keep@*/ exprNode a, /*@keep@*/ exprNode b);
13
14
This page took 0.23335 seconds and 5 git commands to generate.