]> andersk Git - splint.git/blob - src/Headers/cscanner.h
Committed my changes (but there are several splintme errors currently).
[splint.git] / src / Headers / cscanner.h
1 /*
2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
4 **
5 */
6 /*
7 ** cscanner.h
8 */
9
10 extern /*@observer@*/ cstring cscanner_observeLastIdentifier (void) ;
11 extern void cscanner_expectingMetaStateName (void) /*@modifies internalState@*/ ;
12 extern void cscanner_clearExpectingMetaStateName (void) /*@modifies internalState@*/ ;
13 extern void cscanner_swallowMacro (void) /*@modifies internalState, fileSystem@*/ ;
This page took 0.044411 seconds and 5 git commands to generate.