C++ (Cpp) hrc_dumper_init Beispiele

Beispiel #1

Datei: HrcDumper.c Projekt: hklarner/NuSMV-a

HrcDumper_ptr HrcDumper_create(const NuSMVEnv_ptr env,
                               FILE* fout)
{
  HrcDumper_ptr self = ALLOC(HrcDumper, 1);
  HRC_DUMPER_CHECK_INSTANCE(self);

  hrc_dumper_init(self, env, fout);
  return self;
}

Beispiel #2

Datei: HrcDumperDebug.c Projekt: ancailliau/pynusmv

/**Function********************************************************************

  Synopsis           [The HrcDumperDebug class private initializer]

  Description        [The HrcDumperDebug class private initializer]

  SideEffects        []

  SeeAlso            [HrcDumperDebug_create]   
  
******************************************************************************/
void hrc_dumper_debug_init(HrcDumperDebug_ptr self, FILE* fout)
{
  /* base class initialization */
  hrc_dumper_init(HRC_DUMPER(self), fout);
  
  /* members initialization */

  /* virtual methods settings */  
  OVERRIDE(Object, finalize) = hrc_dumper_debug_finalize;
  OVERRIDE(HrcDumper, dump_snippet) = hrc_dumper_debug_dump_snippet;
}