suvi.alg.contracts
Class NodePositioningPolicyContract

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

public class NodePositioningPolicyContract
extends Asserts
implements NodePositioningPolicy

Design-by-Contract decorator for the NodePositioningPolicy-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
NodePositioningPolicyContract(NodePositioningPolicy original)
           
 
Method Summary
 GraphLayoutAttr[] defaultAttrs()
          Default implementations of all the required attributes.
 NodePositioning nodePositioning(javautils.graph.adt.AugmentedGraph original, javautils.graph.adt.AugmentedGraph preprocessed, GraphTopology topology, GraphLayoutAttrMap attrMap, AugmentedNodeRanking ranking, AugmentedNodeOrdering ordering)
          A node positioning for the graph.
protected  void nodePositioningPost(javautils.graph.adt.AugmentedGraph original, javautils.graph.adt.AugmentedGraph preprocessed, GraphTopology topology, GraphLayoutAttrMap attrMap, AugmentedNodeRanking ranking, AugmentedNodeOrdering ordering, NodePositioning positioning)
           
protected  void nodePositioningPre(javautils.graph.adt.AugmentedGraph original, javautils.graph.adt.AugmentedGraph preprocessed, GraphTopology topology, GraphLayoutAttrMap attrMap, AugmentedNodeRanking ranking, AugmentedNodeOrdering ordering)
           
 
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

NodePositioningPolicyContract

public NodePositioningPolicyContract(NodePositioningPolicy 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

nodePositioning

public NodePositioning nodePositioning(javautils.graph.adt.AugmentedGraph original,
                                       javautils.graph.adt.AugmentedGraph preprocessed,
                                       GraphTopology topology,
                                       GraphLayoutAttrMap attrMap,
                                       AugmentedNodeRanking ranking,
                                       AugmentedNodeOrdering ordering)
Description copied from interface: NodePositioningPolicy

A node positioning for the graph.

Specified by:
nodePositioning in interface NodePositioningPolicy

nodePositioningPre

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

nodePositioningPost

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