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

A

addStackMapTypeToStringBuffer(StackMapType, StringBuffer) - Static method in class com.markcrocker.purifier.LocalVariables

astoreConflictOverride - Variable in class com.markcrocker.purifier.LocalVariables

astoreOverrideIndex - Variable in class com.markcrocker.purifier.LocalVariables

ATTRIBUTELENGTH - Static variable in class com.markcrocker.purifier.StackMapGen

ATTRIBUTENAMEINDEX - Static variable in class com.markcrocker.purifier.StackMapGen

B

BranchStack - class com.markcrocker.purifier.BranchStack.

Data structure class for holding and visiting BranchTargets.

BranchStack() - Constructor for class com.markcrocker.purifier.BranchStack

BranchStackTest - class com.markcrocker.purifier.BranchStackTest.

BranchStackTest() - Constructor for class com.markcrocker.purifier.BranchStackTest

BranchTarget - class com.markcrocker.purifier.BranchTarget.

Data structure class for holding branch target and related information.

BranchTarget(InstructionHandle, int, Frame) - Constructor for class com.markcrocker.purifier.BranchTarget

branchTargets - Variable in class com.markcrocker.purifier.BranchStack

BYTECODEOFFSET - Static variable in class com.markcrocker.purifier.StackMapGen

C

calculateStackMapLength(StackMapEntry[]) - Static method in class com.markcrocker.purifier.StackMapGen

The StackMap constructor requires the length of the StackMap, which is not trivial to calculate.

callsAPrivateMethod() - Method in class com.markcrocker.purifier.testcases.CommonCases

callsAPrivateMethodWithLotsOParams() - Method in class com.markcrocker.purifier.testcases.CommonCases

callsAPrivateStaticFinalMethod() - Method in class com.markcrocker.purifier.testcases.CommonCases

callsAPrivateStaticFinalMethodWithLotsOParams() - Method in class com.markcrocker.purifier.testcases.CommonCases

callsAPrivateStaticMethod() - Method in class com.markcrocker.purifier.testcases.CommonCases

callsAPrivateStaticMethodWithLotsOParams() - Method in class com.markcrocker.purifier.testcases.CommonCases

canThrowUncaughtException(Integer) - Method in class com.markcrocker.purifier.testcases.ExceptionCases

If I is null, then this method can throw an uncaugh NullPointerException

catchesDuplicateNestedExceptions(Integer[]) - Method in class com.markcrocker.purifier.testcases.ExceptionCases

catchesException(Integer) - Method in class com.markcrocker.purifier.testcases.ExceptionCases

catchesMultipleExceptions(Integer[]) - Method in class com.markcrocker.purifier.testcases.ExceptionCases

catchesNestedExceptions(Integer[]) - Method in class com.markcrocker.purifier.testcases.ExceptionCases

catchesNestedExceptions(Integer[]) - Method in class com.markcrocker.purifier.testcases.UniqueProblemCases

Almost the same as the previous method, but unknown object never makes it into the LocalVariables array.

catchesNRethrowsException(Integer) - Method in class com.markcrocker.purifier.testcases.ExceptionCases

catchesThrowable(Hashtable) - Method in class com.markcrocker.purifier.testcases.ProblemCases

catchesThrowable(Integer) - Method in class com.markcrocker.purifier.testcases.ExceptionCases

catchesThrowableFinally(Hashtable) - Method in class com.markcrocker.purifier.testcases.ProblemCases

className - Static variable in class com.markcrocker.purifier.CodePrinter

classPackage - Static variable in class com.markcrocker.purifier.CodePrinter

clear() - Method in class com.markcrocker.purifier.OperandStack

Clears the stack.

clone() - Method in class com.markcrocker.purifier.OperandStack

Returns a deep copy of this object.

clone() - Method in class com.markcrocker.purifier.LocalVariables

Returns a deep copy of this object.

clone() - Method in class com.markcrocker.purifier.Frame

CodePrinter - class com.markcrocker.purifier.CodePrinter.

Read class file and print out Code.

CodePrinter(JavaClass) - Constructor for class com.markcrocker.purifier.CodePrinter

Write method bytecode and StackMap of the given JavaClass to console.

com.markcrocker.purifier - package com.markcrocker.purifier

com.markcrocker.purifier.testcases - package com.markcrocker.purifier.testcases

commandAction(Command, Displayable) - Method in class com.markcrocker.purifier.testcases.ExceptionCases

commandAction(Command, Displayable) - Method in class com.markcrocker.purifier.testcases.CommonCases

commandAction(Command, Displayable) - Method in class com.markcrocker.purifier.testcases.MinimalNoSM

commandAction(Command, Displayable) - Method in class com.markcrocker.purifier.testcases.SpecialCases

commandAction(Command, Displayable) - Method in class com.markcrocker.purifier.testcases.UniqueProblemCases

commandAction(Command, Displayable) - Method in class com.markcrocker.purifier.testcases.MinimalIf

commandAction(Command, Displayable) - Method in class com.markcrocker.purifier.testcases.ProblemCases

CommonCases - class com.markcrocker.purifier.testcases.CommonCases.

The CommonCases class file is designed to provide a wide range of common Java structures that can be used to check the Purifier StackMapGen.generate.

CommonCases() - Constructor for class com.markcrocker.purifier.testcases.CommonCases

compare(Object, Object) - Method in class com.markcrocker.purifier.StackMapEntryComparator

constantPool - Static variable in class com.markcrocker.purifier.CodePrinter

constructStackMap(Hashtable, ConstantPoolGen) - Method in class com.markcrocker.purifier.StackMapGen

A StackMap cannot simply be constructed from a Vector of StackMapEntry's.

consumeStack(Instruction, OperandStack, ConstantPoolGen) - Method in class com.markcrocker.purifier.StackMapGen

BCEL instructions already know how many stack items they consume.

convertSignature2StackMapType(String, ConstantPoolGen) - Static method in class com.markcrocker.purifier.Frame

convertType2StackMapType(byte, String, ConstantPoolGen) - Static method in class com.markcrocker.purifier.Frame

convertType2StackMapType(Type, ConstantPoolGen) - Static method in class com.markcrocker.purifier.Frame

Convert org.apache.bcel.generic.Type into a StackMapType.

cpg - Variable in class com.markcrocker.purifier.BranchStackTest

createTest(Method, int, String, ConstantPoolGen, TestSuite) - Static method in class com.markcrocker.purifier.StackMapGenTest

Creates a new anonymous inner StackMapGenTest for the specified method and adds it to the test suite.

createTest(Method, int, String, ConstantPoolGen, TestSuite) - Static method in class com.markcrocker.purifier.DebugStackMapGenTest

Creates a new anonymous inner TestCase for the specified method and adds it to the test suite.

D

DebugStackMapGenTest - class com.markcrocker.purifier.DebugStackMapGenTest.

This is a test class that is designed for debugging, not testing.

DebugStackMapGenTest(String) - Constructor for class com.markcrocker.purifier.DebugStackMapGenTest

declaresA2DObjectArray() - Method in class com.markcrocker.purifier.testcases.CommonCases

declaresA2DPrimitiveArray() - Method in class com.markcrocker.purifier.testcases.CommonCases

declaresA3DObjectArray() - Method in class com.markcrocker.purifier.testcases.CommonCases

declaresA3DPrimitiveArray() - Method in class com.markcrocker.purifier.testcases.CommonCases

Tests the multinewarry instruction.

declaresAnObjectArray() - Method in class com.markcrocker.purifier.testcases.CommonCases

declaresAPrimitiveArray(Integer[]) - Method in class com.markcrocker.purifier.testcases.CommonCases

destroyApp(boolean) - Method in class com.markcrocker.purifier.testcases.ExceptionCases

destroyApp(boolean) - Method in class com.markcrocker.purifier.testcases.CommonCases

destroyApp(boolean) - Method in class com.markcrocker.purifier.testcases.MinimalNoSM

destroyApp(boolean) - Method in class com.markcrocker.purifier.testcases.SpecialCases

destroyApp(boolean) - Method in class com.markcrocker.purifier.testcases.UniqueProblemCases

destroyApp(boolean) - Method in class com.markcrocker.purifier.testcases.MinimalIf

destroyApp(boolean) - Method in class com.markcrocker.purifier.testcases.ProblemCases

display - Variable in class com.markcrocker.purifier.testcases.ExceptionCases

display - Variable in class com.markcrocker.purifier.testcases.CommonCases

display - Variable in class com.markcrocker.purifier.testcases.MinimalNoSM

display - Variable in class com.markcrocker.purifier.testcases.SpecialCases

display - Variable in class com.markcrocker.purifier.testcases.UniqueProblemCases

display - Variable in class com.markcrocker.purifier.testcases.MinimalIf

display - Variable in class com.markcrocker.purifier.testcases.ProblemCases

E

equals(Object) - Method in class com.markcrocker.purifier.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 com.markcrocker.purifier.LocalVariables

equals(Object) - Method in class com.markcrocker.purifier.BranchTarget

equals(Object) - Method in class com.markcrocker.purifier.Frame

ExceptionCases - class com.markcrocker.purifier.testcases.ExceptionCases.

The ExcetionCases class file is designed to provide a wide range of common Java structures that encorporate exception handlers and can be used to check the Purifier StackMapGen.generate.

ExceptionCases() - Constructor for class com.markcrocker.purifier.testcases.ExceptionCases

exceptionHandlerObjectConflict() - Method in class com.markcrocker.purifier.testcases.ProblemCases

This shows how an Exception handler will put it's Exception type into the same LocalVariables slot as a working variable and, for some reason, Sun's preverifier will resolve the conflict by saying the data is type java.lang.Object.

exceptionHandlerPrimitiveConflict() - Method in class com.markcrocker.purifier.testcases.ProblemCases

This is almost identical to the exceptionHandlerObjectConflict except that the conflict is between an exception and a primitive.

excessiveMerging() - Method in class com.markcrocker.purifier.testcases.ProblemCases

excessiveMerging demonstrates a case where the merging of a Frame from normal execution flow and a Frame from the fall through of an exception handler produce results in JustIce that disagree with Sun's preverifier.

excessiveMerging2() - Method in class com.markcrocker.purifier.testcases.ProblemCases

just demonstrates that cause of problem with excessiveMerging is not related to the fact that the problem is with a return instruction immediately following an exception fall through.

excessiveMerging3() - Method in class com.markcrocker.purifier.testcases.ProblemCases

excessiveMerging4() - Method in class com.markcrocker.purifier.testcases.ProblemCases

excessiveMerging4b() - Method in class com.markcrocker.purifier.testcases.ProblemCases

Still has excessive merge problem even though this uses an invokeinterface instruction just like the requiresPostExceptionMerge4 method.

excessiveMerging4c() - Method in class com.markcrocker.purifier.testcases.ProblemCases

Still has excessive merge problem even though this returns a primitive just like the excessiveMerging4.

F

failsPass3a() - Method in class com.markcrocker.purifier.testcases.ProblemCases

Fails JustIce verification pass3a.

fileName - Static variable in class com.markcrocker.purifier.StackMapGenTest

fileName - Static variable in class com.markcrocker.purifier.DebugStackMapGenTest

frame - Variable in class com.markcrocker.purifier.BranchTarget

Frame - class com.markcrocker.purifier.Frame.

This class represents a JVM execution frame; that means, a local variable array and an operand stack.

Frame(int, int) - Constructor for class com.markcrocker.purifier.Frame

Constructs an empty Frame

Frame(int, MethodGen, ConstantPoolGen) - Constructor for class com.markcrocker.purifier.Frame

Construct pre-initialized Frame suitable for Method invokation from an Exception.

Frame(LocalVariables, OperandStack) - Constructor for class com.markcrocker.purifier.Frame

Construct a Frame from existing LocalVariables and OperandStack

Frame(MethodGen, ConstantPoolGen) - Constructor for class com.markcrocker.purifier.Frame

Construct pre-initialized Frame suitable for normal Method invokation.

Frame(MethodGen, ConstantPoolGen, boolean) - Constructor for class com.markcrocker.purifier.Frame

Construct pre-initialized Frame suitable for various Method invokation entry points.

FrameHash - class com.markcrocker.purifier.FrameHash.

Data structure class for holding Frames.

FrameHash() - Constructor for class com.markcrocker.purifier.FrameHash

frameStore - Variable in class com.markcrocker.purifier.FrameStore

FrameStore - class com.markcrocker.purifier.FrameStore.

Data structure class for holding Frames.

FrameStore(int) - Constructor for class com.markcrocker.purifier.FrameStore

G

generateStackMap(MethodGen, ConstantPoolGen) - Method in class com.markcrocker.purifier.StackMapGen

Generate a StackMap for a particular method.

getAstoreConflictOverride() - Method in class com.markcrocker.purifier.LocalVariables

getAstoreOverrideIndex() - Method in class com.markcrocker.purifier.LocalVariables

getClone() - Method in class com.markcrocker.purifier.OperandStack

Returns a correctly typed clone of this object.

getClone() - Method in class com.markcrocker.purifier.LocalVariables

Returns a (correctly typed) clone of this object.

getClone() - Method in class com.markcrocker.purifier.Frame

Returns a properly cast clone of Frame

getCPValue(StackMapType) - Static method in class com.markcrocker.purifier.StackMapPrinter

getField(Frame, ConstantPoolGen, Type) - Method in class com.markcrocker.purifier.StackMapGen

getFrame() - Method in class com.markcrocker.purifier.BranchTarget

getFrame(int) - Method in class com.markcrocker.purifier.FrameStore

getIndex(int) - Method in class com.markcrocker.purifier.LocalVariables

Returns the ConstantPool index of the local variable slot i.

getJavaLangObjectIndex() - Method in class com.markcrocker.purifier.LocalVariables

getLocals() - Method in class com.markcrocker.purifier.Frame

getLocals(ConstantPool) - Method in class com.markcrocker.purifier.LocalVariables

Returns a copy of the local variables.

getMaxLocals() - Method in class com.markcrocker.purifier.LocalVariables

Returns the number of local variable slots this LocalVariables instance has.

getMaxStack() - Method in class com.markcrocker.purifier.OperandStack

Returns the number of stack slots this stack can hold.

getNameIndex(ConstantPoolGen) - Static method in class com.markcrocker.purifier.StackMapGen

The StackMap constructor requires the index in the ConstantPool for the name of the StackMap attribute.

getSimulatedJVMsize() - Method in class com.markcrocker.purifier.OperandStack

Returns the simulated size of the JVM operand stack that this OperandStack object represents; that means, how many words would be on the operand stack of the real JVM.

getSize() - Method in class com.markcrocker.purifier.OperandStack

Returns the size of this OperandStack; that means, how many StackMapType objects there are.

getSomeInterface() - Method in class com.markcrocker.purifier.testcases.UsesSomeInterface

getStack() - Method in class com.markcrocker.purifier.Frame

getStackDepth() - Method in class com.markcrocker.purifier.BranchTarget

getStackItems() - Method in class com.markcrocker.purifier.OperandStack

Converts OperandStack StackMapTypes.

getStackMapEntry(int, ConstantPool) - Method in class com.markcrocker.purifier.Frame

Generate a StackMapEntry from the contents of the Frame.

getStackMapType(int) - Method in class com.markcrocker.purifier.LocalVariables

Returns the local variable at slot i.

getTarget() - Method in class com.markcrocker.purifier.BranchTarget

getType(int) - Method in class com.markcrocker.purifier.LocalVariables

Returns the type of the local variable slot i.

H

hasAFinallyClause(Integer) - Method in class com.markcrocker.purifier.testcases.ExceptionCases

hasAFinallyClauseAndException(Integer) - Method in class com.markcrocker.purifier.testcases.ExceptionCases

hasAFinallyClauseWithAnException(Integer) - Method in class com.markcrocker.purifier.testcases.ExceptionCases

hasAnIf() - Method in class com.markcrocker.purifier.testcases.CommonCases

hasAnIf() - Method in class com.markcrocker.purifier.testcases.MinimalIf

hasNestedIfs() - Method in class com.markcrocker.purifier.testcases.CommonCases

Hello - Variable in class com.markcrocker.purifier.testcases.ExceptionCases

Hello - Variable in class com.markcrocker.purifier.testcases.CommonCases

Hello - Variable in class com.markcrocker.purifier.testcases.MinimalNoSM

Hello - Variable in class com.markcrocker.purifier.testcases.SpecialCases

Hello - Variable in class com.markcrocker.purifier.testcases.UniqueProblemCases

Hello - Variable in class com.markcrocker.purifier.testcases.MinimalIf

Hello - Variable in class com.markcrocker.purifier.testcases.ProblemCases

I

il - Variable in class com.markcrocker.purifier.BranchStackTest

illegalInstruction(InstructionHandle) - Method in class com.markcrocker.purifier.StackMapGen

indent(StringBuffer, String, int) - Method in class com.markcrocker.purifier.OperandStack

indent(StringBuffer, String, int) - Static method in class com.markcrocker.purifier.LocalVariables

indent(StringBuffer, String, int) - Method in class com.markcrocker.purifier.Frame

interfaceMethod() - Method in interface com.markcrocker.purifier.testcases.SomeInterface

interfaceMethod() - Method in class com.markcrocker.purifier.testcases.UsesSomeInterface.SomeInterfaceImpl

invokeInstruction(InvokeInstruction, OperandStack, StackMapType[], ConstantPoolGen) - Method in class com.markcrocker.purifier.StackMapGen

isEmpty() - Method in class com.markcrocker.purifier.OperandStack

Returns true IFF this OperandStack is empty.

itemStateChanged(Item) - Method in class com.markcrocker.purifier.testcases.ExceptionCases

itemStateChanged(Item) - Method in class com.markcrocker.purifier.testcases.CommonCases

itemStateChanged(Item) - Method in class com.markcrocker.purifier.testcases.MinimalNoSM

itemStateChanged(Item) - Method in class com.markcrocker.purifier.testcases.SpecialCases

itemStateChanged(Item) - Method in class com.markcrocker.purifier.testcases.UniqueProblemCases

itemStateChanged(Item) - Method in class com.markcrocker.purifier.testcases.MinimalIf

itemStateChanged(Item) - Method in class com.markcrocker.purifier.testcases.ProblemCases

J

javaClass - Variable in class com.markcrocker.purifier.BranchStackTest

javaClass - Variable in class com.markcrocker.purifier.CodePrinter

javaLangObjectIndex - Variable in class com.markcrocker.purifier.LocalVariables

L

legitimateBogusInStackMap() - Method in class com.markcrocker.purifier.testcases.SpecialCases

Produces a StackMap that legitimately has an ITEM_Bogus in the StackMap.

lLoadInstruction(Frame, int) - Method in class com.markcrocker.purifier.StackMapGen

loadInstruction(Frame, int) - Method in class com.markcrocker.purifier.StackMapGen

locals - Variable in class com.markcrocker.purifier.LocalVariables

The StackMapType[] containing the local variable information.

locals - Variable in class com.markcrocker.purifier.Frame

LocalVariables - class com.markcrocker.purifier.LocalVariables.

This class implements an array of local variables used for StackMap generation.

LocalVariables(int) - Constructor for class com.markcrocker.purifier.LocalVariables

Constructs a new LocalVariables object, and leaves entries as nulls.

LocalVariables(MethodGen, ConstantPoolGen) - Constructor for class com.markcrocker.purifier.LocalVariables

Construct pre-initialized LocalVariables suitable for normal Method invokation.

LocalVariables(StackMapType[]) - Constructor for class com.markcrocker.purifier.LocalVariables

Constructs a new LocalVariables object from an array of existing StackMapTypes

log - Static variable in class com.markcrocker.purifier.OperandStack

log - Static variable in class com.markcrocker.purifier.StackMapGen

log - Static variable in class com.markcrocker.purifier.LocalVariables

log - Static variable in class com.markcrocker.purifier.Frame

M

main(String[]) - Static method in class com.markcrocker.purifier.StackMapPrinter

main(String[]) - Static method in class com.markcrocker.purifier.StackMapGenTest

Main method will automatically run the tests in the console.

main(String[]) - Static method in class com.markcrocker.purifier.DebugStackMapGenTest

Main method will automatically run the tests in the console.

main(String[]) - Static method in class com.markcrocker.purifier.StackMapGen

main(String[]) - Static method in class com.markcrocker.purifier.BranchStackTest

main(String[]) - Static method in class com.markcrocker.purifier.CodePrinter

maxStack - Variable in class com.markcrocker.purifier.OperandStack

The maximum number of stack slots this OperandStack instance may hold.

merge(OperandStack) - Method in class com.markcrocker.purifier.OperandStack

Merges two OperandStacks according to JVM Specification 4.9.2

messedUpArgs(Integer[]) - Method in class com.markcrocker.purifier.testcases.ProblemCases

methodEntrySetup(MethodGen, ConstantPoolGen) - Method in class com.markcrocker.purifier.LocalVariables

Setup LocalVariables to be pre-initialized in a way that is suitable for normal Method invokation.

mg - Variable in class com.markcrocker.purifier.BranchStackTest

minimalExcessiveMerging() - Method in class com.markcrocker.purifier.testcases.ProblemCases

minimalExcessiveMergingb() - Method in class com.markcrocker.purifier.testcases.ProblemCases

Uses a custom class that has a private inner class that implements an interface and a method that returns that inner class.

MinimalIf - class com.markcrocker.purifier.testcases.MinimalIf.

MinimalIf() - Constructor for class com.markcrocker.purifier.testcases.MinimalIf

MinimalNoSM - class com.markcrocker.purifier.testcases.MinimalNoSM.

MinimalNoSM() - Constructor for class com.markcrocker.purifier.testcases.MinimalNoSM

minimalRequiresPostExceptionMerge() - Method in class com.markcrocker.purifier.testcases.ProblemCases

multipleBranchesWithSameTarget() - Method in class com.markcrocker.purifier.testcases.SpecialCases

All branches in this method end up going to the iinc instruction at the end of the method.

N

nestedExceptionHandlersConflict(Integer[]) - Method in class com.markcrocker.purifier.testcases.ProblemCases

Intended to show uninitialized try block frame, but fails for two totally unrelated reasons.

nestedExceptionHandlersConflictWithUnknown(Integer[]) - Method in class com.markcrocker.purifier.testcases.UniqueProblemCases

Intended to show uninitialized try block frame, but fails for two totally unrelated reasons.

nestedIfsNLotsOParams(int, String, int, String, int, String, int, String) - Method in class com.markcrocker.purifier.testcases.CommonCases

newObjectOnStack() - Method in class com.markcrocker.purifier.testcases.SpecialCases

Puts an ITEM_NewObject on the stack.

nonCLDCInstruction(InstructionHandle) - Method in class com.markcrocker.purifier.StackMapGen

nullObjectLateInit() - Method in class com.markcrocker.purifier.testcases.ProblemCases

This is a counter example to the nullObjectNeverInit case.

nullObjectNeverInit() - Method in class com.markcrocker.purifier.testcases.ProblemCases

This is very similar to the last method except that the String array is never intialized to point to a real reference.

nullObjectNeverInit2() - Method in class com.markcrocker.purifier.testcases.ProblemCases

This is very similar to the unresolvedNullObject method except that the String array is never intialized to point to a real reference.

NUMBEROFLOCALS - Static variable in class com.markcrocker.purifier.StackMapGen

NUMBEROFSTACKITEMS - Static variable in class com.markcrocker.purifier.StackMapGen

O

OperandStack - class com.markcrocker.purifier.OperandStack.

This class implements a stack used that is used for StackMap generation.

OperandStack(int) - Constructor for class com.markcrocker.purifier.OperandStack

Creates an empty stack with a maximum of maxStack slots.

OperandStack(int, StackMapType) - Constructor for class com.markcrocker.purifier.OperandStack

Creates an otherwise empty stack with a maximum of maxStack slots and the StackMapType 'stackMaptype' object at the top.

P

passesPass3a() - Method in class com.markcrocker.purifier.testcases.ProblemCases

Almost identical to failsPass3a, but passes JustIce verification pass3a.

pauseApp() - Method in class com.markcrocker.purifier.testcases.ExceptionCases

pauseApp() - Method in class com.markcrocker.purifier.testcases.CommonCases

pauseApp() - Method in class com.markcrocker.purifier.testcases.MinimalNoSM

pauseApp() - Method in class com.markcrocker.purifier.testcases.SpecialCases

pauseApp() - Method in class com.markcrocker.purifier.testcases.UniqueProblemCases

pauseApp() - Method in class com.markcrocker.purifier.testcases.MinimalIf

pauseApp() - Method in class com.markcrocker.purifier.testcases.ProblemCases

peek() - Method in class com.markcrocker.purifier.OperandStack

Returns the element on top of the stack.

peek(int) - Method in class com.markcrocker.purifier.OperandStack

Returns the element that's i elements below the top element; that means, if i==0 the top element is returned.

pop() - Method in class com.markcrocker.purifier.OperandStack

Returns the element on top of the stack.

pop() - Method in class com.markcrocker.purifier.BranchStack

Pop a branch target off of the branch target stack

pop(int) - Method in class com.markcrocker.purifier.OperandStack

Pops i elements off the stack.

postExceptionMergeNotRequired() - Method in class com.markcrocker.purifier.testcases.ProblemCases

Almost identical to requiresPostExceptionMerge3, but doesn't have the same issue because the array is declared before the try block.

postExceptionMergeNotRequired2() - Method in class com.markcrocker.purifier.testcases.ProblemCases

Almost identical to requiresPostExceptionMerge3, but doesn't have the same issue because the vector variable shows up in the catch statement.

printCode(Method[]) - Static method in class com.markcrocker.purifier.CodePrinter

privateLongPrimative - Variable in class com.markcrocker.purifier.testcases.CommonCases

privateMethod() - Method in class com.markcrocker.purifier.testcases.CommonCases

privateMethodNLotsOParams(int, String, int, String, int, String, int, String) - Method in class com.markcrocker.purifier.testcases.CommonCases

privateObject - Variable in class com.markcrocker.purifier.testcases.CommonCases

privatePrimitive - Variable in class com.markcrocker.purifier.testcases.CommonCases

privateStaticFinalMethod() - Static method in class com.markcrocker.purifier.testcases.CommonCases

privateStaticFinalMethodNLotsOParams(int, String, int, String, int, String, int, String) - Static method in class com.markcrocker.purifier.testcases.CommonCases

privateStaticFinalObject - Static variable in class com.markcrocker.purifier.testcases.CommonCases

privateStaticFinalPrimitive - Static variable in class com.markcrocker.purifier.testcases.CommonCases

privateStaticMethod() - Static method in class com.markcrocker.purifier.testcases.CommonCases

privateStaticMethodNLotsOParams(int, String, int, String, int, String, int, String) - Static method in class com.markcrocker.purifier.testcases.CommonCases

privateStaticObject - Static variable in class com.markcrocker.purifier.testcases.CommonCases

privateStaticPrimitive - Static variable in class com.markcrocker.purifier.testcases.CommonCases

ProblemCases - class com.markcrocker.purifier.testcases.ProblemCases.

The ProblemCases class contains methods that are intended to illustrate cases where the Purifier has problems.

ProblemCases() - Constructor for class com.markcrocker.purifier.testcases.ProblemCases

publicObject - Variable in class com.markcrocker.purifier.testcases.CommonCases

publicPrimitive - Variable in class com.markcrocker.purifier.testcases.CommonCases

push(InstructionHandle, int, Frame) - Method in class com.markcrocker.purifier.BranchStack

Push a branch target onto the branch target stack unless it has already been visited.

push(StackMapType) - Method in class com.markcrocker.purifier.OperandStack

Pushes a StackMapType object onto the stack.

put(Object, Frame) - Method in class com.markcrocker.purifier.FrameHash

Put a frame into the hashtable If a Frame has already been stored and a discrepancy exists between the local variables in the new frame and the stored frame, then the conflict is resolved and the stored frame is updated accordingly.

R

remove(int) - Method in class com.markcrocker.purifier.testcases.ProblemCases

Adds a null to the LocalVariables that is mysteriously converted to a java.lang.Object by BCEL JustICE Verifier (well Pass3bVerifier actually).

remove2(int) - Method in class com.markcrocker.purifier.testcases.ProblemCases

Counter example to the remove(int) method above.

requiresPostExceptionMerge() - Method in class com.markcrocker.purifier.testcases.ProblemCases

Modified version of nullObjectNeverInit intended to illustrate problems with merging Frames from Exception handlers with Frames from normal execution

requiresPostExceptionMerge2() - Method in class com.markcrocker.purifier.testcases.ProblemCases

requiresPostExceptionMerge3() - Method in class com.markcrocker.purifier.testcases.ProblemCases

requiresPostExceptionMerge4() - Method in class com.markcrocker.purifier.testcases.ProblemCases

Doesn't have the same problem as excessiveMerging4 despite being virtually identical.

resolveConflicts(LocalVariables) - Method in class com.markcrocker.purifier.LocalVariables

If a target has already been visited and a discrepancy exists between the local variables on the new Frame and the stored Frame, then the conflict has to be resolved.

retrievesAPrimitiveArray(Integer[]) - Method in class com.markcrocker.purifier.testcases.CommonCases

retrievesAPrimitiveArray(Integer[]) - Method in class com.markcrocker.purifier.testcases.ProblemCases

intended to show a problem that occurs with anewarry, but isn't formulated correctly to show that situation.

returnsAnObject() - Method in class com.markcrocker.purifier.testcases.CommonCases

returnsAnObjectNHasLotsOParams(int, String, int, String, int, String, int, String) - Method in class com.markcrocker.purifier.testcases.CommonCases

returnsANullNHasLotsOParams(int, String, int, String, int, String, int, String) - Method in class com.markcrocker.purifier.testcases.CommonCases

returnsANullObject(String) - Method in class com.markcrocker.purifier.testcases.CommonCases

returnsAPrimitive() - Method in class com.markcrocker.purifier.testcases.CommonCases

returnsAPrimitiveArray() - Method in class com.markcrocker.purifier.testcases.CommonCases

returnsAPrimitiveNHasLotsOParams(int, String, int, String, int, String, int, String) - Method in class com.markcrocker.purifier.testcases.CommonCases

S

set(int, byte, int, ConstantPool) - Method in class com.markcrocker.purifier.LocalVariables

Sets a new Type for the given local variable slot.

set(int, StackMapType) - Method in class com.markcrocker.purifier.LocalVariables

Sets a new Type for the given local variable slot.

setAstoreOverride(int, int) - Method in class com.markcrocker.purifier.LocalVariables

setFrame(int, Frame) - Method in class com.markcrocker.purifier.FrameStore

Set an entry to the given frame.

setLocals(LocalVariables) - Method in class com.markcrocker.purifier.Frame

Replace the LocalVariables stored in this frame with a copy of another set of LocalVariables.

setUp() - Method in class com.markcrocker.purifier.BranchStackTest

sii - Variable in class com.markcrocker.purifier.testcases.UsesSomeInterface

simulatedJVMPeek(int) - Method in class com.markcrocker.purifier.OperandStack

Returns the element that's i elements below the top element of the simulated JVM operand stack; that means, iff i==0 the top element is returned.

simulatedJVMPop(int) - Method in class com.markcrocker.purifier.OperandStack

Pops i elements off the stack.

SIZE - Static variable in class com.markcrocker.purifier.BranchStackTest

size() - Method in class com.markcrocker.purifier.OperandStack

Alias for getSize().

SomeInterface - interface com.markcrocker.purifier.testcases.SomeInterface.

SpecialCases - class com.markcrocker.purifier.testcases.SpecialCases.

The SpecialCases class file is designed to provide a set of Java structures that can be used to check the Purifier StackMapGen.generate against special cases that it has been designed to recognize and compensate for.

SpecialCases() - Constructor for class com.markcrocker.purifier.testcases.SpecialCases

squeeze(BranchTarget) - Method in class com.markcrocker.purifier.BranchStack

"Squeeze" a branch target onto the bottom branch target stack.

stack - Variable in class com.markcrocker.purifier.OperandStack

We hold the StackMapTypes here.

stack - Variable in class com.markcrocker.purifier.Frame

stackDepth - Variable in class com.markcrocker.purifier.BranchTarget

STACKMAP - Static variable in class com.markcrocker.purifier.StackMapGen

Attribute name of a StackMap.

STACKMAPENTRY - Static variable in class com.markcrocker.purifier.StackMapGen

Number of bytes of support data of every StackMapEntry

StackMapEntryComparator - class com.markcrocker.purifier.StackMapEntryComparator.

Compare StackMapEntries so that they can be sorted by java.util.Arrays.sort method.

StackMapEntryComparator() - Constructor for class com.markcrocker.purifier.StackMapEntryComparator

stackMapFrames - Variable in class com.markcrocker.purifier.StackMapGen

A StackMap is a collection of StackMapEntry objects.

StackMapGen - class com.markcrocker.purifier.StackMapGen.

A class to facilitate the generation of a StackMap.

StackMapGen() - Constructor for class com.markcrocker.purifier.StackMapGen

StackMapGenTest - class com.markcrocker.purifier.StackMapGenTest.

StackMapGenTest(String) - Constructor for class com.markcrocker.purifier.StackMapGenTest

STACKMAPHEADER - Static variable in class com.markcrocker.purifier.StackMapGen

Number of bytes in the header data of every StackMap

STACKMAPLENGTH - Static variable in class com.markcrocker.purifier.StackMapGen

StackMapPrinter - class com.markcrocker.purifier.StackMapPrinter.

Read class file and print out StackMaps.

StackMapPrinter() - Constructor for class com.markcrocker.purifier.StackMapPrinter

STACKMAPTYPE - Static variable in class com.markcrocker.purifier.StackMapGen

Number of bytes in each StackMapType except ITEM_Object and ObjectNew

stackMapTypeEquals(StackMapType, StackMapType) - Static method in class com.markcrocker.purifier.LocalVariables

STACKMAPTYPEINDEX - Static variable in class com.markcrocker.purifier.StackMapGen

stackMapTypeToString(StackMapType) - Static method in class com.markcrocker.purifier.StackMapPrinter

stackMapTypeToString(StackMapType) - Static method in class com.markcrocker.purifier.LocalVariables

stackMapTypeToString(StackMapType, String, int) - Static method in class com.markcrocker.purifier.LocalVariables

STACKMAPTYPETYPE - Static variable in class com.markcrocker.purifier.StackMapGen

startApp() - Method in class com.markcrocker.purifier.testcases.ExceptionCases

startApp() - Method in class com.markcrocker.purifier.testcases.CommonCases

startApp() - Method in class com.markcrocker.purifier.testcases.MinimalNoSM

startApp() - Method in class com.markcrocker.purifier.testcases.SpecialCases

startApp() - Method in class com.markcrocker.purifier.testcases.UniqueProblemCases

startApp() - Method in class com.markcrocker.purifier.testcases.MinimalIf

startApp() - Method in class com.markcrocker.purifier.testcases.ProblemCases

storeInstruction(Frame, int) - Method in class com.markcrocker.purifier.StackMapGen

suite() - Static method in class com.markcrocker.purifier.StackMapGenTest

A test suite that generates StackMapGen.generateStackMap TestCases for every method in every class File in the TestCases directory and subdirectories.

suite() - Static method in class com.markcrocker.purifier.DebugStackMapGenTest

A test suite that generates StackMapGen.generateStackMap TestCases for every method in every class File in the TestCases directory and subdirectories.

suite() - Static method in class com.markcrocker.purifier.BranchStackTest

suite(File, int) - Static method in class com.markcrocker.purifier.StackMapGenTest

A test suite that generates StackMapGen.generateStackMap TestCases for methods in a class File.

suite(File, int) - Static method in class com.markcrocker.purifier.DebugStackMapGenTest

A test suite that generates StackMapGen.generateStackMap TestCases for methods in a class File.

suite(File, int, String) - Static method in class com.markcrocker.purifier.StackMapGenTest

A test suite that generates StackMapGen.generateStackMap TestCases for methods in a class File.

suite(File, int, String) - Static method in class com.markcrocker.purifier.DebugStackMapGenTest

A test suite that generates StackMapGen.generateStackMap TestCases for methods in a class File.

suite(File, String) - Static method in class com.markcrocker.purifier.StackMapGenTest

A test suite that generates a StackMapGen.generateStackMap TestCase for a method matching methodName in a class File.

suite(File, String) - Static method in class com.markcrocker.purifier.DebugStackMapGenTest

A test suite that generates a StackMapGen.generateStackMap TestCase for a method matching methodName in a class File.

T

takesAnObject(String) - Method in class com.markcrocker.purifier.testcases.CommonCases

takesAnObjectArray(Integer[]) - Method in class com.markcrocker.purifier.testcases.CommonCases

takesAPrimitive(int) - Method in class com.markcrocker.purifier.testcases.CommonCases

takesAPrimitiveAndAnObject(int, String) - Method in class com.markcrocker.purifier.testcases.CommonCases

takesAPrimitiveArray(int[]) - Method in class com.markcrocker.purifier.testcases.CommonCases

takesLongPrimitivesAndObjects(long, String, int, String, long, String, int, String) - Method in class com.markcrocker.purifier.testcases.SpecialCases

Longs take up two slots in local variables.

takesPrimitivesAndObjects(int, String, int, String, int, String, int, String) - Method in class com.markcrocker.purifier.testcases.CommonCases

target - Variable in class com.markcrocker.purifier.BranchTarget

testGenerateStackMap(MethodGen, ConstantPoolGen) - Method in class com.markcrocker.purifier.StackMapGenTest

Tests StackMapGen.generateStackMap method by comparing it against the pre- existing StackMap.

testLegitBogusInStackMap(MethodGen, ConstantPoolGen) - Method in class com.markcrocker.purifier.DebugStackMapGenTest

Finds methods that legitimately have an entry of type ITEM_Bogus.

testPush() - Method in class com.markcrocker.purifier.BranchStackTest

testResolveConflicts() - Method in class com.markcrocker.purifier.BranchStackTest

testSqueeze() - Method in class com.markcrocker.purifier.BranchStackTest

throwsCaughtException() - Static method in class com.markcrocker.purifier.testcases.ExceptionCases

toString() - Method in class com.markcrocker.purifier.OperandStack

Returns a String representation of this OperandStack instance.

toString() - Method in class com.markcrocker.purifier.LocalVariables

Returns a String representation of the LocalVariables object.

toString() - Method in class com.markcrocker.purifier.BranchTarget

toString() - Method in class com.markcrocker.purifier.Frame

Returns a String representation of the Frame instance.

toString(Method) - Static method in class com.markcrocker.purifier.StackMapPrinter

Write method bytecode and StackMap of the given JavaClass to console.

toString(StackMap) - Static method in class com.markcrocker.purifier.StackMapPrinter

toString(StringBuffer, StackMap) - Static method in class com.markcrocker.purifier.StackMapPrinter

toString(String, int) - Method in class com.markcrocker.purifier.OperandStack

Returns a String representation of this OperandStack instance prepending each line with the indent string.

toString(String, int) - Method in class com.markcrocker.purifier.LocalVariables

Returns a String representation of the LocalVariables object, prepending each line with the indent string.

toString(String, int) - Method in class com.markcrocker.purifier.Frame

Returns a String representation of the Frame instance, prepending each line with the indent string.

typeNotDeclared() - Method in class com.markcrocker.purifier.testcases.SpecialCases

the string, startsNull is stored on the LocalVariables array as an ITEM_Null at first, because there is no way to tell what type it is when the Purifier gets to the aconst_null instruction.

U

UniqueProblemCases - class com.markcrocker.purifier.testcases.UniqueProblemCases.

The UniqueProblemCases class contains methods that are intended to illustrate cases where the Purifier has problems.

UniqueProblemCases() - Constructor for class com.markcrocker.purifier.testcases.UniqueProblemCases

unreferencedHiddenObjectSignature() - Method in class com.markcrocker.purifier.testcases.UniqueProblemCases

Has an object signature that isn't in the ConstantPool.

unreferencedObjectSignature() - Method in class com.markcrocker.purifier.testcases.UniqueProblemCases

Has an object signature that isn't in the ConstantPool.

unreferencedObjectSignature() - Method in class com.markcrocker.purifier.testcases.ProblemCases

Has an object signature that isn't in the ConstantPool Doesn't work with all of these other methods in this class too.

unreferencedObjectSignatureInStackMap() - Method in class com.markcrocker.purifier.testcases.SpecialCases

Has an object signature that isn't in the ConstantPool.

unresolvedNullObject() - Method in class com.markcrocker.purifier.testcases.ProblemCases

Test case the illustrates the Unresolved Null Object Issue.

updateFrame(InstructionList, InstructionHandle, Frame, Frame, ConstantPoolGen) - Method in class com.markcrocker.purifier.StackMapGen

usesAPrivateObject() - Method in class com.markcrocker.purifier.testcases.CommonCases

usesAPrivatePrimitive() - Method in class com.markcrocker.purifier.testcases.CommonCases

usesAPrivateStaticFinalObject() - Method in class com.markcrocker.purifier.testcases.CommonCases

usesAPrivateStaticFinalPrimitive() - Method in class com.markcrocker.purifier.testcases.CommonCases

usesAPrivateStaticObject() - Method in class com.markcrocker.purifier.testcases.CommonCases

usesAPrivateStaticPrimitive() - Method in class com.markcrocker.purifier.testcases.CommonCases

UsesSomeInterface - class com.markcrocker.purifier.testcases.UsesSomeInterface.

UsesSomeInterface.SomeInterfaceImpl - class com.markcrocker.purifier.testcases.UsesSomeInterface.SomeInterfaceImpl.

UsesSomeInterface.SomeInterfaceImpl(UsesSomeInterface) - Constructor for class com.markcrocker.purifier.testcases.UsesSomeInterface.SomeInterfaceImpl

UsesSomeInterface() - Method in class com.markcrocker.purifier.testcases.UsesSomeInterface

UsesSomeInterface() - Constructor for class com.markcrocker.purifier.testcases.UsesSomeInterface

V

vector - Variable in class com.markcrocker.purifier.testcases.ProblemCases

visit(InstructionHandle, int, Frame) - Method in class com.markcrocker.purifier.BranchStack

Create a new BranchTarget instance and add it to the list of visited targets.

visited(InstructionHandle) - Method in class com.markcrocker.purifier.BranchStack

Indicates whether a particular branch target has been visited before.

visitedTargets - Variable in class com.markcrocker.purifier.BranchStack

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