joeq.Compiler.Quad
Class CallGraph.CallGraphMethodNavigator

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

All Implemented Interfaces:

jwutil.graphs.Navigator

Enclosing class:

CallGraph

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

Constructor Summary

CallGraph.CallGraphMethodNavigator()

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.CallGraphMethodNavigator

public CallGraph.CallGraphMethodNavigator()

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)