/*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
** See ../LICENSE for license information.
**
*/
extern /*@exits@*/ void llexit (int p_status);
extern void showHerald (void);
-/*@-redecl@*/
+/*@-redecl@*/ /*@-incondefs@*/
extern int yyparse (void);
-extern void yyrestart (FILE *p_f);
+extern void yyrestart (/*@dependent@*/ FILE *);
# ifndef NOLCL
extern int ylparse (void);
extern int lslparse (void);
# endif
-/*@=redecl@*/
-
-/*@-incondefs@*/ /*@-redecl@*/
-extern /*@dependent@*/ FILE *yyin;
+extern /*@open@*/ /*@dependent@*/ FILE *yyin;
/*@=incondefs@*/ /*@=redecl@*/