Method push_back

include/tscore/History.h:42–49

{
public:
  void
  push_back(const SourceLocation &location, int event, int reentrant = NO_REENTRANT)
  {
    int pos                 = history_pos++ % Count;
    history[pos].location   = location;
    history[pos].event      = static_cast<unsigned short>(event);
    history[pos].reentrancy = static_cast<short>(reentrant);
  }

  void
  clear()