suvi.alg.contracts
Class NodeOrderingPolicyContract

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

All Implemented Interfaces:

EdgeLabelConstants, GraphLayoutAttrConsumer, NodeOrderingPolicy

public class NodeOrderingPolicyContract

extends Asserts

implements NodeOrderingPolicy

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

NodeOrderingPolicyContract(NodeOrderingPolicy original)

Method Summary

GraphLayoutAttr[]	defaultAttrs() Default implementations of all the required attributes.
NodeOrdering	nodeOrdering(javautils.graph.adt.AugmentedGraph original, javautils.graph.adt.AugmentedGraph preprocessed, GraphTopology topology, GraphLayoutAttrMap attrMap, AugmentedNodeRanking ranking) A node ordering for the graph.
protected void	nodeOrderingPost(javautils.graph.adt.AugmentedGraph original, javautils.graph.adt.AugmentedGraph preprocessed, GraphTopology topology, GraphLayoutAttrMap attrMap, AugmentedNodeRanking ranking, NodeOrdering ordering)
protected void	nodeOrderingPre(javautils.graph.adt.AugmentedGraph original, javautils.graph.adt.AugmentedGraph preprocessed, GraphTopology topology, GraphLayoutAttrMap attrMap, AugmentedNodeRanking ranking)

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

NodeOrderingPolicyContract

public NodeOrderingPolicyContract(NodeOrderingPolicy 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

nodeOrdering

public NodeOrdering nodeOrdering(javautils.graph.adt.AugmentedGraph original,
                                 javautils.graph.adt.AugmentedGraph preprocessed,
                                 GraphTopology topology,
                                 GraphLayoutAttrMap attrMap,
                                 AugmentedNodeRanking ranking)

Description copied from interface: NodeOrderingPolicy

A node ordering for the graph.

Specified by:

nodeOrdering in interface NodeOrderingPolicy

nodeOrderingPre

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

nodeOrderingPost

protected void nodeOrderingPost(javautils.graph.adt.AugmentedGraph original,
                                javautils.graph.adt.AugmentedGraph preprocessed,
                                GraphTopology topology,
                                GraphLayoutAttrMap attrMap,
                                AugmentedNodeRanking ranking,
                                NodeOrdering ordering)