Package 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 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 final List<ArrayList<InstructionContext>>	ecs
private final List<InstructionContext>	ics

Constructor Summary

Constructors

Modifier	Constructor	Description
private	InstructionContextQueue()

Method Summary

Modifier and Type	Method	Description
void	add(InstructionContext ic, ArrayList<InstructionContext> executionChain)
ArrayList<InstructionContext>	getEC(int i)
InstructionContext	getIC(int i)
boolean	isEmpty()
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 Details

ics

private final List<InstructionContext> ics

ecs

private final List<ArrayList<InstructionContext>> ecs

Constructor Details

InstructionContextQueue

private InstructionContextQueue()

Method Details

add

public void add(InstructionContext ic,
 ArrayList<InstructionContext> executionChain)

isEmpty

public boolean isEmpty()

remove

public void remove(int i)

getIC

public InstructionContext getIC(int i)

getEC

public ArrayList<InstructionContext> getEC(int i)

size

public int size()