joeq.Compiler.Quad
Class CallGraph.CallGraphCSNavigator

java.lang.Object
  joeq.Compiler.Quad.CallGraph.CallGraphCSNavigator

All Implemented Interfaces:

jwutil.graphs.Navigator

Enclosing class:

CallGraph

public class CallGraph.CallGraphCSNavigator
extends Object
implements jwutil.graphs.Navigator

Constructor Summary

CallGraph.CallGraphCSNavigator()

Method Summary

Collection	next(Object node)
Collection	prev(Object node)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CallGraph.CallGraphCSNavigator

public CallGraph.CallGraphCSNavigator()

Method Detail

next

public Collection next(Object node)

Specified by:

next in interface jwutil.graphs.Navigator

See Also:

Navigator.next(java.lang.Object)

prev

public Collection prev(Object node)

Specified by:

prev in interface jwutil.graphs.Navigator

See Also:

Navigator.prev(java.lang.Object)