#include "spike.h"

static SpikeMUX * SpikeMUX::singleton(id_type num) {
  staticSpikeMUX.dst = num;
  return &staticSpikeMUX;  
}

// special case for reading a spike from a file
template<>
bool SpikeMUX::reflect<ActionRead>(ActionRead &a) {
  bool res = reflect(dst, "dst")
    && reflect(time, "time")
    && reflect(current, "current")
    && (time > s.currentTime);

  if (res)
    s.addEvent(new ExternalSpike(time, dst, current));

  return res;
}

// general reflection case
template<class Action>
bool SpikeMUX::reflect<Action>(Action &a) {
  return reflect(dst, "dst")
    && reflect(time, "time")
    && reflect(current, "current");
}