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_warningstream,
  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_warningstream;
  25    @*/
  26   /*@modifies g_currentloc,
  27               g_localSpecPath, g_currentSpec, g_currentSpecName,
  28               yyin, internalState, fileSystem;
  29   @*/
  30 # endif
  31   ;
  32
  33 extern /*@noreturn@*/ void llexit (int p_status);
  34 extern void showHerald (void);
  35
  36 /*@-redecl@*/ /*@-incondefs@*/
  37 /*@-declundef@*/
  38 extern int yyparse (void);
  39 extern void yyrestart (/*@dependent@*/ FILE *);
  40
  41 # ifndef NOLCL
  42 extern int ylparse (void);
  43 extern int lslparse (void);
  44 # endif
  45
  46 extern /*:open:*/ /*@dependent@*/ FILE *yyin;
  47 /*@=incondefs@*/ /*@=redecl@*/
  48 /*@=declundef@*/
  49
  50 # endif
  51
  52