joeq.Compiler.Analysis.FlowInsensitive
Class MethodSummary.InsideEdgeNavigator

java.lang.Object
  joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.InsideEdgeNavigator

All Implemented Interfaces:

jwutil.graphs.Navigator

Enclosing class:

MethodSummary

public static class MethodSummary.InsideEdgeNavigator
extends Object
implements jwutil.graphs.Navigator

Represents a field edge between two nodes.

Constructor Summary

MethodSummary.InsideEdgeNavigator()

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

MethodSummary.InsideEdgeNavigator

public MethodSummary.InsideEdgeNavigator()

Method Detail

next

public Collection next(Object node)

Specified by:

next in interface jwutil.graphs.Navigator

prev

public Collection prev(Object node)

Specified by:

prev in interface jwutil.graphs.Navigator