org.apache.bcel.verifier.structurals
Class Pass3bVerifier.InstructionContextQueue

java.lang.Object
  extended by 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
           
 
Constructor Summary
private Pass3bVerifier.InstructionContextQueue()
           
 
Method Summary
 void add(InstructionContext ic, java.util.ArrayList executionChain)
           
 java.util.ArrayList getEC(int i)
           
 InstructionContext getIC(int i)
           
 boolean isEmpty()
           
 void remove()
           
 void remove(int i)
           
 int size()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

ics

private java.util.List ics

ecs

private java.util.List ecs
Constructor Detail

Pass3bVerifier.InstructionContextQueue

private Pass3bVerifier.InstructionContextQueue()
Method Detail

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