pbc_assert.c

这是一个C的源代码

#include <stdio.h>
#include <stdlib.h>
#include <gmp.h>

#include "pbc_field.h"

static void print_warning(void)
{
    static int first = 1;
    if (first) {
	fprintf(stderr, "*** PBC asserts enabled: potential performance penalties ***\n");
	first = 0;
    }
}

void pbc_assert(int expr, char *msg, const char *func)
{
    print_warning();
    if (!expr) {
	fprintf(stderr, "PBC assert failed: %s(): %s\n", func, msg);
	abort();
    }
}

void pbc_assert_match2(element_ptr a, element_ptr b, const char *func)
{
    print_warning();
    if (a->field != b->field) {
	fprintf(stderr, "PBC assert failed: %s(): field mismatch\n", func);
	abort();
    }
}

void pbc_assert_match3(element_ptr a, element_ptr b, element_ptr c, const char *func)
{
    print_warning();
    if (a->field != b->field) {
	fprintf(stderr, "PBC assert failed: %s(): first two args field mismatch\n", func);
	abort();
    }
    if (b->field != c->field) {
	fprintf(stderr, "PBC assert failed: %s(): last two args field mismatch\n", func);
	abort();
    }
}