@Nullable
@Override
public Element getState() {
final Element actions = new Element("actions");
final Element abbreviations = new Element("abbreviations");
actions.addContent(abbreviations);
for (String key : myActionId2Abbreviations.keySet()) {
final LinkedHashSet<String> abbrs = myActionId2Abbreviations.get(key);
final LinkedHashSet<String> pluginAbbrs = myPluginsActionId2Abbreviations.get(key);
if (abbrs == pluginAbbrs || (abbrs != null && abbrs.equals(pluginAbbrs))) {
continue;
}
if (abbrs != null) {
final Element action = new Element("action");
action.setAttribute("id", key);
abbreviations.addContent(action);
for (String abbr : abbrs) {
final Element abbreviation = new Element("abbreviation");
abbreviation.setAttribute("name", abbr);
action.addContent(abbreviation);
}
}
}
return actions;
}
private boolean equalsByUnknownVariables(DfaMemoryStateImpl that) {
return myUnknownVariables.equals(that.myUnknownVariables);
}
