org.benf.cfr.reader.bytecode.analysis.opgraph.op4rewriters

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 and 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 and Description
AssertionTrackingControlFlowSwitchExpressionTransformer(BlockIdentifier trueBlock, BlockIdentifier falseBlock, java.util.Map<Op04StructuredStatement,StructuredExpressionYield> replacements)

Method Summary

Modifier and Type	Method and Description
(package private) void	additionalHandling(StructuredStatement in)

Methods inherited from class org.benf.cfr.reader.bytecode.analysis.opgraph.op4rewriters.AssertRewriter.ControlFlowSwitchExpressionTransformer

classifyBreak, transform

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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 class AssertRewriter.ControlFlowSwitchExpressionTransformer