org.apache.bcel.verifier.structurals

Class Pass3bVerifier.InstructionContextQueue

private static final class Pass3bVerifier.InstructionContextQueue extends Object

An InstructionContextQueue is a utility class that holds (InstructionContext, ArrayList) pairs in a Queue data structure. This is used to hold information about InstructionContext objects externally --- i.e. that information is not saved inside the InstructionContext object itself. This is useful to save the execution path of the symbolic execution of the Pass3bVerifier - this is not information that belongs into the InstructionContext object itself. Only at "execute()"ing time, an InstructionContext object will get the current information we have about its symbolic execution predecessors.
Method Summary
voidadd(InstructionContext ic, ArrayList executionChain)
ArrayListgetEC(int i)
InstructionContextgetIC(int i)
booleanisEmpty()
voidremove()
voidremove(int i)
intsize()

Method Detail

add

public void add(InstructionContext ic, ArrayList executionChain)

getEC

public ArrayList getEC(int i)

getIC

public InstructionContext getIC(int i)

isEmpty

public boolean isEmpty()

remove

public void remove()

remove

public void remove(int i)

size

public int size()