diff org.eclipse.draw2d/src/org/eclipse/draw2d/graph/SpanningTreeVisitor.d @ 12:bc29606a740c

Added dwt-addons in original directory structure of eclipse.org
author Frank Benoit <benoit@tionex.de>
date Sat, 14 Mar 2009 18:23:29 +0100
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/org.eclipse.draw2d/src/org/eclipse/draw2d/graph/SpanningTreeVisitor.d	Sat Mar 14 18:23:29 2009 +0100
@@ -0,0 +1,60 @@
+/*******************************************************************************
+ * Copyright (c) 2003, 2005 IBM Corporation and others.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ *     IBM Corporation - initial API and implementation
+ * Port to the D programming language:
+ *     Frank Benoit <benoit@tionex.de>
+ *******************************************************************************/
+module org.eclipse.draw2d.graph.SpanningTreeVisitor;
+
+import java.lang.all;
+import org.eclipse.draw2d.graph.GraphVisitor;
+import org.eclipse.draw2d.graph.Edge;
+import org.eclipse.draw2d.graph.Node;
+import org.eclipse.draw2d.graph.EdgeList;
+
+/**
+ * A base class for visitors which operate on the graphs spanning tree used to induce rank
+ * assignments.
+ * @author Randy Hudson
+ * @since 2.1.2
+ */
+abstract class SpanningTreeVisitor : GraphVisitor {
+
+Edge getParentEdge(Node node) {
+    return cast(Edge)node.workingData[1];
+}
+
+EdgeList getSpanningTreeChildren(Node node) {
+    return cast(EdgeList)node.workingData[0];
+}
+
+protected Node getTreeHead(Edge edge) {
+    if (getParentEdge(edge.source) is edge)
+        return edge.target;
+    return edge.source;
+}
+
+Node getTreeParent(Node node) {
+    Edge e = getParentEdge(node);
+    if (e is null)
+        return null;
+    return e.opposite(node);
+}
+
+protected Node getTreeTail(Edge edge) {
+    if (getParentEdge(edge.source) is edge)
+        return edge.source;
+    return edge.target;
+}
+
+void setParentEdge(Node node, Edge edge) {
+    node.workingData[1] = edge;
+}
+
+}