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.
Field Summary
Listecs
Listics
Method Summary
voidadd(InstructionContext ic, ArrayList executionChain)
ArrayListgetEC(int i)
InstructionContextgetIC(int i)
booleanisEmpty()
voidremove()
voidremove(int i)
intsize()

Field Detail

ecs

private List ecs

ics

private List ics

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()