suvi.alg.contracts
Class GraphLayoutAlgContract

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

All Implemented Interfaces:

EdgeLabelConstants, GraphLayoutAlg, GraphLayoutAttrConsumer

public class GraphLayoutAlgContract

extends Asserts

implements GraphLayoutAlg

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

GraphLayoutAlgContract(GraphLayoutAlg original)

Method Summary

GraphLayoutAttr[]	defaultAttrs() Default implementations of all the required attributes.
GraphLayout	layout(javautils.graph.adt.Graph graph, GraphLayoutAttrMap attrMap) return layout(graph, attrMap, GraphLayoutAlgProgressPolicy.NULL_PROGRESS_POLICY);
GraphLayout	layout(javautils.graph.adt.Graph graph, GraphLayoutAttrMap attrMap, GraphLayoutAlgProgressPolicy progressPolicy) A layout for the specified graph computed according to the specified layout attributes.
protected void	layoutPost(javautils.graph.adt.Graph graph, GraphLayoutAttrMap attrMap, GraphLayout layout)
protected void	layoutPre(javautils.graph.adt.Graph graph, 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

GraphLayoutAlgContract

public GraphLayoutAlgContract(GraphLayoutAlg 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

layout

public GraphLayout layout(javautils.graph.adt.Graph graph,
                          GraphLayoutAttrMap attrMap)

Description copied from interface: GraphLayoutAlg

 return layout(graph,
               attrMap,
               GraphLayoutAlgProgressPolicy.NULL_PROGRESS_POLICY);
 

Specified by:

layout in interface GraphLayoutAlg

layout

public GraphLayout layout(javautils.graph.adt.Graph graph,
                          GraphLayoutAttrMap attrMap,
                          GraphLayoutAlgProgressPolicy progressPolicy)

Description copied from interface: GraphLayoutAlg

A layout for the specified graph computed according to the specified layout attributes. Calls the progress policy to report progress events.

Specified by:

layout in interface GraphLayoutAlg

layoutPre

protected void layoutPre(javautils.graph.adt.Graph graph,
                         GraphLayoutAttrMap attrMap)

layoutPost

protected void layoutPost(javautils.graph.adt.Graph graph,
                          GraphLayoutAttrMap attrMap,
                          GraphLayout layout)