joeq.Compiler.Analysis.Primitive
Class PrimitiveMethodSummary.InsideEdgeNavigator

java.lang.Object
  joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.InsideEdgeNavigator

All Implemented Interfaces:

jwutil.graphs.Navigator

Enclosing class:

PrimitiveMethodSummary

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

Represents a field edge between two nodes.

Constructor Summary

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

PrimitiveMethodSummary.InsideEdgeNavigator

public PrimitiveMethodSummary.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