Beispiel #1
0
    @Override
    public void visitName(EventName name) {
      String id = name.getId();

      if (invalidate(id)) {
        m_invalidatePaths.add(id);
      } else {
        m_paths.add(id);
      }
    }
Beispiel #2
0
  @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);
  }