]> andersk Git - splint.git/blob - src/Headers/syntable.h
Fixed problem with NULL being changed.
[splint.git] / src / Headers / syntable.h
1 /*
2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
3 ** See ../LICENSE for license information.
4 */
5 /*
6 ** syntable.h
7 */
8
9 extern void LSLAddSyn(lsymbol, lsymbol) /*@modifies internalState@*/ ;
10 extern /*@exposed@*/ ltoken LSLGetTokenForSyn(lsymbol) 
11   /*@globals internalState@*/ ;
12 extern bool LSLIsSyn(lsymbol) /*@globals internalState@*/ ;
13 extern void lsynTableInit (void) /*@modifies internalState@*/ ;
14 extern void lsynTableReset (void)  /*@modifies internalState@*/ ;
15 extern void lsynTableCleanup (void) /*@modifies internalState@*/ ;
This page took 0.037781 seconds and 5 git commands to generate.