public List<SNode> getSelectedSNodes() {
List<SNode> result = new ArrayList<SNode>();
for (MPSTreeNodeEx node : getSelectedTreeNodes(MPSTreeNodeEx.class)) {
SNode snode = node.getSNode();
if (snode == null) continue;
result.add(snode);
}
return result;
}
public SNode getSelectedSNode() {
MPSTreeNodeEx selectedTreeNode = getSelectedTreeNode(MPSTreeNodeEx.class);
if (selectedTreeNode == null) return null;
return selectedTreeNode.getSNode();
}