org.apache.bcel.verifier.structurals
Class Pass3bVerifier.InstructionContextQueue
java.lang.Object
org.apache.bcel.verifier.structurals.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 java.util.List |
ecs
|
private java.util.List |
ics
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ics
private java.util.List ics
ecs
private java.util.List ecs
Pass3bVerifier.InstructionContextQueue
private Pass3bVerifier.InstructionContextQueue()
add
public void add(InstructionContext ic,
java.util.ArrayList executionChain)
isEmpty
public boolean isEmpty()
remove
public void remove()
remove
public void remove(int i)
getIC
public InstructionContext getIC(int i)
getEC
public java.util.ArrayList getEC(int i)
size
public int size()