@Override public void visitName(EventName name) { String id = name.getId(); if (invalidate(id)) { m_invalidatePaths.add(id); } else { m_paths.add(id); } }
@Override public void visitName(EventName name) { m_currentName = name.getId(); EventName temp = m_report .findOrCreateMachine(Constants.ALL) .findOrCreateType(m_currentType) .findOrCreateName(m_currentName); m_merger.mergeName(temp, name); super.visitName(name); }