Uses of Interface
org.jmlspecs.samples.digraph.NodeType

Packages that use NodeType

org.jmlspecs.samples.digraph

This package contains samples of JML specifications for directed graphs.

Uses of NodeType in org.jmlspecs.samples.digraph

Classes in org.jmlspecs.samples.digraph that implement NodeType

class	SearchableNode Nodes for searchable graphs.
class	TransposableNode Nodes for transposable directed graphs.
class	ValueNode Nodes with values

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

private NodeType	Arc.source
private NodeType	Arc.target
private NodeType	ArcType._from
private NodeType	ArcType._to
private NodeType	Arc_JML_Test.TestArc.source Argument source
private NodeType	Arc_JML_Test.TestArc.target Argument target
private NodeType	Arc_JML_Test.TestSetSource.source Argument source
private NodeType	Arc_JML_Test.TestSetTarget.target Argument target
private NodeType	SearchableDigraph_JML_Test.TestAddNode.arg1 Argument arg1
private NodeType	SearchableDigraph_JML_Test.TestRemoveNode.arg1 Argument arg1
private NodeType	SearchableDigraph_JML_Test.TestAddArc.arg1 Argument arg1
private NodeType	SearchableDigraph_JML_Test.TestAddArc.arg2 Argument arg2
private NodeType	SearchableDigraph_JML_Test.TestRemoveArc.arg1 Argument arg1
private NodeType	SearchableDigraph_JML_Test.TestRemoveArc.arg2 Argument arg2
private NodeType	SearchableDigraph_JML_Test.TestIsNode.arg1 Argument arg1
private NodeType	SearchableDigraph_JML_Test.TestIsArc.arg1 Argument arg1
private NodeType	SearchableDigraph_JML_Test.TestIsArc.arg2 Argument arg2
private NodeType	SearchableDigraph_JML_Test.TestIsAPath.arg1 Argument arg1
private NodeType	SearchableDigraph_JML_Test.TestIsAPath.arg2 Argument arg2
private NodeType	SearchableDigraph_JML_Test.TestUnconnected.arg1 Argument arg1
private NodeType	TransposableDigraph_JML_Test.TestAddNode.arg1 Argument arg1
private NodeType	TransposableDigraph_JML_Test.TestRemoveNode.arg1 Argument arg1
private NodeType	TransposableDigraph_JML_Test.TestAddArc.arg1 Argument arg1
private NodeType	TransposableDigraph_JML_Test.TestAddArc.arg2 Argument arg2
private NodeType	TransposableDigraph_JML_Test.TestRemoveArc.arg1 Argument arg1
private NodeType	TransposableDigraph_JML_Test.TestRemoveArc.arg2 Argument arg2
private NodeType	TransposableDigraph_JML_Test.TestIsNode.arg1 Argument arg1
private NodeType	TransposableDigraph_JML_Test.TestIsArc.arg1 Argument arg1
private NodeType	TransposableDigraph_JML_Test.TestIsArc.arg2 Argument arg2
private NodeType	TransposableDigraph_JML_Test.TestIsAPath.arg1 Argument arg1
private NodeType	TransposableDigraph_JML_Test.TestIsAPath.arg2 Argument arg2
private NodeType	TransposableDigraph_JML_Test.TestUnconnected.arg1 Argument arg1

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

NodeType	Arc.getSource() Get the source node of this arc.
NodeType	Arc.getTarget() Get the target node of this arc.
NodeType	ArcType.getFrom()
NodeType	ArcType.getTo()

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

void	Arc.setSource(NodeType source) Set the source node of this arc to the given node.
void	Arc.setTarget(NodeType target) Set the target node of this arc to the given node.
void	Digraph.addNode(NodeType n)
void	Digraph.removeNode(NodeType n)
void	Digraph.addArc(NodeType inFrom, NodeType inTo)
void	Digraph.removeArc(NodeType inFrom, NodeType inTo)
boolean	Digraph.isNode(NodeType n)
boolean	Digraph.isArc(NodeType inFrom, NodeType inTo)
boolean	Digraph.isAPath(NodeType start, NodeType end)
protected HashSet	Digraph.reachSet(NodeType start)
boolean	Digraph.unconnected(NodeType n)

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

Arc(NodeType source, NodeType target)
Initialize this arc with the given source and target.

ArcType(NodeType from, NodeType to)

Arc_JML_Test.TestArc(NodeType source, NodeType target)
Initialize this instance.

Arc_JML_Test.TestSetSource(Arc receiver$, NodeType source)
Initialize this instance.

Arc_JML_Test.TestSetTarget(Arc receiver$, NodeType target)
Initialize this instance.

NodeType_JML_Test.TestEquals(NodeType receiver$, Object o)
Initialize this instance.

NodeType_JML_Test.TestHashCode(NodeType receiver$)
Initialize this instance.

NodeType_JML_Test.TestClone(NodeType receiver$)
Initialize this instance.

SearchableDigraph_JML_Test.TestAddNode(SearchableDigraph receiver$, NodeType arg1)
Initialize this instance.

SearchableDigraph_JML_Test.TestRemoveNode(SearchableDigraph receiver$, NodeType arg1)
Initialize this instance.

SearchableDigraph_JML_Test.TestAddArc(SearchableDigraph receiver$, NodeType arg1, NodeType arg2)
Initialize this instance.

SearchableDigraph_JML_Test.TestRemoveArc(SearchableDigraph receiver$, NodeType arg1, NodeType arg2)
Initialize this instance.

SearchableDigraph_JML_Test.TestIsNode(SearchableDigraph receiver$, NodeType arg1)
Initialize this instance.

SearchableDigraph_JML_Test.TestIsArc(SearchableDigraph receiver$, NodeType arg1, NodeType arg2)
Initialize this instance.

SearchableDigraph_JML_Test.TestIsAPath(SearchableDigraph receiver$, NodeType arg1, NodeType arg2)
Initialize this instance.

SearchableDigraph_JML_Test.TestUnconnected(SearchableDigraph receiver$, NodeType arg1)
Initialize this instance.

TransposableDigraph_JML_Test.TestAddNode(TransposableDigraph receiver$, NodeType arg1)
Initialize this instance.

TransposableDigraph_JML_Test.TestRemoveNode(TransposableDigraph receiver$, NodeType arg1)
Initialize this instance.

TransposableDigraph_JML_Test.TestAddArc(TransposableDigraph receiver$, NodeType arg1, NodeType arg2)
Initialize this instance.

TransposableDigraph_JML_Test.TestRemoveArc(TransposableDigraph receiver$, NodeType arg1, NodeType arg2)
Initialize this instance.

TransposableDigraph_JML_Test.TestIsNode(TransposableDigraph receiver$, NodeType arg1)
Initialize this instance.

TransposableDigraph_JML_Test.TestIsArc(TransposableDigraph receiver$, NodeType arg1, NodeType arg2)
Initialize this instance.

TransposableDigraph_JML_Test.TestIsAPath(TransposableDigraph receiver$, NodeType arg1, NodeType arg2)
Initialize this instance.

TransposableDigraph_JML_Test.TestUnconnected(TransposableDigraph receiver$, NodeType arg1)
Initialize this instance.