suvi.alg.contracts
Class NodeRankingPolicyContract

java.lang.Object
  |
  +--javautils.collections.Algs
        |
        +--javautils.graph.Graphs
              |
              +--suvi.alg.contracts.Asserts
                    |
                    +--suvi.alg.contracts.NodeRankingPolicyContract

All Implemented Interfaces:

EdgeLabelConstants, GraphLayoutAttrConsumer, NodeRankingPolicy

public class NodeRankingPolicyContract

extends Asserts

implements NodeRankingPolicy

Design-by-Contract decorator for the NodeRankingPolicy-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

NodeRankingPolicyContract(NodeRankingPolicy original)

Method Summary

GraphLayoutAttr[]	defaultAttrs() Default implementations of all the required attributes.
NodeRanking	nodeRanking(javautils.graph.adt.AugmentedGraph original, javautils.graph.adt.AugmentedGraph preprocessed, GraphTopology topology, GraphLayoutAttrMap attrMap) A node ranking for the graph.
protected void	nodeRankingPost(javautils.graph.adt.AugmentedGraph original, javautils.graph.adt.AugmentedGraph preprocessed, GraphTopology topology, GraphLayoutAttrMap attrMap, NodeRanking ranking)
protected void	nodeRankingPre(javautils.graph.adt.AugmentedGraph original, javautils.graph.adt.AugmentedGraph preprocessed, GraphTopology topology, GraphLayoutAttrMap attrMap)

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

NodeRankingPolicyContract

public NodeRankingPolicyContract(NodeRankingPolicy 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

nodeRanking

public NodeRanking nodeRanking(javautils.graph.adt.AugmentedGraph original,
                               javautils.graph.adt.AugmentedGraph preprocessed,
                               GraphTopology topology,
                               GraphLayoutAttrMap attrMap)

Description copied from interface: NodeRankingPolicy

A node ranking for the graph.

Specified by:

nodeRanking in interface NodeRankingPolicy

nodeRankingPre

protected void nodeRankingPre(javautils.graph.adt.AugmentedGraph original,
                              javautils.graph.adt.AugmentedGraph preprocessed,
                              GraphTopology topology,
                              GraphLayoutAttrMap attrMap)

nodeRankingPost

protected void nodeRankingPost(javautils.graph.adt.AugmentedGraph original,
                               javautils.graph.adt.AugmentedGraph preprocessed,
                               GraphTopology topology,
                               GraphLayoutAttrMap attrMap,
                               NodeRanking ranking)