JML

org.multijava.util
Class TestDirectedAcyclicGraph

java.lang.Object
  extended byjunit.framework.Assert
      extended byjunit.framework.TestCase
          extended byorg.multijava.util.testing.TestCase
              extended byorg.multijava.util.TestDirectedAcyclicGraph
All Implemented Interfaces:
junit.framework.Test

public class TestDirectedAcyclicGraph
extends TestCase

JUnit tests for DirectedAcyclicGraph.

Version:
$Revision: 1.1 $
Author:
Curtis Clifton

Field Summary
private static DirectedAcyclicGraph.EdgeCalculator EC
           
private  Set[] powerSet
           
 
Fields inherited from class org.multijava.util.testing.TestCase
NEWLINE
 
Fields inherited from class junit.framework.TestCase
 
Constructor Summary
TestDirectedAcyclicGraph(String name)
           
 
Method Summary
private  void check(Object[] powerSet)
           
private  Set[] powerSet(String[] elts)
           
 void setUp()
           
 void test_inDFSOrder_method1()
           
 void test_inDFSOrder_method2()
           
 void test_inDFSOrder_method3()
           
 
Methods inherited from class org.multijava.util.testing.TestCase
assertDiff, assertEquals
 
Methods inherited from class junit.framework.TestCase
countTestCases, createResult, getName, run, run, runBare, runTest, setName, tearDown, toString
 
Methods inherited from class junit.framework.Assert
assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, fail, fail
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

powerSet

private Set[] powerSet

EC

private static final DirectedAcyclicGraph.EdgeCalculator EC
Constructor Detail

TestDirectedAcyclicGraph

public TestDirectedAcyclicGraph(String name)
Method Detail

test_inDFSOrder_method1

public void test_inDFSOrder_method1()

test_inDFSOrder_method2

public void test_inDFSOrder_method2()

test_inDFSOrder_method3

public void test_inDFSOrder_method3()

check

private void check(Object[] powerSet)

powerSet

private Set[] powerSet(String[] elts)

setUp

public void setUp()
Overrides:
setUp in class junit.framework.TestCase

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.