suvi.alg.contracts
Class EdgeRoutingPolicyContract

java.lang.Object
  |
  +--javautils.collections.Algs
        |
        +--javautils.graph.Graphs
              |
              +--suvi.alg.contracts.Asserts
                    |
                    +--suvi.alg.contracts.EdgeRoutingPolicyContract
All Implemented Interfaces:
EdgeLabelConstants, EdgeRoutingPolicy, GraphLayoutAttrConsumer

public class EdgeRoutingPolicyContract
extends Asserts
implements EdgeRoutingPolicy

Design-by-Contract decorator for the EdgeRoutingPolicy-interface.


Field Summary
 
Fields inherited from class javautils.collections.Algs
EMPTY_ARRAY, EMPTY_LIST, EMPTY_MAP, EMPTY_SEQUENCE, EMPTY_SET
 
Fields inherited from interface suvi.api.alg.attr.EdgeLabelConstants
EL_CENTER_LABEL, EL_HEAD_LABEL, EL_MAX_LABEL, EL_MIN_LABEL, EL_TAIL_LABEL
 
Constructor Summary
EdgeRoutingPolicyContract(EdgeRoutingPolicy original)
           
 
Method Summary
 GraphLayoutAttr[] defaultAttrs()
          Default implementations of all the required attributes.
 EdgeRouting edgeRouting(javautils.graph.adt.AugmentedGraph original, javautils.graph.adt.AugmentedGraph preprocessed, GraphTopology topology, GraphLayoutAttrMap attrMap, AugmentedNodeRanking ranking, AugmentedNodeOrdering ordering, AugmentedNodePositioning positioning)
          Edge routing for the graph.
protected  void edgeRoutingPost(javautils.graph.adt.AugmentedGraph original, javautils.graph.adt.AugmentedGraph preprocessed, GraphTopology topology, GraphLayoutAttrMap attrMap, AugmentedNodeRanking ranking, AugmentedNodeOrdering ordering, AugmentedNodePositioning positioning, EdgeRouting routing)
           
protected  void edgeRoutingPre(javautils.graph.adt.AugmentedGraph original, javautils.graph.adt.AugmentedGraph preprocessed, GraphTopology topology, GraphLayoutAttrMap attrMap, AugmentedNodeRanking ranking, AugmentedNodeOrdering ordering, AugmentedNodePositioning positioning)
           
 
Methods inherited from class suvi.alg.contracts.Asserts
verifyContainsAllDefaults, verifyForAllNotNull, verifyForAllNotNull, verifyMatches, verifyTrue, verifyTrue, verifyValidAttrMap, verifyValidDefaults, verifyValidGap, verifyValidLayout, verifyValidRanking, verifyValidSpline, verifyValidTopology
 
Methods inherited from class javautils.graph.Graphs
asSourceTargetPair, asString, asString, augmented, connectedComponents, edges, edgeSet, forEachEdge, forEachNode, inducedByEdgesAndContainingNodes, invariant, isAcyclic, isIncoming, isSelf, nodesByDecreasingDfsFinishingTime, nodesByIncreasingIndegree, nodesByIncreasingOutdegree, nodeSet, nodesReachableFrom, nodesReachableFrom, nodesReachableFrom, otherNode, randomGraph, restrictedToNodes, restrictedToNodes, restrictedToNodes, sameNodesAndEdges, stronglyConnectedComponents, transitiveIrreflexiveClosure, transposed, transposed, undirected
 
Methods inherited from class javautils.collections.Algs
addAll, allSuperInterfaces, asArray, asArray, asComparator, asUnmodifiableList, collect, collectMap, collectSet, collectUnmodifiable, concat, concat, concat, copyOf, copyOf, copyOf, copyOf, copyOf, copyOf, copyOf, copyOf, copyOf, copyOfArray, ensureLength, exists, exists, exists, filter, filter, filter, find, find, find, flatten, flatten, flatten, fold, fold, fold, foldRight, foldRight, foldRight, forAll, forAll, forAll, forEach, forEach, forEach, forEach, forEach, forEach, forEachInProduct, forEachInProduct, forEachInProduct, forEachInProduct, genAddAll, genConcat, genConcat, genForEach, genForEach, getOrIfNull, integersInRange, iterator, iterator, iterator, iterator, iterator, iterator, iterator, iterator, iterator, iterator, iterator, iterator, iterator, iterator, iterator, iterator, iterator, iterator, iterator, iterator, iterator, iterator, iterator, iterator, iterator, iterator, iterator, iterator, iteratorOverArray, map, map, map, map, map, map, mapMorphism, mapMorphismTo, mapTransform, max, max, max, max, max, max, max, min, min, min, min, min, min, min, newMap, newShapedArray, newUnmodifiableList, putAll, putAll, reverseIterator, reverseIterator, select, select, select, sign, singletonIterator, sort, sort, sorted, sorted, transform, transform, transform
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

EdgeRoutingPolicyContract

public EdgeRoutingPolicyContract(EdgeRoutingPolicy original)
Method Detail

defaultAttrs

public GraphLayoutAttr[] defaultAttrs()
Description copied from interface: GraphLayoutAttrConsumer

Default implementations of all the required attributes. The returned array must not contain duplicates nor null references.

Specified by:
defaultAttrs in interface GraphLayoutAttrConsumer

edgeRouting

public EdgeRouting edgeRouting(javautils.graph.adt.AugmentedGraph original,
                               javautils.graph.adt.AugmentedGraph preprocessed,
                               GraphTopology topology,
                               GraphLayoutAttrMap attrMap,
                               AugmentedNodeRanking ranking,
                               AugmentedNodeOrdering ordering,
                               AugmentedNodePositioning positioning)
Description copied from interface: EdgeRoutingPolicy

Edge routing for the graph.

Specified by:
edgeRouting in interface EdgeRoutingPolicy

edgeRoutingPre

protected void edgeRoutingPre(javautils.graph.adt.AugmentedGraph original,
                              javautils.graph.adt.AugmentedGraph preprocessed,
                              GraphTopology topology,
                              GraphLayoutAttrMap attrMap,
                              AugmentedNodeRanking ranking,
                              AugmentedNodeOrdering ordering,
                              AugmentedNodePositioning positioning)

edgeRoutingPost

protected void edgeRoutingPost(javautils.graph.adt.AugmentedGraph original,
                               javautils.graph.adt.AugmentedGraph preprocessed,
                               GraphTopology topology,
                               GraphLayoutAttrMap attrMap,
                               AugmentedNodeRanking ranking,
                               AugmentedNodeOrdering ordering,
                               AugmentedNodePositioning positioning,
                               EdgeRouting routing)