m_pending.clear();
    public void commit() {        flushAll();        m_odata.clear();        m_events.clear();        m_pending.clear();        m_visiting.clear();        m_violations.clear();        m_engine.commit();    }