suvi.alg.contracts
Class Asserts

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

All Implemented Interfaces:

EdgeLabelConstants

Direct Known Subclasses:

ComponentLayoutPolicyContract, EdgeRoutingPolicyContract, GraphLayoutAlgContract, NodeOrderingPolicyContract, NodePositioningPolicyContract, NodeRankingPolicyContract

public class Asserts

extends javautils.graph.Graphs

implements EdgeLabelConstants

Assertions shared by multiple contract decorators.

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

Asserts()

Method Summary

static void	verifyContainsAllDefaults(GraphLayoutAttr[] defaults, GraphLayoutAttrMap attrMap)
static void	verifyForAllNotNull(java.util.Iterator list)
static void	verifyForAllNotNull(java.lang.Object[] array)
static void	verifyMatches(java.awt.Rectangle box, java.awt.Dimension extent)
static void	verifyTrue(boolean condition)
static void	verifyTrue(boolean condition, java.lang.String msg)
static void	verifyValidAttrMap(GraphLayoutAttrMap attrMap, GraphLayoutAttr[] defaultAttrs)
static void	verifyValidDefaults(GraphLayoutAttr[] defaults)
static void	verifyValidGap(java.awt.Dimension gap)
static void	verifyValidLayout(javautils.graph.adt.Graph graph, GraphLayout layout, GraphLayoutAttrMap attrMap)
static void	verifyValidRanking(java.util.List nodes, NodeRanking ranking)
static void	verifyValidSpline(java.awt.Rectangle source, BSpline spline, java.awt.Rectangle target)
static void	verifyValidTopology(javautils.graph.adt.AugmentedGraph original, javautils.graph.adt.AugmentedGraph preprocessed, GraphTopology topology, AugmentedNodeRanking optionalRanking)

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

Asserts

public Asserts()

Method Detail

verifyTrue

public static void verifyTrue(boolean condition)

verifyTrue

public static void verifyTrue(boolean condition,
                              java.lang.String msg)

verifyContainsAllDefaults

public static void verifyContainsAllDefaults(GraphLayoutAttr[] defaults,
                                             GraphLayoutAttrMap attrMap)

verifyValidAttrMap

public static void verifyValidAttrMap(GraphLayoutAttrMap attrMap,
                                      GraphLayoutAttr[] defaultAttrs)

verifyValidDefaults

public static void verifyValidDefaults(GraphLayoutAttr[] defaults)

verifyValidGap

public static void verifyValidGap(java.awt.Dimension gap)

verifyForAllNotNull

public static void verifyForAllNotNull(java.lang.Object[] array)

verifyForAllNotNull

public static void verifyForAllNotNull(java.util.Iterator list)

verifyValidTopology

public static void verifyValidTopology(javautils.graph.adt.AugmentedGraph original,
                                       javautils.graph.adt.AugmentedGraph preprocessed,
                                       GraphTopology topology,
                                       AugmentedNodeRanking optionalRanking)

verifyValidRanking

public static void verifyValidRanking(java.util.List nodes,
                                      NodeRanking ranking)

verifyValidLayout

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

verifyValidSpline

public static void verifyValidSpline(java.awt.Rectangle source,
                                     BSpline spline,
                                     java.awt.Rectangle target)

verifyMatches

public static void verifyMatches(java.awt.Rectangle box,
                                 java.awt.Dimension extent)