/** * DOCUMENT ME! * * @return DOCUMENT ME! */ public final Edge[] getRestoredEdges() { final Edge[] returnThis = new Edge[m_restoredEdgeInx.length]; for (int i = 0; i < returnThis.length; i++) returnThis[i] = m_persp.getRootGraph().getEdge(m_restoredEdgeInx[i]); return returnThis; }
if ((persp.getRootGraph() != root) || (persp2.getRootGraph() != root)) throw new IllegalStateException("incorrect RootGraph"); || !persp.getRootGraph().containsNode(nodeNotInPersp)) throw new IllegalStateException("GraphPerspective contains node"); || !(persp.getRootGraph().containsEdge(edge1NotInPersp) && persp.getRootGraph().containsEdge(edge2NotInPersp))) throw new IllegalStateException("GraphPerspective contains edge");
/** * DOCUMENT ME! * * @return DOCUMENT ME! */ public final Node[] getRestoredNodes() { final Node[] returnThis = new Node[m_restoredNodeInx.length]; for (int i = 0; i < returnThis.length; i++) returnThis[i] = m_persp.getRootGraph().getNode(m_restoredNodeInx[i]); return returnThis; }
public boolean setGraphPerspective(GraphPerspective gp) { if (gp.getRootGraph() != m_rootGraph) return false; final int[] nodeInx = gp.getNodeIndicesArray(); final int[] edgeInx = gp.getEdgeIndicesArray(); for (int i = 0; i < nodeInx.length; i++) m_rootGraph.addNodeMetaChild(m_rootGraphIndex, nodeInx[i]); for (int i = 0; i < edgeInx.length; i++) m_rootGraph.addEdgeMetaChild(m_rootGraphIndex, edgeInx[i]); return true; }
/** * DOCUMENT ME! * * @param gp DOCUMENT ME! * * @return DOCUMENT ME! */ public boolean setGraphPerspective(GraphPerspective gp) { if (gp.getRootGraph() != m_rootGraph) return false; final int[] nodeInx = gp.getNodeIndicesArray(); final int[] edgeInx = gp.getEdgeIndicesArray(); for (int i = 0; i < nodeInx.length; i++) m_rootGraph.addNodeMetaChild(m_rootGraphIndex, nodeInx[i]); for (int i = 0; i < edgeInx.length; i++) m_rootGraph.addEdgeMetaChild(m_rootGraphIndex, edgeInx[i]); return true; }
/** * DOCUMENT ME! * * @param gp DOCUMENT ME! * * @return DOCUMENT ME! */ public boolean setGraphPerspective(GraphPerspective gp) { if (gp.getRootGraph() != m_rootGraph) return false; final int[] nodeInx = gp.getNodeIndicesArray(); final int[] edgeInx = gp.getEdgeIndicesArray(); for (int i = 0; i < nodeInx.length; i++) m_rootGraph.addNodeMetaChild(m_rootGraphIndex, nodeInx[i]); for (int i = 0; i < edgeInx.length; i++) m_rootGraph.addEdgeMetaChild(m_rootGraphIndex, edgeInx[i]); return true; }
root = (RootGraph) eventSource; else root = ((GraphPerspective) eventSource).getRootGraph();
final RootGraph rootGraph = source.getGraphPerspective().getRootGraph();