Uses of Class
org.jmlspecs.samples.digraph.SearchableDigraph_JML_TestData

Packages that use SearchableDigraph_JML_TestData

org.jmlspecs.samples.digraph

This package contains samples of JML specifications for directed graphs.

Uses of SearchableDigraph_JML_TestData in org.jmlspecs.samples.digraph

Subclasses of SearchableDigraph_JML_TestData in org.jmlspecs.samples.digraph

class	SearchableDigraph_JML_Test Automatically-generated test driver for JML and JUnit based testing of SearchableDigraph.
protected static class	SearchableDigraph_JML_Test.OneTest A JUnit test object that can run a single test method.
protected static class	SearchableDigraph_JML_Test.TestAddArc Test for the addArc method.
protected static class	SearchableDigraph_JML_Test.TestAddNode Test for the addNode method.
protected static class	SearchableDigraph_JML_Test.TestDFS Test for the DFS method.
protected static class	SearchableDigraph_JML_Test.TestDFSVisit Test for the DFSVisit method.
protected static class	SearchableDigraph_JML_Test.TestIsAPath Test for the isAPath method.
protected static class	SearchableDigraph_JML_Test.TestIsArc Test for the isArc method.
protected static class	SearchableDigraph_JML_Test.TestIsNode Test for the isNode method.
protected static class	SearchableDigraph_JML_Test.TestRemoveArc Test for the removeArc method.
protected static class	SearchableDigraph_JML_Test.TestRemoveNode Test for the removeNode method.
protected static class	SearchableDigraph_JML_Test.TestSearchableDigraph Test for the SearchableDigraph contructor.
protected static class	SearchableDigraph_JML_Test.TestToString Test for the toString method.
protected static class	SearchableDigraph_JML_Test.TestTranspose Test for the transpose method.
protected static class	SearchableDigraph_JML_Test.TestUnconnected Test for the unconnected method.