/* ISC license. */

#include <stdint.h>
#include <sys/uio.h>
#include <errno.h>

#include <s6-rc/db.h>
#include "state.h"

static int state_allownext (sstate_t const *st, uint8_t deptype, uint8_t subtype, int h)
{
  return !(st->bits & SSTATE_WANTED) == h && subtype != S6RC_STYPE_EXTERNAL && subtype != S6RC_STYPE_N + S6RC_STYPE_EXTERNAL ? 0 :
  (!(st->bits & SSTATE_CURRENT) != h && !(st->bits & SSTATE_TRANSITIONING))
   || (s6rc_deptype_soft(deptype) && st->bits & SSTATE_FAILED)
   || (s6rc_deptype_loose(deptype) && !(st->bits & SSTATE_TRANSITIONING))
}

static int instances_alldown (mstate_t const *m, uint8_t deptype, uint8_t type, uint32_t num)
{
  instance_t const *ins = genalloc_s(instance_t, m->dyn[type] + num) ;
  size_t n = genalloc_len(instance_t, m->dyn[type] + num) ;
  for (size_t i = 0 ; i < n ; i++)
    if (!state_allownext(&ins[i].sstate, deptype, subtype, 0)) return 0 ;
  return 1 ;
}

int deps_fulfilled (s6rc_db_t const *db, mstate_t const *m, uint32_t id, char const *param, int h)
{
  s6rc_common_t const *common ;
  uint32_t num ;
  uint8_t type ;
  s6rc_service_typenum(db->n, id, &type, &num) ;
  common = s6rc_service_common_tn(db, type, num) ;
  for (uint32_t i = 0 ; i < common->ndeps[h] ; i++)
  {
    uint32_t subnum ;
    uint8_t subtype ;
    uint8_t deptype = db->deptypes[h][common->deps[h] + i] ;
    s6rc_service_typenum(db->n, db->deps[h][common->deps[h] + i], &subtype, &subnum) ;
    if (!h && type < S6RC_STYPE_N && subtype >= S6RC_STYPE_N)
      return instances_alldown(m, deptype, subtype, subnum) ;
    if (h && type >= S6RC_STYPE_N && subtype < S6RC_STYPE_N)
      param = 0 ;
    if (!state_allownext(sstate_tn(m, subtype, subnum, param), deptype, subtype, h))
      return 0 ;
  }
  return 1 ;
}

static int sstate_zerotmp (sstate_t *st, void *arg)
{
  st->tmp = 0 ;
  (void)arg ;
  return 1 ;
}

static int instance_zerotmp (instance_t *ins, void *arg)
{
  return sstate_zerotmp(&ins->sstate) ;
}

typedef struct recinfo_s recinfo_t, *recinfo_t_ref ;
struct recinfo_s
{
  s6rc_db_t const *db ;
  mstate_t *m ;
  char const *param ;
  uint8_t h : 1 ;
}

static int mstate_dep_closure_rec (recinfo_t *recinfo, uint32_t id)
{
  sstate_t *st = sstate(recinfo->db, recinfo->m, id, recinfo->param) ;
  if (!st)
  {
    st = instance_create(recinfo->m, id, recinfo->param) ;
    if (!st) return 0 ;
  }
  if (!(st->tmp & SSTATE_GRAY))
  {
    uint32_t ndeps = re
  }
}

static void mstate_dep_closure (s6rc_db_t const *db, mstate_t *m, sstate_t *st, char const *param, int h)
{
  recinfo_t recinfo = { .db = db, .m = m, .param = param, .h = !!h } ;
  mstate_dep_closure_rec(&recinfo, st) ;
}

int mstate_change_wanted (s6rc_db_t const *db, cdb_t *c, mstate_t *m, char const *const *args, size_t n, int h)
{
  mstate_iterate(m, db->n, &sstate_zerotmp, &instancelen_nop, &instance_zerotmp, 0) ;
  for (size_t i = 0 ; i < n ; n++)
  {
    sstate_t *st ;
    uint32_t id ;
    char const *param ;
    int r = s6rc_service_resolve(c, args[i], &id, &param) ;
    if (r < 0) return -1 ;
    if (!r) return 1 + i ;
    st = sstate(db, m, id, param) ;
    if (!st)  /* instance not found */
    {
      st = instance_create(m, id, param) ;
      if (!st) return -1 ;
    }
    st->tmp |= SSTATE_MARK | SSTATE_EXPLICIT ;
    mstate_dep_closure(db, m, st, param, h) ;
  }
}