Index

Overview

Package

Class

Use

Deprecated

Index

Home >> All >> org >> apache >> bcel >> verifier >> [ structurals overview ]

PREV NEXT

A B C D E F G H I L M N O P R S T U V W _

A

add(InstructionContext, ArrayList) - Method in class org.apache.bcel.verifier.structurals.Pass3bVerifier.InstructionContextQueue
addEnteringJsrInstruction(InstructionHandle) - Method in class org.apache.bcel.verifier.structurals.Subroutines.SubroutineImpl: Adds a new JSR or JSR_W that has this subroutine as its target.
addInstruction(InstructionHandle) - Method in class org.apache.bcel.verifier.structurals.Subroutines.SubroutineImpl
arrayrefOfArrayType(Instruction, Type) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Assures arrayref is of ArrayType or NULL; returns true if and only if arrayref is non-NULL.

B

BLACK - Static variable in class org.apache.bcel.verifier.structurals.Subroutines

C

ControlFlowGraph - class org.apache.bcel.verifier.structurals.ControlFlowGraph.: This class represents a control flow graph of a method.
ControlFlowGraph(MethodGen) - Constructor for class org.apache.bcel.verifier.structurals.ControlFlowGraph: A Control Flow Graph.
ControlFlowGraph.InstructionContextImpl - class org.apache.bcel.verifier.structurals.ControlFlowGraph.InstructionContextImpl.: Objects of this class represent a node in a ControlFlowGraph.
ControlFlowGraph.InstructionContextImpl(InstructionHandle) - Constructor for class org.apache.bcel.verifier.structurals.ControlFlowGraph.InstructionContextImpl: Creates an InstructionHandleImpl object from an InstructionHandle.
catchtype - Variable in class org.apache.bcel.verifier.structurals.ExceptionHandler: The type of the exception to catch.
circulationPump(ControlFlowGraph, InstructionContext, Frame, InstConstraintVisitor, ExecutionVisitor) - Method in class org.apache.bcel.verifier.structurals.Pass3bVerifier: Whenever the outgoing frame situation of an InstructionContext changes, all its successors are put [back] into the queue [as if they were unvisited].
clear() - Method in class org.apache.bcel.verifier.structurals.OperandStack: Clears the stack.
clone() - Method in class org.apache.bcel.verifier.structurals.Frame
clone() - Method in class org.apache.bcel.verifier.structurals.GenericArray
clone() - Method in class org.apache.bcel.verifier.structurals.LocalVariables: Returns a deep copy of this object; i.e.
clone() - Method in class org.apache.bcel.verifier.structurals.OperandStack: Returns a deep copy of this object; that means, the clone operates on a new stack.
constraintViolated(Instruction, String) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: This method is called by the visitXXX() to notify the acceptor of this InstConstraintVisitor that a constraint violation has occured.
contains(InstructionHandle) - Method in interface org.apache.bcel.verifier.structurals.Subroutine: Returns if the given InstructionHandle refers to an instruction that is part of this subroutine.
contains(InstructionHandle) - Method in class org.apache.bcel.verifier.structurals.Subroutines.SubroutineImpl
contextOf(InstructionHandle) - Method in class org.apache.bcel.verifier.structurals.ControlFlowGraph: Returns the InstructionContext of a given instruction.
contextsOf(InstructionHandle[]) - Method in class org.apache.bcel.verifier.structurals.ControlFlowGraph: Returns the InstructionContext[] of a given InstructionHandle[], in a naturally ordered manner.
cpg - Variable in class org.apache.bcel.verifier.structurals.ExecutionVisitor: The ConstantPoolGen we're working with.
cpg - Variable in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: The ConstantPoolGen we're working on.

D

DEBUG - Static variable in class org.apache.bcel.verifier.structurals.Pass3bVerifier: In DEBUG mode, the verification algorithm is not randomized.
do_verify() - Method in class org.apache.bcel.verifier.structurals.Pass3bVerifier: Pass 3b implements the data flow analysis as described in the Java Virtual Machine Specification, Second Edition.

E

ExceptionHandler - class org.apache.bcel.verifier.structurals.ExceptionHandler.: This class represents an exception handler; that is, an ObjectType representing a subclass of java.lang.Throwable and the instruction the handler starts off (represented by an InstructionContext).
ExceptionHandler(ObjectType, InstructionHandle) - Constructor for class org.apache.bcel.verifier.structurals.ExceptionHandler: Leave instance creation to JustIce.
ExceptionHandlers - class org.apache.bcel.verifier.structurals.ExceptionHandlers.: This class allows easy access to ExceptionHandler objects.
ExceptionHandlers(MethodGen) - Constructor for class org.apache.bcel.verifier.structurals.ExceptionHandlers: Constructor.
ExecutionVisitor - class org.apache.bcel.verifier.structurals.ExecutionVisitor.: This Visitor class may be used for a type-based Java Virtual Machine simulation.
ExecutionVisitor() - Constructor for class org.apache.bcel.verifier.structurals.ExecutionVisitor: Constructor.
ecs - Variable in class org.apache.bcel.verifier.structurals.Pass3bVerifier.InstructionContextQueue
equals(Object) - Method in class org.apache.bcel.verifier.structurals.Frame
equals(Object) - Method in class org.apache.bcel.verifier.structurals.LocalVariables
equals(Object) - Method in class org.apache.bcel.verifier.structurals.OperandStack: Returns true if and only if this OperandStack equals another, meaning equal lengths and equal objects on the stacks.
equals(Object) - Method in class org.apache.bcel.verifier.structurals.UninitializedObjectType: Returns true on equality of this and o.
exceptionhandlers - Variable in class org.apache.bcel.verifier.structurals.ControlFlowGraph: The ExceptionHandlers object for the method whose control flow is represented by this ControlFlowGraph.
exceptionhandlers - Variable in class org.apache.bcel.verifier.structurals.ExceptionHandlers: The ExceptionHandler instances.
execute(Frame, ArrayList, InstConstraintVisitor, ExecutionVisitor) - Method in class org.apache.bcel.verifier.structurals.ControlFlowGraph.InstructionContextImpl: "Merges in" (vmspec2, page 146) the "incoming" frame situation; executes the instructions symbolically and therefore calculates the "outgoing" frame situation.
execute(Frame, ArrayList, InstConstraintVisitor, ExecutionVisitor) - Method in interface org.apache.bcel.verifier.structurals.InstructionContext: This method symbolically executes the Instruction held in the InstructionContext.
executionPredecessors - Variable in class org.apache.bcel.verifier.structurals.ControlFlowGraph.InstructionContextImpl: The 'execution predecessors' - a list of type InstructionContext of those instances that have been execute()d before in that order.
extendMessageWithFlow(StructuralCodeConstraintException) - Method in class org.apache.bcel.verifier.structurals.ControlFlowGraph.InstructionContextImpl: Extends the StructuralCodeConstraintException ("e") object with an at-the-end-extended message.

F

Frame - class org.apache.bcel.verifier.structurals.Frame.: This class represents a JVM execution frame; that means, a local variable array and an operand stack.
Frame(int, int) - Constructor for class org.apache.bcel.verifier.structurals.Frame
Frame(LocalVariables, OperandStack) - Constructor for class org.apache.bcel.verifier.structurals.Frame
frame - Variable in class org.apache.bcel.verifier.structurals.ExecutionVisitor: The executionframe we're operating on.
frame - Variable in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: The Execution Frame we're working on.

G

GENERIC_ARRAY - Static variable in class org.apache.bcel.verifier.structurals.InstConstraintVisitor
GRAY - Static variable in class org.apache.bcel.verifier.structurals.Subroutines
GenericArray - class org.apache.bcel.verifier.structurals.GenericArray.: A placeholder class that can be used to create an ObjectType of which has some of the properties arrays have.
GenericArray() - Constructor for class org.apache.bcel.verifier.structurals.GenericArray
get(int) - Method in class org.apache.bcel.verifier.structurals.LocalVariables: Returns the type of the local variable slot i.
getAccessedLocalsIndices() - Method in interface org.apache.bcel.verifier.structurals.Subroutine: Returns an int[] containing the indices of the local variable slots accessed by this Subroutine (read-accessed, write-accessed or both); local variables referenced by subroutines of this subroutine are not included.
getAccessedLocalsIndices() - Method in class org.apache.bcel.verifier.structurals.Subroutines.SubroutineImpl
getClone() - Method in class org.apache.bcel.verifier.structurals.Frame
getClone() - Method in class org.apache.bcel.verifier.structurals.LocalVariables: Returns a (correctly typed) clone of this object.
getClone() - Method in class org.apache.bcel.verifier.structurals.OperandStack: Returns a (typed!) clone of this.
getEC(int) - Method in class org.apache.bcel.verifier.structurals.Pass3bVerifier.InstructionContextQueue
getEnteringJsrInstructions() - Method in interface org.apache.bcel.verifier.structurals.Subroutine: Returns all the JsrInstructions that have the first instruction of this subroutine as their target.
getEnteringJsrInstructions() - Method in class org.apache.bcel.verifier.structurals.Subroutines.SubroutineImpl
getExceptionHandlers() - Method in class org.apache.bcel.verifier.structurals.ControlFlowGraph.InstructionContextImpl: Returns the exception handlers of this instruction.
getExceptionHandlers(InstructionHandle) - Method in class org.apache.bcel.verifier.structurals.ExceptionHandlers: Returns all the ExceptionHandler instances representing exception handlers that protect the instruction ih.
getExceptionHandlers() - Method in interface org.apache.bcel.verifier.structurals.InstructionContext: Returns the exception handlers that protect this instruction.
getExceptionType() - Method in class org.apache.bcel.verifier.structurals.ExceptionHandler: Returns the type of the exception that's handled.
getExecutionChain() - Method in class org.apache.bcel.verifier.structurals.ControlFlowGraph.InstructionContextImpl: Returns the control flow execution chain.
getHandlerStart() - Method in class org.apache.bcel.verifier.structurals.ExceptionHandler: Returns the InstructionHandle where the handler starts off.
getIC(int) - Method in class org.apache.bcel.verifier.structurals.Pass3bVerifier.InstructionContextQueue
getInFrame() - Method in class org.apache.bcel.verifier.structurals.ControlFlowGraph.InstructionContextImpl
getInFrame() - Method in interface org.apache.bcel.verifier.structurals.InstructionContext
getInitialized() - Method in class org.apache.bcel.verifier.structurals.UninitializedObjectType: Returns the ObjectType of the same class as the one of the uninitialized object represented by this UninitializedObjectType instance.
getInstruction() - Method in class org.apache.bcel.verifier.structurals.ControlFlowGraph.InstructionContextImpl
getInstruction() - Method in interface org.apache.bcel.verifier.structurals.InstructionContext: Returns the InstructionHandle this InstructionContext is wrapped around.
getInstructionContexts() - Method in class org.apache.bcel.verifier.structurals.ControlFlowGraph: Returns an InstructionContext[] with all the InstructionContext instances for the method whose control flow is represented by this ControlFlowGraph (NOT ORDERED!).
getInstructions() - Method in interface org.apache.bcel.verifier.structurals.Subroutine: Returns all instructions that together form this subroutine.
getInstructions() - Method in class org.apache.bcel.verifier.structurals.Subroutines.SubroutineImpl
getLeavingRET() - Method in interface org.apache.bcel.verifier.structurals.Subroutine: Returns the one and only RET that leaves the subroutine.
getLeavingRET() - Method in class org.apache.bcel.verifier.structurals.Subroutines.SubroutineImpl
getLocals() - Method in class org.apache.bcel.verifier.structurals.Frame
getMethodNo() - Method in class org.apache.bcel.verifier.structurals.Pass3bVerifier: Returns the method number as supplied when instantiating.
getOutFrame(ArrayList) - Method in class org.apache.bcel.verifier.structurals.ControlFlowGraph.InstructionContextImpl: Returns a clone of the "outgoing" frame situation with respect to the given ExecutionChain.
getOutFrame(ArrayList) - Method in interface org.apache.bcel.verifier.structurals.InstructionContext: This method returns the outgoing execution frame situation; therefore it has to be calculated by execute(Frame, ArrayList) first.
getRecursivelyAccessedLocalsIndices() - Method in interface org.apache.bcel.verifier.structurals.Subroutine: Returns an int[] containing the indices of the local variable slots accessed by this Subroutine (read-accessed, write-accessed or both); local variables referenced by subroutines of this subroutine are included.
getRecursivelyAccessedLocalsIndices() - Method in class org.apache.bcel.verifier.structurals.Subroutines.SubroutineImpl
getStack() - Method in class org.apache.bcel.verifier.structurals.Frame
getSubroutine(InstructionHandle) - Method in class org.apache.bcel.verifier.structurals.Subroutines: Returns the Subroutine object associated with the given leader (that is, the first instruction of the subroutine).
getSuccessors() - Method in class org.apache.bcel.verifier.structurals.ControlFlowGraph.InstructionContextImpl
getSuccessors() - Method in interface org.apache.bcel.verifier.structurals.InstructionContext: Returns the usual control flow successors.
getSuccessors(InstructionHandle) - Static method in class org.apache.bcel.verifier.structurals.Subroutines: A utility method that calculates the successors of a given InstructionHandle in the same subroutine.
getTag() - Method in class org.apache.bcel.verifier.structurals.ControlFlowGraph.InstructionContextImpl
getTag() - Method in interface org.apache.bcel.verifier.structurals.InstructionContext: The getTag and setTag methods may be used for temporary flagging, such as graph colouring.
getTopLevel() - Method in class org.apache.bcel.verifier.structurals.Subroutines: For easy handling, the piece of code that is not a subroutine, the top-level, is also modeled as a Subroutine object.

H

handlerpc - Variable in class org.apache.bcel.verifier.structurals.ExceptionHandler: The InstructionHandle where the handling begins.
hashCode() - Method in class org.apache.bcel.verifier.structurals.Frame
hashCode() - Method in class org.apache.bcel.verifier.structurals.LocalVariables
hashCode() - Method in class org.apache.bcel.verifier.structurals.OperandStack
hashCode() - Method in class org.apache.bcel.verifier.structurals.UninitializedObjectType

I

InstConstraintVisitor - class org.apache.bcel.verifier.structurals.InstConstraintVisitor.: A Visitor class testing for valid preconditions of JVM instructions.
InstConstraintVisitor() - Constructor for class org.apache.bcel.verifier.structurals.InstConstraintVisitor: The constructor.
InstructionContext - interface org.apache.bcel.verifier.structurals.InstructionContext.: An InstructionContext offers convenient access to information like control flow successors and such.
ics - Variable in class org.apache.bcel.verifier.structurals.Pass3bVerifier.InstructionContextQueue
inFrames - Variable in class org.apache.bcel.verifier.structurals.ControlFlowGraph.InstructionContextImpl: The 'incoming' execution Frames.
indexOfInt(Instruction, Type) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Assures index is of type INT.
initializeObject(UninitializedObjectType) - Method in class org.apache.bcel.verifier.structurals.LocalVariables: Replaces all occurences of u in this local variables set with an "initialized" ObjectType.
initializeObject(UninitializedObjectType) - Method in class org.apache.bcel.verifier.structurals.OperandStack: Replaces all occurences of u in this OperandStack instance with an "initialized" ObjectType.
initialized - Variable in class org.apache.bcel.verifier.structurals.UninitializedObjectType: The "initialized" version.
instruction - Variable in class org.apache.bcel.verifier.structurals.ControlFlowGraph.InstructionContextImpl: The InstructionHandle this InstructionContext is wrapped around.
instructionContexts - Variable in class org.apache.bcel.verifier.structurals.ControlFlowGraph: All InstructionContext instances of this ControlFlowGraph.
instructions - Variable in class org.apache.bcel.verifier.structurals.Subroutines.SubroutineImpl: The instructions that belong to this subroutine.
isDead(InstructionHandle) - Method in class org.apache.bcel.verifier.structurals.ControlFlowGraph: Returns true, if and only if the said instruction is not reachable; that means, if it is not part of this ControlFlowGraph.
isEmpty() - Method in class org.apache.bcel.verifier.structurals.OperandStack: Returns true IFF this OperandStack is empty.
isEmpty() - Method in class org.apache.bcel.verifier.structurals.Pass3bVerifier.InstructionContextQueue

L

LocalVariables - class org.apache.bcel.verifier.structurals.LocalVariables.: This class implements an array of local variables used for symbolic JVM simulation.
LocalVariables(int) - Constructor for class org.apache.bcel.verifier.structurals.LocalVariables: Creates a new LocalVariables object.
lastExecutionJSR() - Method in class org.apache.bcel.verifier.structurals.ControlFlowGraph.InstructionContextImpl: Returns the InstructionContextImpl with an JSR/JSR_W that was last in the ExecutionChain, without a corresponding RET, i.e.
localVariable - Variable in class org.apache.bcel.verifier.structurals.Subroutines.SubroutineImpl: The Local Variable slot where the first instruction of this subroutine (an ASTORE) stores the JsrInstruction's ReturnAddress in and the RET of this subroutine operates on.
locals() - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: The LocalVariables from the current Frame we're operating on.
locals - Variable in class org.apache.bcel.verifier.structurals.Frame
locals() - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: The LocalVariables we're working on.
locals - Variable in class org.apache.bcel.verifier.structurals.LocalVariables: The Type[] containing the local variable slots.

M

maxLocals() - Method in class org.apache.bcel.verifier.structurals.LocalVariables: Returns the number of local variable slots this LocalVariables instance has.
maxStack - Variable in class org.apache.bcel.verifier.structurals.OperandStack: The maximum number of stack slots this OperandStack instance may hold.
maxStack() - Method in class org.apache.bcel.verifier.structurals.OperandStack: Returns the number of stack slots this stack can hold.
merge(LocalVariables) - Method in class org.apache.bcel.verifier.structurals.LocalVariables: Merges two local variables sets as described in the Java Virtual Machine Specification, Second Edition, section 4.9.2, page 146.
merge(LocalVariables, int) - Method in class org.apache.bcel.verifier.structurals.LocalVariables: Merges a single local variable.
merge(OperandStack) - Method in class org.apache.bcel.verifier.structurals.OperandStack: Merges another stack state into this instance's stack state.
mergeInFrames(Frame) - Method in class org.apache.bcel.verifier.structurals.ControlFlowGraph.InstructionContextImpl: Does the actual merging (vmspec2, page 146).
method_gen - Variable in class org.apache.bcel.verifier.structurals.ControlFlowGraph: The MethodGen object we're working on.
method_no - Variable in class org.apache.bcel.verifier.structurals.Pass3bVerifier: The method number to verify.
mg - Variable in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: The MethodGen we're working on.
myOwner - Variable in class org.apache.bcel.verifier.structurals.Pass3bVerifier: The Verifier that created this.

N

noRecursiveCalls(Subroutine, Set) - Method in class org.apache.bcel.verifier.structurals.Subroutines: This (recursive) utility method makes sure that no subroutine is calling a subroutine that uses the same local variable for the RET as themselves (recursively).

O

OperandStack - class org.apache.bcel.verifier.structurals.OperandStack.: This class implements a stack used for symbolic JVM stack simulation.
OperandStack(int) - Constructor for class org.apache.bcel.verifier.structurals.OperandStack: Creates an empty stack with a maximum of maxStack slots.
OperandStack(int, ObjectType) - Constructor for class org.apache.bcel.verifier.structurals.OperandStack: Creates an otherwise empty stack with a maximum of maxStack slots and the ObjectType 'obj' at the top.
org.apache.bcel.verifier.structurals - package org.apache.bcel.verifier.structurals: BCEL's verifier JustIce is there to help you dump correct Java class files created or modified with BCEL.
outFrames - Variable in class org.apache.bcel.verifier.structurals.ControlFlowGraph.InstructionContextImpl: The 'outgoing' execution Frames.

P

Pass3bVerifier - class org.apache.bcel.verifier.structurals.Pass3bVerifier.: This PassVerifier verifies a method of class file according to pass 3, so-called structural verification as described in The Java Virtual Machine Specification, 2nd edition.
Pass3bVerifier(Verifier, int) - Constructor for class org.apache.bcel.verifier.structurals.Pass3bVerifier: This class should only be instantiated by a Verifier.
Pass3bVerifier.InstructionContextQueue - class org.apache.bcel.verifier.structurals.Pass3bVerifier.InstructionContextQueue.: An InstructionContextQueue is a utility class that holds (InstructionContext, ArrayList) pairs in a Queue data structure.
Pass3bVerifier.InstructionContextQueue() - Constructor for class org.apache.bcel.verifier.structurals.Pass3bVerifier.InstructionContextQueue
peek() - Method in class org.apache.bcel.verifier.structurals.OperandStack: Returns the element on top of the stack.
peek(int) - Method in class org.apache.bcel.verifier.structurals.OperandStack: Returns the element that's i elements below the top element; that means, iff i==0 the top element is returned.
pop() - Method in class org.apache.bcel.verifier.structurals.OperandStack: Returns the element on top of the stack.
pop(int) - Method in class org.apache.bcel.verifier.structurals.OperandStack: Pops i elements off the stack.
push(Type) - Method in class org.apache.bcel.verifier.structurals.OperandStack: Pushes a Type object onto the stack.

R

referenceTypeIsInitialized(Instruction, ReferenceType) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Assures the ReferenceType r is initialized (or Type.NULL).
remove() - Method in class org.apache.bcel.verifier.structurals.Pass3bVerifier.InstructionContextQueue
remove(int) - Method in class org.apache.bcel.verifier.structurals.Pass3bVerifier.InstructionContextQueue

S

Subroutine - interface org.apache.bcel.verifier.structurals.Subroutine.: This interface defines properties of JVM bytecode subroutines.
Subroutines - class org.apache.bcel.verifier.structurals.Subroutines.: Instances of this class contain information about the subroutines found in a code array of a method.
Subroutines(MethodGen) - Constructor for class org.apache.bcel.verifier.structurals.Subroutines: Constructor.
Subroutines.SubroutineImpl - class org.apache.bcel.verifier.structurals.Subroutines.SubroutineImpl.: This inner class implements the Subroutine interface.
Subroutines.SubroutineImpl() - Constructor for class org.apache.bcel.verifier.structurals.Subroutines.SubroutineImpl: The default constructor.
set(int, Type) - Method in class org.apache.bcel.verifier.structurals.LocalVariables: Sets a new Type for the given local variable slot.
setConstantPoolGen(ConstantPoolGen) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Sets the ConstantPoolGen needed for symbolic execution.
setConstantPoolGen(ConstantPoolGen) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Sets the ConstantPoolGen instance needed for constraint checking prior to execution.
setFrame(Frame) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: The only method granting access to the single instance of the ExecutionVisitor class.
setFrame(Frame) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: This returns the single instance of the InstConstraintVisitor class.
setLeavingRET() - Method in class org.apache.bcel.verifier.structurals.Subroutines.SubroutineImpl: Sets the leaving RET instruction.
setLocalVariable(int) - Method in class org.apache.bcel.verifier.structurals.Subroutines.SubroutineImpl
setMethodGen(MethodGen) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Sets the MethodGen instance needed for constraint checking prior to execution.
setTag(int) - Method in class org.apache.bcel.verifier.structurals.ControlFlowGraph.InstructionContextImpl
setTag(int) - Method in interface org.apache.bcel.verifier.structurals.InstructionContext: The getTag and setTag methods may be used for temporary flagging, such as graph colouring.
size() - Method in class org.apache.bcel.verifier.structurals.OperandStack: Returns the size of this OperandStack; that means, how many Type objects there are.
size() - Method in class org.apache.bcel.verifier.structurals.Pass3bVerifier.InstructionContextQueue
slotsUsed() - Method in class org.apache.bcel.verifier.structurals.OperandStack: Returns the number of stack slots used.
stack() - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: The OperandStack from the current Frame we're operating on.
stack - Variable in class org.apache.bcel.verifier.structurals.Frame
stack() - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: The OperandStack we're working on.
stack - Variable in class org.apache.bcel.verifier.structurals.OperandStack: We hold the stack information here.
subSubs() - Method in interface org.apache.bcel.verifier.structurals.Subroutine: Returns the subroutines that are directly called from this subroutine.
subSubs() - Method in class org.apache.bcel.verifier.structurals.Subroutines.SubroutineImpl
subroutineOf(InstructionHandle) - Method in class org.apache.bcel.verifier.structurals.Subroutines: Returns the subroutine object associated with the given instruction.
subroutines - Variable in class org.apache.bcel.verifier.structurals.ControlFlowGraph: The Subroutines object for the method whose control flow is represented by this ControlFlowGraph.
subroutines - Variable in class org.apache.bcel.verifier.structurals.Subroutines: The Hashtable containing the subroutines found.

T

TAG - Variable in class org.apache.bcel.verifier.structurals.ControlFlowGraph.InstructionContextImpl: The TAG field is here for external temporary flagging, such as graph colouring.
TOPLEVEL - Variable in class org.apache.bcel.verifier.structurals.Subroutines: This is referring to a special subroutine, namely the top level.
theJSRs - Variable in class org.apache.bcel.verifier.structurals.Subroutines.SubroutineImpl: The JSR or JSR_W instructions that define this subroutine by targeting it.
theRET - Variable in class org.apache.bcel.verifier.structurals.Subroutines.SubroutineImpl: The RET instruction that leaves this subroutine.
toString() - Method in class org.apache.bcel.verifier.structurals.ControlFlowGraph.InstructionContextImpl: Returns a simple String representation of this InstructionContext.
toString() - Method in class org.apache.bcel.verifier.structurals.Frame: Returns a String representation of the Frame instance.
toString() - Method in class org.apache.bcel.verifier.structurals.LocalVariables: Returns a String representation of this object.
toString() - Method in class org.apache.bcel.verifier.structurals.OperandStack: Returns a String representation of this OperandStack instance.
toString() - Method in class org.apache.bcel.verifier.structurals.Subroutines.SubroutineImpl: Returns a String representation of this object, merely for debugging purposes.
toString() - Method in class org.apache.bcel.verifier.structurals.Subroutines: Returns a String representation of this object; merely for debugging puposes.

U

UNSET - Static variable in class org.apache.bcel.verifier.structurals.Subroutines.SubroutineImpl: UNSET, a symbol for an uninitialized localVariable field.
UninitializedObjectType - class org.apache.bcel.verifier.structurals.UninitializedObjectType.: This class represents an uninitialized object type; see The Java Virtual Machine Specification, Second Edition, page 147: 4.9.4 for more details.
UninitializedObjectType(ObjectType) - Constructor for class org.apache.bcel.verifier.structurals.UninitializedObjectType: Creates a new instance.

V

valueOfInt(Instruction, Type) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Assures value is of type INT.
visitAALOAD(AALOAD) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitAALOAD(AALOAD) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitAASTORE(AASTORE) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitAASTORE(AASTORE) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitACONST_NULL(ACONST_NULL) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitACONST_NULL(ACONST_NULL) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitALOAD(ALOAD) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitALOAD(ALOAD) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitANEWARRAY(ANEWARRAY) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitANEWARRAY(ANEWARRAY) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitARETURN(ARETURN) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitARETURN(ARETURN) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitARRAYLENGTH(ARRAYLENGTH) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitARRAYLENGTH(ARRAYLENGTH) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitASTORE(ASTORE) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitASTORE(ASTORE) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitATHROW(ATHROW) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitATHROW(ATHROW) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitBALOAD(BALOAD) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitBALOAD(BALOAD) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitBASTORE(BASTORE) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitBASTORE(BASTORE) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitBIPUSH(BIPUSH) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitBIPUSH(BIPUSH) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitBREAKPOINT(BREAKPOINT) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitCALOAD(CALOAD) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitCALOAD(CALOAD) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitCASTORE(CASTORE) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitCASTORE(CASTORE) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitCHECKCAST(CHECKCAST) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitCHECKCAST(CHECKCAST) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitCPInstruction(CPInstruction) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the general preconditions of a CPInstruction instance.
visitD2F(D2F) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitD2F(D2F) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitD2I(D2I) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitD2I(D2I) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitD2L(D2L) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitD2L(D2L) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitDADD(DADD) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitDADD(DADD) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitDALOAD(DALOAD) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitDALOAD(DALOAD) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitDASTORE(DASTORE) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitDASTORE(DASTORE) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitDCMPG(DCMPG) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitDCMPG(DCMPG) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitDCMPL(DCMPL) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitDCMPL(DCMPL) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitDCONST(DCONST) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitDCONST(DCONST) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitDDIV(DDIV) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitDDIV(DDIV) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitDLOAD(DLOAD) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitDLOAD(DLOAD) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitDMUL(DMUL) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitDMUL(DMUL) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitDNEG(DNEG) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitDNEG(DNEG) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitDREM(DREM) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitDREM(DREM) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitDRETURN(DRETURN) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitDRETURN(DRETURN) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitDSTORE(DSTORE) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitDSTORE(DSTORE) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitDSUB(DSUB) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitDSUB(DSUB) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitDUP(DUP) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitDUP(DUP) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitDUP2(DUP2) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitDUP2(DUP2) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitDUP2_X1(DUP2_X1) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitDUP2_X1(DUP2_X1) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitDUP2_X2(DUP2_X2) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitDUP2_X2(DUP2_X2) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitDUP_X1(DUP_X1) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitDUP_X1(DUP_X1) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitDUP_X2(DUP_X2) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitDUP_X2(DUP_X2) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitF2D(F2D) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitF2D(F2D) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitF2I(F2I) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitF2I(F2I) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitF2L(F2L) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitF2L(F2L) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitFADD(FADD) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitFADD(FADD) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitFALOAD(FALOAD) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitFALOAD(FALOAD) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitFASTORE(FASTORE) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitFASTORE(FASTORE) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitFCMPG(FCMPG) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitFCMPG(FCMPG) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitFCMPL(FCMPL) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitFCMPL(FCMPL) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitFCONST(FCONST) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitFCONST(FCONST) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitFDIV(FDIV) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitFDIV(FDIV) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitFLOAD(FLOAD) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitFLOAD(FLOAD) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitFMUL(FMUL) - Method in class org.apache.bcel.verifier.structurals.ExecutionVisitor: Symbolically executes the corresponding Java Virtual Machine instruction.
visitFMUL(FMUL) - Method in class org.apache.bcel.verifier.structurals.InstConstraintVisitor: Ensures the specific preconditions of the said instruction.
visitFNEG(FNEG) - Method in class org.apache.bcel.verifie