]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | /* |
28bf4b0b | 2 | ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001. |
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 | ||
13 | /*@-namechecks@*/ | |
14 | extern int lsldebug; /* defined by bison (not a bool) */ | |
15 | /*@=namechecks@*/ | |
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); |