Class AssertRewriter.AssertionTrackingControlFlowSwitchExpressionTransformer
java.lang.Object
org.benf.cfr.reader.bytecode.analysis.opgraph.op4rewriters.AssertRewriter.ControlFlowSwitchExpressionTransformer
org.benf.cfr.reader.bytecode.analysis.opgraph.op4rewriters.AssertRewriter.AssertionTrackingControlFlowSwitchExpressionTransformer
- All Implemented Interfaces:
StructuredStatementTransformer
- Enclosing class:
- AssertRewriter
static class AssertRewriter.AssertionTrackingControlFlowSwitchExpressionTransformer
extends AssertRewriter.ControlFlowSwitchExpressionTransformer
-
Nested Class Summary
Nested classes/interfaces inherited from class org.benf.cfr.reader.bytecode.analysis.opgraph.op4rewriters.AssertRewriter.ControlFlowSwitchExpressionTransformer
AssertRewriter.ControlFlowSwitchExpressionTransformer.BreakClassification
-
Field Summary
FieldsFields inherited from class org.benf.cfr.reader.bytecode.analysis.opgraph.op4rewriters.AssertRewriter.ControlFlowSwitchExpressionTransformer
failed, falseFound, single, totalStatements, trueFound
-
Constructor Summary
ConstructorsConstructorDescriptionAssertionTrackingControlFlowSwitchExpressionTransformer
(BlockIdentifier trueBlock, BlockIdentifier falseBlock, Map<Op04StructuredStatement, StructuredExpressionYield> replacements) -
Method Summary
Modifier and TypeMethodDescription(package private) void
Methods inherited from class org.benf.cfr.reader.bytecode.analysis.opgraph.op4rewriters.AssertRewriter.ControlFlowSwitchExpressionTransformer
classifyBreak, transform
-
Field Details
-
throwSS
List<StructuredStatement> throwSS
-
-
Constructor Details
-
AssertionTrackingControlFlowSwitchExpressionTransformer
AssertionTrackingControlFlowSwitchExpressionTransformer(BlockIdentifier trueBlock, BlockIdentifier falseBlock, Map<Op04StructuredStatement, StructuredExpressionYield> replacements)
-
-
Method Details
-
additionalHandling
- Overrides:
additionalHandling
in classAssertRewriter.ControlFlowSwitchExpressionTransformer
-