Package com.tonic.analysis.source.recovery

Recovering statements, expressions, names and types from the IR.

Interface Summary

Interface	Description
SlotVariablePartition.ScopeNameResolver	Resolves the source name in scope for a (slot, bytecode offset), or null when unknown.

Class Summary

Class	Description
ControlFlowContext	Shared context for control flow recovery operations.
ControlFlowContext.FieldKey	Represents a field by its owner class and field name.
ControlFlowContext.LoopFrame	An enclosing loop: its header (label anchor), continue-target (latch/increment) and exit block.
ControlFlowContext.LoopJump	A break/continue jump.
ControlFlowContext.SwitchFrame	An enclosing switch.
ControlFlowContext.SwitchJump	A jump within a switch: leaving it at its merge, or falling through to a sibling caseHeader.
EnumConstants	Resolves an enum's constants by ordinal and by name.
EnumSwitchMapRegistry	Process-wide store of recovered javac $SwitchMap$ tables, keyed by holder class and enum so two classes switching on the same enum keep separate numberings.
ExpressionRecoverer	Converts SSA IR instructions to source Expression trees.
MethodLocals	The parameter slot layout of a method: which local slots hold the receiver and parameters, and how those map to parameter indices.
MethodRecoverer	Facade that recovers a source-level method body from an IR method, wiring together name, expression, structural, and statement recovery.
NameRecoverer	Recovers variable names from debug info or generates synthetic names.
OperatorMapper	Maps IR operators to source-level operators.
RecoveryContext	Holds shared state during expression recovery.
SlotVariablePartition	Partitions each JVM local slot into one or more source variables using a reaching-definition analysis.
StatementRecoverer	Recovers Statement AST nodes from IR blocks, offering each region to the reaching-condition structurer first and falling back to the legacy walk for shapes it declines.
StructuralAnalyzer	CFG structural analysis identifying if-then-else, while, do-while, for and switch regions.
StructuralAnalyzer.RegionInfo	Information about a structured region.
SwitchMapAnalyzer	Recovers the enum constant behind each ordinal in a javac $SwitchMap holder class by reading its static initializer.
SyntheticLocalVariableTable	Builds a LocalVariableTable for a STRIPPED method from the decompiler's recovered slot model, keyed to the method's ORIGINAL bytecode offsets.
TypeRecoverer	Recovers source types from IR types.

Enum Summary

Enum	Description
ControlFlowContext.JumpKind	Which loop boundary an edge crosses.
ControlFlowContext.StructuredRegion	Represents a structured control flow region.
ControlFlowContext.SwitchJumpKind	How an edge leaves a switch case - out at the merge, or on to the next case.
NameRecoveryStrategy	Strategy for recovering variable names.

Exception Summary

Exception	Description
StatementRecoverer.RetiredSchemaRecoveryException	Signals a region classification whose schema recoverer is retired and which no engine route owned.