@Override
  public void setIgnored(@NotNull InvalidFacet facet, boolean ignored) {
    final String id = FacetPointersManager.constructId(facet);
    if (ignored) {
      myState.getIgnoredFacets().add(id);
    }
    else {
      myState.getIgnoredFacets().remove(id);
    }
  }
@Override
  public void setIgnored(@NotNull InvalidFacet facet, boolean ignored)