自学教程：C++ test_file函数代码示例

intslaptest( int argc, char **argv ){	int			rc = EXIT_SUCCESS;	const char		*progname = "slaptest";	slap_tool_init( progname, SLAPTEST, argc, argv );	if ( slapd_pid_file != NULL ) {		if ( test_file( slapd_pid_file, "pid" ) ) {			return EXIT_FAILURE;		}	}	if ( slapd_args_file != NULL ) {		if ( test_file( slapd_args_file, "args" ) ) {			return EXIT_FAILURE;		}	}	if ( !quiet ) {		fprintf( stderr, "config file testing succeeded/n");	}	if ( slap_tool_destroy())		rc = EXIT_FAILURE;	return rc;}

static intTest_verifierParseProof(void){  enum {    file_size = 2  };  const char* file[file_size] = {    "$. ",    "p $. "  };  const size_t thms_len[file_size] = {    1, 2  };  const size_t thms_0[1] = {0};  const size_t thms_1[2] = {0, 1};  const size_t* thms_s[file_size] = {    thms_0,    thms_1  };  size_t i;  struct verifier vrf;  verifierInit(&vrf);  struct reader r[file_size];  struct symstring thms[file_size];  for (i = 0; i < file_size; i++) {    readerInitString(&r[i], file[i]);    symstringInit(&thms[i]);    size_tArrayAppend(&thms[i], thms_s[i], thms_len[i]);  }  struct frame ctx;  frameInit(&ctx);#define test_file(f, error) /do { /  verifierBeginReadingFile(&vrf, &r[f]); /  verifierParseProof(&vrf, &ctx); /  verifierCheckProof(&vrf, &thms[f]); /  check_err(vrf.err, error); /  readerClean(&r[f]); /} while (0)  test_file(0, error_incorrectProof);  verifierAddConstant(&vrf, "type");  verifierAddVariable(&vrf, "var");  struct symstring stmt;  symstringInit(&stmt);  symstringAdd(&stmt, 0);  symstringAdd(&stmt, 1);  verifierAddFloating(&vrf, "p", &stmt);  test_file(1, error_none);  for (i = 0; i < file_size; i++) {    symstringClean(&thms[i]);  }  frameClean(&ctx);  verifierClean(&vrf);  return 0;#undef test_file}

intmain(void){    struct xkb_context *ctx = test_get_context(0);    assert(test_file(ctx, "keymaps/basic.xkb"));    assert(test_file(ctx, "keymaps/comprehensive-plus-geom.xkb"));    assert(test_file(ctx, "keymaps/no-types.xkb"));    assert(test_file(ctx, "keymaps/quartz.xkb"));    assert(!test_file(ctx, "keymaps/divide-by-zero.xkb"));    assert(!test_file(ctx, "keymaps/bad.xkb"));    assert(!test_file(ctx, "keymaps/syntax-error.xkb"));    assert(!test_file(ctx, "keymaps/syntax-error2.xkb"));    assert(!test_file(ctx, "does not exist"));    /* Test response to invalid flags and formats. */    fclose(stdin);    assert(!xkb_keymap_new_from_file(ctx, NULL, XKB_KEYMAP_FORMAT_TEXT_V1, 0));    assert(!xkb_keymap_new_from_file(ctx, stdin, 0, 0));    assert(!xkb_keymap_new_from_file(ctx, stdin, XKB_KEYMAP_USE_ORIGINAL_FORMAT, 0));    assert(!xkb_keymap_new_from_file(ctx, stdin, 1234, 0));    assert(!xkb_keymap_new_from_file(ctx, stdin, XKB_KEYMAP_FORMAT_TEXT_V1, -1));    assert(!xkb_keymap_new_from_file(ctx, stdin, XKB_KEYMAP_FORMAT_TEXT_V1, 1234));    xkb_context_unref(ctx);    return 0;}

QUEX_NAMESPACE_MAIN_OPENstatic voidtest(bool BinaryF, size_t BPC){    switch( BPC ) {    case 4:  test_file(BinaryF, "examples/languages");      /* only with UCS4         */    case 2:  test_file(BinaryF, "examples/small");          /* only with UCS4, UCS2   */    case 1:  test_file(BinaryF, "examples/festgemauert");   /* with UCS4, UCS2, ASCII */             break;    default: hwut_verify(false);    }}

static intTest_verifierParseProofSymbol(void){  enum {    file_size = 4  };  const char* file[file_size] = {    "$. ",    "undefined ",    "defined_float ",    "defined_assert ",  };  size_t i;  int isEndOfProof;  struct verifier vrf;  verifierInit(&vrf);  struct reader r[file_size];  for (i = 0; i < file_size; i++) {    readerInitString(&r[i], file[i]);  }  struct frame ctx;  frameInit(&ctx);#define test_file(f, error) /do { /  verifierBeginReadingFile(&vrf, &r[f]); /  verifierParseProofSymbol(&vrf, &ctx, &isEndOfProof); /  check_err(vrf.err, error); /  readerClean(&r[f]); /} while (0)  test_file(0, error_none);  test_file(1, error_undefinedSymbol);  size_t c = verifierAddConstant(&vrf, "c");  size_t v = verifierAddVariable(&vrf, "v");  struct symstring stmt1;  symstringInit(&stmt1);  symstringAdd(&stmt1, c);  symstringAdd(&stmt1, v);  verifierAddFloating(&vrf, "defined_float", &stmt1);  test_file(2, error_none);  struct symstring stmt2;  symstringInit(&stmt2);  verifierAddAssertion(&vrf, "defined_assert", &stmt2);  test_file(3, error_none);  ut_assert(vrf.stack.size == 2, "stack size == %lu, should be 2",    vrf.stack.size);  frameClean(&ctx);  verifierClean(&vrf);  return 0;#undef test_file}

int main(int argc, char *argv[]){	int opt, flag;	flag = 0;	e_flag = 0;	while ((opt = getopt(argc, argv, "ef:d:")) > 0) {		switch (opt) {			case 'f':				test_file(optarg);				flag = 1;				break;			case 'd':				test_folder(optarg);				flag = 1;				break;			case 'e':				e_flag = 1;				break;			default:				printf("Usage: %s [-e] [-f <file_name.cs>] [-d <directory>]/n", argv[0]);				exit(-1);		}	}	if (flag == 0) {		printf("Usage: %s [-e] [-f <file_name.cs>] [-d <directory>]/n", argv[0]);		exit(-1);	}	return 0;}

int main(){	// ofstream ファイルへの
C++ test_filter函数代码示例
C++ test_fail函数代码示例