view dwtx/draw2d/graph/VirtualNodeCreation.d @ 98:95307ad235d9

Added Draw2d code, still work in progress
author Frank Benoit <benoit@tionex.de>
date Sun, 03 Aug 2008 00:52:14 +0200
parents
children
line wrap: on
line source

/*******************************************************************************
 * Copyright (c) 2004, 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 dwtx.draw2d.graph.VirtualNodeCreation;

import dwt.dwthelper.utils;
import tango.text.convert.Format;

import dwtx.draw2d.geometry.Insets;
import dwtx.draw2d.graph.Edge;
import dwtx.draw2d.graph.DirectedGraph;
import dwtx.draw2d.graph.RevertableChange;
import dwtx.draw2d.graph.Node;
import dwtx.draw2d.graph.Subgraph;
import dwtx.draw2d.graph.VirtualNode;
import dwtx.draw2d.graph.GraphUtilities;
import dwtx.draw2d.graph.NodeList;

/**
 * Encapsulates the conversion of a long edge to multiple short edges and back.
 * @since 3.1
 */
class VirtualNodeCreation : RevertableChange {

private const Edge edge;
private const DirectedGraph graph;
private Node nodes[];
private Edge[] edges;

private static const int INNER_EDGE_X = 2;
private static const int LONG_EDGE_X = 8;

/**
 * Breaks a single edge into multiple edges containing virtual nodes.
 * @since 3.1
 * @param edge The edge to convert
 * @param graph the graph containing the edge
 */
public this(Edge edge, DirectedGraph graph) {
    this.edge = edge;
    this.graph = graph;

    int size = edge.target.rank - edge.source.rank - 1;
    int offset = edge.source.rank + 1;

    Node prevNode = edge.source;
    Node currentNode;
    Edge currentEdge;
    nodes = new Node[size];
    edges = new Edge[size + 1];

    Insets padding = new Insets(0, edge.padding, 0, edge.padding);

    Subgraph s = GraphUtilities.getCommonAncestor(edge.source, edge.target);

    for (int i = 0; i < size; i++) {
        nodes[i] = currentNode = new VirtualNode(stringcast(Format("Virtual{}:{}", i, edge)), s); //$NON-NLS-1$
        currentNode.width = edge.width;
        if (s !is null) {
            currentNode.nestingIndex = s.nestingIndex;
        }

        currentNode.height = 0;
        currentNode.setPadding(padding);
        currentNode.rank = offset + i;
        graph.ranks.getRank(offset + i).add(currentNode);

        currentEdge = new Edge(prevNode, currentNode, 1, edge.weight * LONG_EDGE_X);
        if (i is 0) {
            currentEdge.weight = edge.weight * INNER_EDGE_X;
            currentEdge.offsetSource = edge.offsetSource;
        }
        graph.edges.add(edges[i] = currentEdge);
        graph.nodes.add(currentNode);
        prevNode = currentNode;
    }

    currentEdge = new Edge(prevNode, edge.target, 1, edge.weight * INNER_EDGE_X);
    currentEdge.offsetTarget = edge.offsetTarget;
    graph.edges.add(edges[edges.length - 1] = currentEdge);
    graph.removeEdge(edge);
}

void revert() {
    edge.start = edges[0].start;
    edge.end = edges[edges.length - 1].end;
    edge.vNodes = new NodeList();
    for (int i = 0; i < edges.length; i++) {
        graph.removeEdge(edges[i]);
    }
    for (int i = 0; i < nodes.length; i++) {
        edge.vNodes.add(nodes[i]);
        graph.removeNode(nodes[i]);
    }
    edge.source.outgoing.add(edge);
    edge.target.incoming.add(edge);

    graph.edges.add(edge);
}

}