joeq.Compiler.BytecodeAnalysis
Class ControlFlowGraph.RPOBasicBlockIterator

java.lang.Object
  joeq.Compiler.BytecodeAnalysis.ControlFlowGraph.RPOBasicBlockIterator

All Implemented Interfaces:

Iterator, ListIterator, ControlFlowGraph.BasicBlockIterator

Enclosing class:

ControlFlowGraph

public static class ControlFlowGraph.RPOBasicBlockIterator
extends Object
implements ControlFlowGraph.BasicBlockIterator

Method Summary

void	add(Object o)
boolean	hasNext()
boolean	hasPrevious()
void	jumpToEnd()
Object	next()
BasicBlock	nextBB()
int	nextIndex()
Object	previous()
BasicBlock	previousBB()
int	previousIndex()
void	remove()
void	set(Object o)
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface Iterator

Specified by:

hasNext in interface ListIterator

nextBB

public BasicBlock nextBB()

Specified by:

nextBB in interface ControlFlowGraph.BasicBlockIterator

next

public Object next()

Specified by:

next in interface Iterator

Specified by:

next in interface ListIterator

nextIndex

public int nextIndex()

Specified by:

nextIndex in interface ListIterator

hasPrevious

public boolean hasPrevious()

Specified by:

hasPrevious in interface ListIterator

previousBB

public BasicBlock previousBB()

Specified by:

previousBB in interface ControlFlowGraph.BasicBlockIterator

previous

public Object previous()

Specified by:

previous in interface ListIterator

previousIndex

public int previousIndex()

Specified by:

previousIndex in interface ListIterator

remove

public void remove()

Specified by:

remove in interface Iterator

Specified by:

remove in interface ListIterator

add

public void add(Object o)

Specified by:

add in interface ListIterator

set

public void set(Object o)

Specified by:

set in interface ListIterator

jumpToEnd

public void jumpToEnd()

toString

public String toString()

Overrides:

toString in class Object