2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
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@*/ ;