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 java.lang.Object
implements jwutil.graphs.Navigator

Represents a field edge between two nodes.

Constructor Summary

MethodSummary.InsideEdgeNavigator()

Method Summary

java.util.Collection	next(java.lang.Object node)
java.util.Collection	prev(java.lang.Object node)

Methods inherited from class java.lang.Object

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

Constructor Detail

MethodSummary.InsideEdgeNavigator

public MethodSummary.InsideEdgeNavigator()

Method Detail

next

public java.util.Collection next(java.lang.Object node)

Specified by:

next in interface jwutil.graphs.Navigator

prev

public java.util.Collection prev(java.lang.Object node)

Specified by:

prev in interface jwutil.graphs.Navigator