[splint.git] / src / constraintOutput.c

/*
** constraintOutput.c
*/

# include "lclintMacros.nf"
# include "basic.h"
# include "portab.h"

#define testingFlag  FLG_BUFFEROVERFLOW
//FLG_BUFF
//FLG_NULLTERMINATED

void ConPrint (char * string, fileloc loc)
{
  if (context_getFlag (testingFlag ) )
    {
      voptgenerror (testingFlag, string, loc);
    }
  
}

void BPRINTF (char * string)
{
 if (context_getFlag (testingFlag ) )
   {
     DPRINTF( (message ("%s", string) ) );
   }
}
Commit	Line	Data
3aaedf88	1	/*
	2	** constraintOutput.c
	3	*/
	4
	5	# include "lclintMacros.nf"
	6	# include "basic.h"
	7	# include "portab.h"
	8
	9	#define testingFlag FLG_BUFFEROVERFLOW
	10	//FLG_BUFF
	11	//FLG_NULLTERMINATED
	12
	13	void ConPrint (char * string, fileloc loc)
	14	{
	15	if (context_getFlag (testingFlag ) )
	16	{
	17	voptgenerror (testingFlag, string, loc);
	18	}
	19
	20	}
	21
	22	void BPRINTF (char * string)
	23	{
	24	if (context_getFlag (testingFlag ) )
	25	{
	26	DPRINTF( (message ("%s", string) ) );
	27	}
	28	}