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

Packages that use SearchableNode

org.jmlspecs.samples.digraph

This package contains samples of JML specifications for directed graphs.

Uses of SearchableNode in org.jmlspecs.samples.digraph

Fields in org.jmlspecs.samples.digraph declared as SearchableNode

private SearchableNode	SearchableDigraph_JML_TestData.startNode
private SearchableNode	SearchableNode.predecessor
private SearchableNode	SearchableDigraph_JML_Test.TestDFSVisit.u Argument u

Methods in org.jmlspecs.samples.digraph that return SearchableNode

SearchableNode

SearchableNode.getPredecessor()

Methods in org.jmlspecs.samples.digraph with parameters of type SearchableNode

void	SearchableDigraph.DFSVisit(SearchableNode u)
protected void	SearchableNode.setPredecessor(SearchableNode p)

Constructors in org.jmlspecs.samples.digraph with parameters of type SearchableNode

SearchableNode(Object v, int dT, int fT, SearchableNode pred, Color c)

SearchableDigraph_JML_Test.TestDFSVisit(SearchableDigraph receiver$, SearchableNode u)
Initialize this instance.

SearchableNode_JML_Test.TestEquals(SearchableNode receiver$, Object o)
Initialize this instance.

SearchableNode_JML_Test.TestHashCode(SearchableNode receiver$)
Initialize this instance.

SearchableNode_JML_Test.TestClone(SearchableNode receiver$)
Initialize this instance.

SearchableNode_JML_Test.TestGetColor(SearchableNode receiver$)
Initialize this instance.

SearchableNode_JML_Test.TestGetPredecessor(SearchableNode receiver$)
Initialize this instance.

SearchableNode_JML_Test.TestGetFinishTime(SearchableNode receiver$)
Initialize this instance.

SearchableNode_JML_Test.TestGetDiscoverTime(SearchableNode receiver$)
Initialize this instance.

SearchableNode_JML_Test.TestToString(SearchableNode receiver$)
Initialize this instance.

SearchableNode_JML_Test.TestSetValue(SearchableNode receiver$, Object arg1)
Initialize this instance.

SearchableNode_JML_Test.TestGetValue(SearchableNode receiver$)
Initialize this instance.