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

AssertRewriter.ControlFlowSwitchExpressionTransformer.BreakClassification

Field Summary

Fields

Modifier and Type	Field	Description
(package private) List<StructuredStatement>	throwSS

Fields inherited from class AssertRewriter.ControlFlowSwitchExpressionTransformer

failed, falseFound, single, totalStatements, trueFound

Constructor Summary

Constructors

Constructor	Description
AssertionTrackingControlFlowSwitchExpressionTransformer(BlockIdentifier trueBlock, BlockIdentifier falseBlock, Map<Op04StructuredStatement, StructuredExpressionYield> replacements)

Method Summary

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

Methods inherited from class AssertRewriter.ControlFlowSwitchExpressionTransformer

classifyBreak, transform

Methods inherited from class Object

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

Field Details

throwSS

List<StructuredStatement> throwSS

Constructor Details

AssertionTrackingControlFlowSwitchExpressionTransformer

AssertionTrackingControlFlowSwitchExpressionTransformer(BlockIdentifier trueBlock,
 BlockIdentifier falseBlock,
 Map<Op04StructuredStatement, StructuredExpressionYield> replacements)

Method Details

additionalHandling

void additionalHandling(StructuredStatement in)

Overrides:

additionalHandling in class AssertRewriter.ControlFlowSwitchExpressionTransformer