Ejemplos de SAFE_ARRAY en C++ (Cpp)

Ejemplo n.º 1

Archivo: testing.c Proyecto: amaksoft/exceptions4c

static void make_command_line(/*@notnull@*/ test_runner * runner)
/*@modifies
	runner->buffer
@*/
{

	SAFE_SPRINTF(
		SAFE_ARRAY(runner->buffer),
		"%s %u %u > %s 2> %s",
		runner->file_path,
		(unsigned int)runner->suite_number,
		(unsigned int)runner->test_number,
		runner->out,
		runner->err
	);
}

Ejemplo n.º 2

Archivo: testing.c Proyecto: dzavalishin/exceptions4c

	static void open_report(/*@notnull@*/ test_runner * runner)
	/*@globals
		fileSystem,
		internalState
	@*/
	/*@modifies
		fileSystem,
		internalState,

		runner->buffer
	@*/
	{

		SAFE_SPRINTF(SAFE_ARRAY(runner->buffer), PLATFORM_OPEN_REPORT, runner->report);

		(void)system(runner->buffer);
	}

Ejemplo n.º 3

Archivo: testing.c Proyecto: amaksoft/exceptions4c

	static void open_report(/*@notnull@*/ test_runner * runner)
	/*@globals
		fileSystem,
		internalState
	@*/
	/*@modifies
		fileSystem,
		internalState,

		runner->buffer
	@*/
	{

		SAFE_SPRINTF(SAFE_ARRAY(runner->buffer), PLATFORM_OPEN_REPORT, runner->report);

		if( system(runner->buffer) == -1 ){

			fprintf(stderr, "\nCould not open report: %s\n", runner->report);
		}
	}

Ejemplo n.º 4

Archivo: SkillTableMap.cpp Proyecto: gthgame/gth

int				CSkillTableMap::GetID(int index)
{
	if(!SAFE_ARRAY(index)) return -1;
	return m_SkillList[index];
}