/*
** Splint - annotation-assisted static program checker
-** Copyright (C) 1994-2002 University of Virginia,
+** Copyright (C) 1994-2003 University of Virginia,
** Massachusetts Institute of Technology
**
** This program is free software; you can redistribute it and/or modify it
*/
# include "splintMacros.nf"
-# include "llbasic.h"
+# include "basic.h"
# include "gram.h"
# include "lclscan.h"
# include "scanline.h"
static void
LocalUserError (/*@unused@*/ ltoken p_t, /*@temp@*/ char *p_msg)
- /*@modifies *g_msgstream@*/ ;
+ /*@modifies *g_warningstream@*/ ;
/* If TRUE character has been redefined as a singleChar. */
static bool defineSingleChar[LASTCHAR + 1];
}
void
-LCLProcessInitFile (void)
+lclinit_process (void)
{
InitLines ();
setCodePoint ();
InitReduce (INITLINES1);
-
-
if (ltoken_getCode (nextToken) != LEOFTOKEN)
{
InitLine ();
static void
InitLine (void)
{
-
if (ltoken_getCode (nextToken) == LLT_EOL)
{
/* Nothing on line. */
- InitReduce (INITLINE1);
+ InitReduce (INITLINE1);
}
else
{
- Classification ();
+ Classification ();
InitReduce (INITLINE2);
}
{
LocalUserError (nextToken, "Unexpected tokens on line");
}
-
+
nextToken = LCLScanNextToken (); /* Discard EOL */
- }
+}
static void
Classification (void)
{
lsymbol ntext = ltoken_getRawText (nextToken);
-
if (ntext == ltoken_getText (endCommentCharToken)
|| ntext == ltoken_getText (idCharToken)
{
llbug (message ("Expected character, token, or synonym classification: %s",
ltoken_getRawString (nextToken)));
- /* pop off all tokens on this line */
+ /* pop off all tokens on this line */
}
}
CharClass (void)
{
ltoken charClassToken;
-
charClassToken = nextToken;
-
nextToken = LCLScanNextToken (); /* Discard char class keyword. */
if (ltoken_getRawText (charClassToken) == ltoken_getText (endCommentCharToken))
}
static void
- TokenClass (void) /*@modifies nextToken@*/
+TokenClass (void) /*@modifies nextToken@*/
{
ltoken tokenClassToken;
lsymbol ttext = ltoken_getRawText (nextToken);
*/
void
-LCLProcessInitFileInit (void)
+lclinit_initMod (void)
{
int i;
}
void
-LCLProcessInitFileReset (void)
+lclinit_reset (void)
{
nextToken = LCLScanNextToken ();
}
void
-LCLProcessInitFileCleanup (void)
+lclinit_cleanup (void)
{
+ ;
}