/* ;-*-C-*-;
** 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
{
if (ctbase_isUA (cte->ctbase))
{
- fprintf (g_msgstream, "%3d: %s [%d]\n", i,
+ fprintf (g_warningstream, "%3d: %s [%d]\n", i,
cstring_toCharsSafe (ctentry_doUnparse (cttab.entries[i])),
cte->ctbase->contents.tid);
}
else
{
- fprintf (g_msgstream, "%3d: %s\n", i,
+ fprintf (g_warningstream, "%3d: %s\n", i,
cstring_toCharsSafe (ctentry_doUnparse (cttab.entries[i])));
}
}
else
{
- /* fprintf (g_msgstream, "%3d: <no name>\n", i); */
+ /* fprintf (g_warningstream, "%3d: <no name>\n", i); */
}
}
/*@noaccess ctbase@*/
if (context_getFlag (FLG_SHOWSCAN) && cttab.size > 5000)
{
- fprintf (g_msgstream, " >\n"); /* end dumping to */
- fprintf (g_msgstream, "< Dumping type table (%d types) ", cttab.size);
+ displayScanClose ();
+ displayScanOpen (message ("Dumping type table (%d types)", cttab.size));
showdotstride = cttab.size / 5;
showdots = TRUE;
}
- /*
- DPRINTF (("Dumping cttable: "));
- cttable_print ();
- */
-
for (i = 0; i < cttab.size; i++)
{
cstring s;
if (showdots && (i != 0 && ((i - 1) % showdotstride == 0)))
{
- (void) fflush (g_msgstream);
- fprintf (stderr, ".");
+ (void) fflush (g_warningstream);
+ displayScanContinue (cstring_makeLiteralTemp ("."));
(void) fflush (stderr);
}
}
if (showdots)
{
- fprintf (stderr, " >\n< Continuing dump ");
+ displayScanClose ();
+ displayScanOpen (cstring_makeLiteral ("Continuing dump "));
}
}
/*@modifies cttab, f @*/
{
char *s = mstring_create (MAX_DUMP_LINE_LENGTH);
+ char *os = s;
ctentry cte;
cttable_reset ();
{
ctype ct;
- /*drl bee: tcf*/ cte = ctentry_undump (s);
+ /*drl bee: tcf*/ cte = ctentry_undump (s);
ct = cttable_addFull (cte);
DPRINTF (("Type: %d: %s", ct, ctype_unparse (ct)));
ctype_recordConj (ct);
}
- (void) reader_readLine (f, s, MAX_DUMP_LINE_LENGTH);
+ s = reader_readLine (f, s, MAX_DUMP_LINE_LENGTH);
}
- sfree (s);
+ sfree (os);
/*
DPRINTF (("Done loading cttable: "));
ctb = ctype_getCtbase (i);
- /*@i32 is this optimization really worthwhile??? */
+ /* is this optimization really worthwhile? */
if (ctbase_isDefined (ctb) && ctbase_equivStrict (cnew, ctb))
{