]> andersk Git - splint.git/blob - src/Headers/lclscanline.h
3e395edcbeadb976d145d113bca35840bb18ed43
[splint.git] / src / Headers / lclscanline.h
1 /*
2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
4 **
5 */
6 /*
7 ** scanline.h
8 ** 
9 **      The header files
10 **          lsl.h
11 **          string.h
12 **          scan.h
13 **      must be included prior to including
14 **          scanline.h
15 **      
16 **  MODIFICATION HISTORY:
17 **
18 **  X0.1-1      GAF     90.11.08        Created from LSL version
19 **  X0.1-2      JPW     91.05.03        Add LSLReportCommentTokens.
20 **  X0.1-3      JPW     91.06.26        Update copyright notice.
21 **  3.2   ymtan 92.11.14  conditionalize defn of types, needed for
22 **                        merging scanline.h and lclscanline.h
23 **                        Hence added SLASHCHAR (from LSL's scanline.h). 
24 **  2.4     ymtan  93.03.16  -- adapted original for release 2.4
25 **  Version Who    yy.mm.dd  -- did what?
26 */
27
28 # ifndef LCLSCANLINE_H
29 # define LCLSCANLINE_H
30
31 extern void LCLScanLine (char *p_line) /*@modifies internalState, p_line@*/ ;
32 /*@exposed@*/ ltoken LCLScanEofToken (void) /*@*/ ;
33 extern void LCLReportEolTokens (bool p_setting) /*@modifies internalState@*/ ;
34
35 extern void LCLScanLineInit(void) /*@modifies internalState@*/ ;
36 extern void LCLScanLineReset(void) /*@modifies internalState@*/ ;
37 extern void LCLScanLineCleanup(void) /*@modifies internalState@*/ ;
38
39 extern charCode LCLScanCharClass (char p_c) /*@*/ ;
40 extern bool LCLIsEndComment(char p_c) /*@*/ ;
41
42 extern void LCLSetCharClass (char p_c, charCode p_cod) 
43    /*@modifies internalState@*/ ;
44
45 extern void LCLSetEndCommentChar(char p_c, bool p_flag)
46    /*@modifies internalState@*/ ;
47
48 # else
49 # error "Multiple include"
50 # endif
51
52
53
54
55
This page took 0.027166 seconds and 3 git commands to generate.