Ejemplos de verifyMPS en C++ (Cpp)

Ejemplo n.º 1

Archivo: eventrep.c Proyecto: S0043640wipro/RiCRiPInt

static void ensurePSFormats(mps_fmt_t *fixedOut, mps_fmt_t *typedOut,
                            mps_arena_t arena)
{
  mps_res_t eres;

  if (psFixedFormat == NULL) {
    eres = mps_fmt_create_fixed(&psFixedFormat, arena, ps_fmt_fixed());
    verifyMPS(eres);
    eres = mps_fmt_create_A(&psTypedFormat, arena, ps_fmt_typed());
    verifyMPS(eres);
  }
  *fixedOut = psFixedFormat;
  *typedOut = psTypedFormat;
}

Ejemplo n.º 2

Archivo: eventrep.c Proyecto: datafueled/memory-pool-system

static void ensurePSFormat(mps_fmt_t *fmtOut, mps_arena_t arena)
{
  mps_res_t eres;

  if (psFormat == NULL) {
    eres = mps_fmt_create_A(&psFormat, arena, ps_fmt_A());
    verifyMPS(eres);
  }
  *fmtOut = psFormat;
}