Eine aufbereitete Darstellung der Quelle

 
     
 
 
Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 

Benutzer

SSL ferret.cc

  Sprache: C
 

/****************************************************************************

****************************************************************************/


#include <stdio.h>
#include "gap_all.h"
#include "c_to_cpp.h"
#include "generated_headers/function_objs.h"

#define FUNOBJ(x,y) GAPFunction FunObj_##x;
#include "generated_headers/function_objs.h"

extern "C" {

static Obj FuncYAPB_SOLVE(Obj self, Obj conlist, Obj options) {
  (void)self; // remove warning

  if(!IS_REC(options))
  {
    fprintf(stderr, "Not a record!");
  }
  return solver(conlist, options);
}

static Obj FuncYAPB_SOLVE_COSET(Obj self, Obj conlistC, Obj conlistL, Obj conlistR, Obj options) {
  (void)self; // remove warning

  if(!IS_REC(options))
  {
    fprintf(stderr, "Not a record!");
  }
  return cosetSolver(conlistC, conlistL, conlistR, options);
}

static StructGVarFunc GVarFuncs [] = {
  GVAR_FUNC(YAPB_SOLVE, 2"object, object"),
  GVAR_FUNC(YAPB_SOLVE_COSET, 4"object, object, object, object"),
  { 0 }
};


/**************************************************************************
*F  InitKernel( <module> )  . . . . . . . . initialise kernel data structures
*/

static Int InitKernel (
    StructInitInfo *    module )
{
    (void)module; // remove warning

    /* init filters and functions                                          */
    InitHdlrFuncsFromTable( GVarFuncs );

    /* return success                                                      */
    return 0;
}


/****************************************************************************
**
*F  InitLibrary( <module> ) . . . . . . .  initialise library data structures
*/


#include "generated_headers/RNamNames_list.h"

#define RNAM(x) UInt RName_ ## x;
#include "generated_headers/RNamNames_list.h"


static Int InitLibrary (
    StructInitInfo *    module )
{
    (void)module; // remove warning

    InitGVarFuncsFromTable( GVarFuncs );

#define FUNOBJ(x,y) FunObj_##x .setName(y);
#include "generated_headers/function_objs.h"


#define RNAM(x) RName_ ## x = RNamName(#x);
#include "generated_headers/RNamNames_list.h"


    /* return success                                                      */
    return 0;
}

static Int PostRestore (
    StructInitInfo *    module )
{
#define FUNOBJ(x,y) FunObj_##x .setName(y);
#include "generated_headers/function_objs.h"


#define RNAM(x) RName_ ## x = RNamName(#x);
#include "generated_headers/RNamNames_list.h"

    /* return success                                                      */
    return 0;
}


/****************************************************************************
**
*F  InitInfopl()  . . . . . . . . . . . . . . . . . table of init functions
*/

/* <name> returns the description of this module */
static StructInitInfo module = {
 /* type        = */ MODULE_DYNAMIC,
 /* name        = */ "ferret",
 /* revision_c  = */ 0,
 /* revision_h  = */ 0,
 /* version     = */ 0,
 /* crc         = */ 0,
 /* initKernel  = */ InitKernel,
 /* initLibrary = */ InitLibrary,
 /* checkInit   = */ 0,
 /* preSave     = */ 0,
 /* postSave    = */ 0,
 /* postRestore = */ PostRestore
};

StructInitInfo * Init__Dynamic ( void )
{
 return &module;
}

}

Messung V0.5 in Prozent
C=82 H=100 G=91

¤ Dauer der Verarbeitung: 0.18 Sekunden  (vorverarbeitet am  2026-09-04) ¤

*© Formatika GbR, Deutschland






Versionsinformation zu Columbo

Bemerkung:

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Anfrage:

Dauer der Verarbeitung:

Sekunden

sprechenden Kalenders






                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Open Source Software

     Quellcodebibliothek
     Eigene Quellcodes
     Fremde Quellcodes
     Suchen

Jenseits des Üblichen ....

Besucherstatistik

Besucherstatistik

Statistik
#Sources=1019547
#Domains=890699