joeq.Compiler.Analysis.Primitive
Class PrimitiveMethodSummary.InsideEdgeNavigator

java.lang.Object
  extended by 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


Copyright © 2001-2008 John Whaley. All Rights Reserved.