|
JML | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use org.jmlspecs.samples.digraph | |
| org.jmlspecs.samples.digraph | This package contains samples of JML specifications for directed graphs. |
| Classes in org.jmlspecs.samples.digraph used by org.jmlspecs.samples.digraph | |
| Arc
Directed arcs for directed graphs. |
|
| Arc_JML_Test
Automatically-generated test driver for JML and JUnit based testing of Arc. |
|
| Arc_JML_Test.OneTest
A JUnit test object that can run a single test method. |
|
| Arc_JML_TestData
Supply test data for the JML and JUnit based testing of Arc. |
|
| Digraph
Directed graphs. |
|
| NodeType
|
|
| NodeType_JML_Test
Automatically-generated test driver for JML and JUnit based testing of NodeType. |
|
| NodeType_JML_Test.OneTest
A JUnit test object that can run a single test method. |
|
| NodeType_JML_TestData
Supply test data for the JML and JUnit based testing of NodeType. |
|
| SearchableDigraph
Directed graphs that are searchable. |
|
| SearchableDigraph_JML_Test
Automatically-generated test driver for JML and JUnit based testing of SearchableDigraph. |
|
| SearchableDigraph_JML_Test.OneTest
A JUnit test object that can run a single test method. |
|
| SearchableDigraph_JML_TestData
Supply test data for the JML and JUnit based testing of SearchableDigraph. |
|
| SearchableNode
Nodes for searchable graphs. |
|
| SearchableNode_JML_Test
Automatically-generated test driver for JML and JUnit based testing of SearchableNode. |
|
| SearchableNode_JML_Test.OneTest
A JUnit test object that can run a single test method. |
|
| SearchableNode_JML_TestData
Supply test data for the JML and JUnit based testing of SearchableNode. |
|
| TransposableDigraph
Transposable directed graphs. |
|
| TransposableDigraph_JML_Test
Automatically-generated test driver for JML and JUnit based testing of TransposableDigraph. |
|
| TransposableDigraph_JML_Test.OneTest
A JUnit test object that can run a single test method. |
|
| TransposableDigraph_JML_TestData
Supply test data for the JML and JUnit based testing of TransposableDigraph. |
|
| TransposableNode
Nodes for transposable directed graphs. |
|
| TransposableNode_JML_Test
Automatically-generated test driver for JML and JUnit based testing of TransposableNode. |
|
| TransposableNode_JML_Test.OneTest
A JUnit test object that can run a single test method. |
|
| TransposableNode_JML_TestData
Supply test data for the JML and JUnit based testing of TransposableNode. |
|
| ValueNode
Nodes with values |
|
|
JML | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||