src/Headers/llmain.h

   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
   9 extern 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
  33 extern /*@exits@*/ void llexit (int p_status);
  34 extern void showHerald (void);
  35
  36 /*@-redecl@*/
  37 extern int yyparse (void);
  38 extern void yyrestart (FILE *);
  39
  40 # ifndef NOLCL
  41 extern int ylparse (void);
  42 extern int lslparse (void);
  43 # endif
  44
  45 /*@=redecl@*/
  46
  47 /*@-incondefs@*/ /*@-redecl@*/
  48 extern /*@open@*/ /*@dependent@*/ FILE *yyin;
  49 /*@=incondefs@*/ /*@=redecl@*/
  50
  51
  52 # endif
  53
  54