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
Fields Modifier and Type Field Description (package private) java.util.List<StructuredStatement>
throwSS
-
Fields inherited from class org.benf.cfr.reader.bytecode.analysis.opgraph.op4rewriters.AssertRewriter.ControlFlowSwitchExpressionTransformer
failed, falseFound, single, totalStatements, trueFound
-
-
Constructor Summary
Constructors Constructor Description AssertionTrackingControlFlowSwitchExpressionTransformer(BlockIdentifier trueBlock, BlockIdentifier falseBlock, java.util.Map<Op04StructuredStatement,StructuredExpressionYield> replacements)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description (package private) void
additionalHandling(StructuredStatement in)
-
Methods inherited from class org.benf.cfr.reader.bytecode.analysis.opgraph.op4rewriters.AssertRewriter.ControlFlowSwitchExpressionTransformer
classifyBreak, transform
-
-
-
-
Field Detail
-
throwSS
java.util.List<StructuredStatement> throwSS
-
-
Constructor Detail
-
AssertionTrackingControlFlowSwitchExpressionTransformer
AssertionTrackingControlFlowSwitchExpressionTransformer(BlockIdentifier trueBlock, BlockIdentifier falseBlock, java.util.Map<Op04StructuredStatement,StructuredExpressionYield> replacements)
-
-
Method Detail
-
additionalHandling
void additionalHandling(StructuredStatement in)
- Overrides:
additionalHandling
in classAssertRewriter.ControlFlowSwitchExpressionTransformer
-
-