Class Pass3bVerifier.InstructionContextQueue
java.lang.Object
org.apache.bcel.verifier.structurals.Pass3bVerifier.InstructionContextQueue
- Enclosing class:
- Pass3bVerifier
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
FieldsModifier and TypeFieldDescriptionprivate final List<ArrayList<InstructionContext>>
private final List<InstructionContext>
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
add
(InstructionContext ic, ArrayList<InstructionContext> executionChain) getEC
(int i) getIC
(int i) boolean
isEmpty()
void
remove
(int i) int
size()
-
Field Details
-
ics
-
ecs
-
-
Constructor Details
-
InstructionContextQueue
private InstructionContextQueue()
-
-
Method Details
-
add
-
isEmpty
public boolean isEmpty() -
remove
public void remove(int i) -
getIC
-
getEC
-
size
public int size()
-