public void write(Element element, jetbrains.mps.project.Project project)
throws CantSaveSomethingException {
// this is to partially fix MPS-14671
if (myUsagesView.getTreeComponent().getAllResultNodes().size() > 500)
throw new CantSaveSomethingException("usages view size too big to save");
Element usageViewXML = new Element(USAGE_VIEW);
myUsagesView.write(usageViewXML, project);
element.addContent(usageViewXML);
Element usageViewOptionsXML = new Element(USAGE_VIEW_OPTIONS);
myOptions.write(usageViewOptionsXML, project);
element.addContent(usageViewOptionsXML);
}
public void read(Element element, jetbrains.mps.project.Project project)
throws CantLoadSomethingException {
Element usageViewXML = element.getChild(USAGE_VIEW);
createUsageView();
myUsagesView.read(usageViewXML, project);
Element usageViewOptionsXML = element.getChild(USAGE_VIEW_OPTIONS);
myOptions = new FindUsagesOptions(usageViewOptionsXML, project);
}
