org.apache.bcel.verifier.structurals

Class Pass3bVerifier.InstructionContextQueue

Enclosing Class:
Pass3bVerifier

private static final class Pass3bVerifier.InstructionContextQueue
extends java.lang.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

private List
ecs
private List
ics

Method Summary

void
add(InstructionContext ic, ArrayList executionChain)
ArrayList
getEC(int i)
InstructionContext
getIC(int i)
boolean
isEmpty()
void
remove()
void
remove(int i)
int
size()

Field Details

ecs

private List ecs

ics

private List ics

Method Details

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