]> andersk Git - splint.git/blame_incremental - src/Headers/llmain.h
Added manual files
[splint.git] / src / Headers / llmain.h
... / ...
CommitLineData
1/*
2** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3** See ../LICENSE for license information.
4**
5*/
6# ifndef LLMAIN_H
7# define LLMAIN_H
8
9extern int main (int p_argc, char *p_argv[])
10# ifdef NOLCL
11 /*@globals killed undef g_currentloc,
12 killed undef yyin,
13 undef g_msgstream,
14 @*/
15 /*@modifies g_currentloc, fileSystem, internalState, yyin;
16 @*/
17# else
18 /*@globals killed undef g_currentloc,
19 killed g_localSpecPath,
20 killed undef g_currentSpec,
21 killed undef g_currentSpecName,
22 killed undef g_currentloc,
23 killed undef yyin,
24 undef g_msgstream;
25 @*/
26 /*@modifies g_currentloc,
27 g_localSpecPath, g_currentSpec, g_currentSpecName,
28 yyin, internalState, fileSystem;
29 @*/
30# endif
31 ;
32
33extern /*@noreturn@*/ void llexit (int p_status);
34extern void showHerald (void);
35
36/*@-redecl@*/ /*@-incondefs@*/
37/*@-declundef@*/
38extern int yyparse (void);
39extern void yyrestart (/*@dependent@*/ FILE *);
40
41# ifndef NOLCL
42extern int ylparse (void);
43extern int lslparse (void);
44# endif
45
46extern /*:open:*/ /*@dependent@*/ FILE *yyin;
47/*@=incondefs@*/ /*@=redecl@*/
48/*@=declundef@*/
49
50# endif
51
52
This page took 0.038891 seconds and 5 git commands to generate.