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

Packages that use TransposableDigraph_JML_Test

org.jmlspecs.samples.digraph

This package contains samples of JML specifications for directed graphs.

Uses of TransposableDigraph_JML_Test in org.jmlspecs.samples.digraph

Subclasses of TransposableDigraph_JML_Test in org.jmlspecs.samples.digraph

protected static class	TransposableDigraph_JML_Test.OneTest A JUnit test object that can run a single test method.
protected static class	TransposableDigraph_JML_Test.TestAddArc Test for the addArc method.
protected static class	TransposableDigraph_JML_Test.TestAddNode Test for the addNode method.
protected static class	TransposableDigraph_JML_Test.TestIsAPath Test for the isAPath method.
protected static class	TransposableDigraph_JML_Test.TestIsArc Test for the isArc method.
protected static class	TransposableDigraph_JML_Test.TestIsNode Test for the isNode method.
protected static class	TransposableDigraph_JML_Test.TestRemoveArc Test for the removeArc method.
protected static class	TransposableDigraph_JML_Test.TestRemoveNode Test for the removeNode method.
protected static class	TransposableDigraph_JML_Test.TestToString Test for the toString method.
protected static class	TransposableDigraph_JML_Test.TestTransposableDigraph Test for the TransposableDigraph contructor.
protected static class	TransposableDigraph_JML_Test.TestTranspose Test for the transpose method.
protected static class	TransposableDigraph_JML_Test.TestUnconnected Test for the unconnected method.