@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);
}