]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | /* |
c0de361f | 2 | ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003. |
885824d3 | 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 | ||
a956d444 | 13 | /*@-namechecks@*/ /*@-declundef@*/ |
885824d3 | 14 | extern int lsldebug; /* defined by bison (not a bool) */ |
a956d444 | 15 | /*@=namechecks@*/ /*@=declundef@*/ |
885824d3 | 16 | |
17 | extern lsymbol processTraitSortId (lsymbol p_sortid); | |
28bf4b0b | 18 | extern int parseSignatures (/*@only@*/ cstring p_infile); |
19 | extern /*@only@*/ lslOp parseOpLine (cstring p_fname, cstring p_line); | |
885824d3 | 20 | extern void readlsignatures (interfaceNode p_n); |
28bf4b0b | 21 | extern void callLSL (cstring p_specfile, /*@only@*/ cstring p_text); |