joeq.Compiler.Quad
Class ControlFlowGraphNavigator

java.lang.Object
  joeq.Compiler.Quad.ControlFlowGraphNavigator

All Implemented Interfaces:

jwutil.graphs.Navigator

public class ControlFlowGraphNavigator
extends Object
implements jwutil.graphs.Navigator

Version:

$Id: ControlFlowGraphNavigator.java 1931 2004-09-22 22:17:47Z joewhaley $

Author:

John Whaley

Field Summary

protected ControlFlowGraph	cfg
static ControlFlowGraphNavigator	INSTANCE Singleton object for a control flow graph navigator that does not take into account exception edges.

Constructor Summary

protected	ControlFlowGraphNavigator()
	ControlFlowGraphNavigator(ControlFlowGraph cfg) Construct a new ControlFlowGraphNavigator for the given control flow graph.

Method Summary

static void	main(String[] args)
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

Field Detail

cfg

protected ControlFlowGraph cfg

INSTANCE

public static final ControlFlowGraphNavigator INSTANCE

Singleton object for a control flow graph navigator that does not take into account exception edges.

Constructor Detail

ControlFlowGraphNavigator

public ControlFlowGraphNavigator(ControlFlowGraph cfg)

Construct a new ControlFlowGraphNavigator for the given control flow graph.

Parameters:

cfg - control flow graph

ControlFlowGraphNavigator

protected ControlFlowGraphNavigator()

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

main

public static void main(String[] args)