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
Fields Modifier and Type Field Description private java.util.List<java.util.ArrayList<InstructionContext>>
ecs
private java.util.List<InstructionContext>
ics
-
Constructor Summary
Constructors Modifier Constructor Description private
InstructionContextQueue()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
add(InstructionContext ic, java.util.ArrayList<InstructionContext> executionChain)
java.util.ArrayList<InstructionContext>
getEC(int i)
InstructionContext
getIC(int i)
boolean
isEmpty()
void
remove(int i)
int
size()
-
-
-
Field Detail
-
ics
private final java.util.List<InstructionContext> ics
-
ecs
private final java.util.List<java.util.ArrayList<InstructionContext>> ecs
-
-
Method Detail
-
add
public void add(InstructionContext ic, java.util.ArrayList<InstructionContext> executionChain)
-
isEmpty
public boolean isEmpty()
-
remove
public void remove(int i)
-
getIC
public InstructionContext getIC(int i)
-
getEC
public java.util.ArrayList<InstructionContext> getEC(int i)
-
size
public int size()
-
-