*** empty log message ***

[splint.git] / test / db1 / empset.c

# include "empset.h"

static bool initDone = FALSE;

eref _empset_get (employee e, erc s) 
{
  eref er;
  ercIter it;
  employee e1;

  for_ercElems (er, it, s) 
    {
      e1 = eref_get (er);
      if (employee_equal (&e1, &e))
	erc_iterReturn (it, er);
    }
  
  return erefNIL;
}

void empset_clear (empset s) 
{
  erc_clear (s);
}

bool empset_insert (empset s, employee e) 
{
  eref er; 
  
  if (!eref_equal (_empset_get (e, s), erefNIL)) 
    {
      return FALSE;
    }
  
  empset_insertUnique (s, e);
  return TRUE;
}

void empset_insertUnique (empset s, employee e) 
{
  eref er;

  er = ereftab_lookup (e, known);

  if (eref_equal (er, erefNIL)) 
    {
      er = eref_alloc ( );
      eref_assign (er,e);
      ereftab_insert (known, e, er);
    }
  
  erc_insert (s, er);
}

bool empset_delete (empset s, employee e) 
{
  eref er;

  er = _empset_get (e, s);

  if (eref_equal (er, erefNIL)) 
    {
      return FALSE;
    }
  return erc_delete (s, er);
}

empset empset_disjointUnion (empset s1, empset s2) 
{
  erc result;
  ercIter it;
  eref er;
  empset tmp;
  
  result = erc_create ( );

  if (erc_size (s1) > erc_size (s2)) 
    {
      tmp = s1;
      s1 = s2;
      s2 = tmp;
    }
  
  erc_join (result, s1);
  for_ercElems (er, it, s2)
    empset_insertUnique (result, eref_get (er));

  return result;
}

empset empset_union (empset s1, empset s2) 
{
  eref er;
  ercIter it;
  erc result;
  empset tmp;

  result = erc_create ();

  if (erc_size (s1) > erc_size (s2)) 
    {
      tmp = s1;
      s1 = s2;
      s2 = tmp;
    }
  erc_join (result, s2);

  for_ercElems (er, it, s1) 
    if (!empset_member (eref_get (er), s2))
      erc_insert (result, er);

  return result;
}

void empset_intersect (empset s1, empset s2) 
{
  eref er;
  ercIter it;
  erc toDelete;

  toDelete = erc_create ();

  for_ercElems (er, it, s1)
    if (!empset_member (eref_get (er), s2))
      erc_insert (toDelete, er);
  
  for_ercElems (er, it, toDelete)
    erc_delete (s1, er);

  erc_final (toDelete);
}

bool empset_subset (empset s1, empset s2) 
{
  employee e; 
  eref er;
  ercIter it;
  
  for_ercElems (er, it, s1) 
    if (!empset_member (eref_get (er), s2))
      erc_iterReturn (it, FALSE);
  
  return TRUE;
}

void empset_initMod (void) 
{
  if (initDone) return;

  bool_initMod ();
  employee_initMod ();
  eref_initMod ();
  erc_initMod ();
  ereftab_initMod ();
  known = ereftab_create ();
  initDone = TRUE;
}