dsi_storage.c

Go to the documentation of this file.

/* $Id: dsi_storage.c,v 1.4 2007/07/24 19:24:32 yarkhan Exp $ */
/* $UTK_Copyright: $ */

#ifdef HAVE_CONFIG_H
#include "config.h"
#endif /* HAVE_CONFIG_H */

#include "dsi.h"
#include "problem.h"

/* global for keeping track of DSI objects */

icl_list_t *dsi_objects = NULL;

int 
gs_comp_dsi_object(void *key, void *d)
{
  return (key != d);
}

void 
gs_free_dsi_object(void *d)
{
  free(d);
}

int 
gs_insert_dsi_object(DSI_OBJECT *dsi_obj)
{
  if(!dsi_objects) {
    dsi_objects = icl_list_new();
    if(!dsi_objects)
      return -1;
  }

  if(icl_list_append(dsi_objects, dsi_obj) == NULL)
    return -1;

  return 0;
}

int 
gs_remove_dsi_object(DSI_OBJECT *dsi_obj)
{
  icl_list_t *tmp;

  if(!dsi_objects)
    return 0;

  tmp = icl_list_search(dsi_objects, dsi_obj, gs_comp_dsi_object);

  if(!tmp)
    return -1;

  if(icl_list_delete(dsi_objects, tmp, gs_free_dsi_object) < 0)
    return -1;

  return 0;
}

int 
gs_is_dsi_object(void *obj)
{
  icl_list_t *tmp;

  if(!dsi_objects)
    return 0;

  tmp = icl_list_search(dsi_objects, obj, gs_comp_dsi_object);

  return (tmp != NULL);
}