]> andersk Git - splint.git/blob - src/Headers/lslparse.h
*** empty log message ***
[splint.git] / src / Headers / lslparse.h
1 /*
2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
3 ** See ../LICENSE for license information.
4 **
5 */
6 /*
7 ** lslparse.h
8 */
9
10 extern /*@dependent@*/ /*@null@*/ lslOp g_importedlslOp;
11 extern bool g_lslParsingTraits;
12
13 /*@-namechecks@*/ /*@-declundef@*/
14 extern int lsldebug; /* defined by bison (not a bool) */
15 /*@=namechecks@*/ /*@=declundef@*/
16
17 extern lsymbol processTraitSortId (lsymbol p_sortid); 
18 extern int parseSignatures (/*@only@*/ cstring p_infile);
19 extern /*@only@*/ lslOp parseOpLine (cstring p_fname, cstring p_line);
20 extern void readlsignatures (interfaceNode p_n);
21 extern void callLSL (cstring p_specfile, /*@only@*/ cstring p_text);
This page took 0.040004 seconds and 5 git commands to generate.