suvi.alg.contracts
Class ComponentLayoutPolicyContract

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

public class ComponentLayoutPolicyContract
extends Asserts
implements ComponentLayoutPolicy

Design-by-Contract decorator for the ComponentLayoutPolicy-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
ComponentLayoutPolicyContract(ComponentLayoutPolicy original)
           
 
Method Summary
 GraphLayoutAttr[] defaultAttrs()
          Default implementations of all the required attributes.
 java.awt.Point[] locations(javautils.graph.adt.AugmentedGraph original, GraphLayoutAttrMap attrMap, GraphLayout[] layouts)
          Locations for the specified layouts.
protected  void offsetsPost(javautils.graph.adt.AugmentedGraph original, GraphLayoutAttrMap attrMap, GraphLayout[] layouts, java.awt.Point[] locations)
           
protected  void offsetsPre(javautils.graph.adt.AugmentedGraph original, GraphLayoutAttrMap attrMap, GraphLayout[] layouts)
           
 
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

ComponentLayoutPolicyContract

public ComponentLayoutPolicyContract(ComponentLayoutPolicy 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

locations

public java.awt.Point[] locations(javautils.graph.adt.AugmentedGraph original,
                                  GraphLayoutAttrMap attrMap,
                                  GraphLayout[] layouts)
Description copied from interface: ComponentLayoutPolicy

Locations for the specified layouts.

Specified by:
locations in interface ComponentLayoutPolicy

offsetsPre

protected void offsetsPre(javautils.graph.adt.AugmentedGraph original,
                          GraphLayoutAttrMap attrMap,
                          GraphLayout[] layouts)

offsetsPost

protected void offsetsPost(javautils.graph.adt.AugmentedGraph original,
                           GraphLayoutAttrMap attrMap,
                           GraphLayout[] layouts,
                           java.awt.Point[] locations)