public class DebugPrinter extends java.lang.Object implements PartialEvaluatorStateTracker
| Constructor and Description |
|---|
DebugPrinter(boolean printDebugInfo,
boolean printDebugResults) |
| Modifier and Type | Method and Description |
|---|---|
void |
afterInstructionEvaluation(Clazz clazz,
Method method,
int instructionOffset,
Instruction instruction,
TracedVariables variablesAfter,
TracedStack stackAfter,
BasicBranchUnit branchUnit,
InstructionOffsetValue branchTarget)
The instruction is evaluated and branching information is obtained.
|
void |
definitiveBranch(Clazz clazz,
Method method,
int instructionOffset,
Instruction instruction,
TracedVariables variablesAfter,
TracedStack stackAfter,
InstructionOffsetValue branchTargets)
The instruction causes a definitive branch.
|
void |
endSubroutine(Clazz clazz,
Method method,
TracedVariables variablesAfter,
TracedStack stackAfter,
int subroutineStart,
int subroutineEnd)
The evaluation and generalization of the subroutine is done, the partial evaluator moves on.
|
void |
evaluationResults(Clazz clazz,
Method method,
CodeAttribute codeAttribute,
PartialEvaluator evaluator)
Partial evaluator is done evaluating the code attribute.
|
void |
generalizeInstructionBlock(Clazz clazz,
Method method,
int instructionOffset,
Instruction instruction,
TracedVariables variablesBefore,
TracedStack stackBefore,
int evaluationCount)
The instruction has been seen a certain number of times and the evaluator deems it time to start generalizing the instruction.
|
void |
generalizeSubroutine(Clazz clazz,
Method method,
TracedVariables startVariables,
TracedStack startStack,
int subroutineStart,
int subroutineEnd)
The partial evaluator will start generalizing the results of the evaluated subroutine.
|
void |
instructionBlockDone(Clazz clazz,
Method method,
CodeAttribute codeAttribute,
TracedVariables startVariables,
TracedStack startStack,
int startOffset)
An instruction block has been evaluated.
|
void |
registerAlternativeBranch(Clazz clazz,
Method method,
int fromInstructionOffset,
Instruction fromInstruction,
TracedVariables variablesAfter,
TracedStack stackAfter,
int branchIndex,
int branchTargetCount,
int offset)
The evaluator detects multiple branches need to be evaluated.
|
void |
registerException(Clazz clazz,
Method method,
CodeAttribute codeAttribute,
PartialEvaluator evaluator,
java.lang.Throwable cause)
An exception has been thrown while evaluating the current code attribute.
|
void |
registerExceptionHandler(Clazz clazz,
Method method,
int startPC,
int endPC,
ExceptionInfo info)
Partial evaluator starts evaluating a specific exception handler.
|
void |
registerSubroutineReturn(Clazz clazz,
Method method,
int returnOffset,
TracedVariables returnVariables,
TracedStack returnStack)
The current instruction was RET and the partial evaluator pushes the return address to the branch stack of the calling partial evaluator.
|
void |
registerUnusedExceptionHandler(Clazz clazz,
Method method,
int startPC,
int endPC,
ExceptionInfo info)
Partial evaluator detects that the evaluation of the exception handler over a certain range is not needed.
|
void |
skipInstructionBlock(Clazz clazz,
Method method,
int instructionOffset,
Instruction instruction,
TracedVariables variablesBefore,
TracedStack stackBefore,
int evaluationCount)
The instruction within this instruction block has been seen with the those variables and this stack,
and thus it is not needed to evaluate this block any further.
|
void |
startBranchCodeBlockEvaluation(java.util.List<PartialEvaluator.InstructionBlock> branchStack)
Evaluation of the first general block has been done.
|
void |
startCodeAttribute(Clazz clazz,
Method method,
CodeAttribute codeAttribute,
Variables parameters)
The partial evaluator starts with the evaluation of a code block.
|
void |
startExceptionHandlingForBlock(Clazz clazz,
Method method,
int startOffset,
int endOffset)
Partial evaluator starts evaluating the exceptions handlers that catch over a certain instruction range.
|
void |
startInstructionBlock(Clazz clazz,
Method method,
CodeAttribute codeAttribute,
TracedVariables startVariables,
TracedStack startStack,
int startOffset)
Partial evaluator starts evaluating an instruction block,
specified by an instruction range within the code attribute and the variables and stack it would start with.
|
void |
startInstructionEvaluation(Clazz clazz,
Method method,
int instructionOffset,
Instruction instruction,
TracedVariables variablesBefore,
TracedStack stackBefore,
int evaluationCount)
The partial evaluator will forward the evaluation of the instruction.
|
void |
startSubroutine(Clazz clazz,
Method method,
TracedVariables startVariables,
TracedStack startStack,
int subroutineStart,
int subroutineEnd)
The current instruction was JSR or JSR_W and the partial evaluator starts with the evaluation of the subroutine.
|
public DebugPrinter(boolean printDebugInfo,
boolean printDebugResults)
public void startCodeAttribute(Clazz clazz, Method method, CodeAttribute codeAttribute, Variables parameters)
PartialEvaluatorStateTrackerstartCodeAttribute in interface PartialEvaluatorStateTrackerpublic void registerException(Clazz clazz, Method method, CodeAttribute codeAttribute, PartialEvaluator evaluator, java.lang.Throwable cause)
PartialEvaluatorStateTrackerregisterException in interface PartialEvaluatorStateTrackerpublic void startExceptionHandlingForBlock(Clazz clazz, Method method, int startOffset, int endOffset)
PartialEvaluatorStateTrackerstartExceptionHandlingForBlock in interface PartialEvaluatorStateTrackerpublic void registerExceptionHandler(Clazz clazz, Method method, int startPC, int endPC, ExceptionInfo info)
PartialEvaluatorStateTrackerregisterExceptionHandler in interface PartialEvaluatorStateTrackerpublic void registerUnusedExceptionHandler(Clazz clazz, Method method, int startPC, int endPC, ExceptionInfo info)
PartialEvaluatorStateTrackerregisterUnusedExceptionHandler in interface PartialEvaluatorStateTrackerpublic void evaluationResults(Clazz clazz, Method method, CodeAttribute codeAttribute, PartialEvaluator evaluator)
PartialEvaluatorStateTrackerevaluationResults in interface PartialEvaluatorStateTrackerpublic void startInstructionBlock(Clazz clazz, Method method, CodeAttribute codeAttribute, TracedVariables startVariables, TracedStack startStack, int startOffset)
PartialEvaluatorStateTrackerstartInstructionBlock in interface PartialEvaluatorStateTrackerpublic void startBranchCodeBlockEvaluation(java.util.List<PartialEvaluator.InstructionBlock> branchStack)
PartialEvaluatorStateTrackerstartBranchCodeBlockEvaluation in interface PartialEvaluatorStateTrackerpublic void instructionBlockDone(Clazz clazz, Method method, CodeAttribute codeAttribute, TracedVariables startVariables, TracedStack startStack, int startOffset)
PartialEvaluatorStateTrackerinstructionBlockDone in interface PartialEvaluatorStateTrackerpublic void skipInstructionBlock(Clazz clazz, Method method, int instructionOffset, Instruction instruction, TracedVariables variablesBefore, TracedStack stackBefore, int evaluationCount)
PartialEvaluatorStateTrackerskipInstructionBlock in interface PartialEvaluatorStateTrackerpublic void generalizeInstructionBlock(Clazz clazz, Method method, int instructionOffset, Instruction instruction, TracedVariables variablesBefore, TracedStack stackBefore, int evaluationCount)
PartialEvaluatorStateTrackergeneralizeInstructionBlock in interface PartialEvaluatorStateTrackerpublic void startInstructionEvaluation(Clazz clazz, Method method, int instructionOffset, Instruction instruction, TracedVariables variablesBefore, TracedStack stackBefore, int evaluationCount)
PartialEvaluatorStateTrackerstartInstructionEvaluation in interface PartialEvaluatorStateTrackerpublic void afterInstructionEvaluation(Clazz clazz, Method method, int instructionOffset, Instruction instruction, TracedVariables variablesAfter, TracedStack stackAfter, BasicBranchUnit branchUnit, InstructionOffsetValue branchTarget)
PartialEvaluatorStateTrackerafterInstructionEvaluation in interface PartialEvaluatorStateTrackerpublic void definitiveBranch(Clazz clazz, Method method, int instructionOffset, Instruction instruction, TracedVariables variablesAfter, TracedStack stackAfter, InstructionOffsetValue branchTargets)
PartialEvaluatorStateTrackerdefinitiveBranch in interface PartialEvaluatorStateTrackerpublic void registerAlternativeBranch(Clazz clazz, Method method, int fromInstructionOffset, Instruction fromInstruction, TracedVariables variablesAfter, TracedStack stackAfter, int branchIndex, int branchTargetCount, int offset)
PartialEvaluatorStateTrackerregisterAlternativeBranch in interface PartialEvaluatorStateTrackerpublic void startSubroutine(Clazz clazz, Method method, TracedVariables startVariables, TracedStack startStack, int subroutineStart, int subroutineEnd)
PartialEvaluatorStateTrackerstartSubroutine in interface PartialEvaluatorStateTrackerpublic void registerSubroutineReturn(Clazz clazz, Method method, int returnOffset, TracedVariables returnVariables, TracedStack returnStack)
PartialEvaluatorStateTrackerregisterSubroutineReturn in interface PartialEvaluatorStateTrackerpublic void generalizeSubroutine(Clazz clazz, Method method, TracedVariables startVariables, TracedStack startStack, int subroutineStart, int subroutineEnd)
PartialEvaluatorStateTrackergeneralizeSubroutine in interface PartialEvaluatorStateTrackerpublic void endSubroutine(Clazz clazz, Method method, TracedVariables variablesAfter, TracedStack stackAfter, int subroutineStart, int subroutineEnd)
PartialEvaluatorStateTrackerendSubroutine in interface PartialEvaluatorStateTracker