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

Class AssertRewriter.ControlFlowSwitchExpressionTransformer

java.lang.Object

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

All Implemented Interfaces:

StructuredStatementTransformer

Direct Known Subclasses:

AssertRewriter.AssertionTrackingControlFlowSwitchExpressionTransformer

Enclosing class:

AssertRewriter

static class AssertRewriter.ControlFlowSwitchExpressionTransformer
extends java.lang.Object
implements StructuredStatementTransformer

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
(package private) static class	AssertRewriter.ControlFlowSwitchExpressionTransformer.BreakClassification

Field Summary

Fields

Modifier and Type	Field	Description
protected boolean	failed
private BlockIdentifier	falseBlock
(package private) int	falseFound
private java.util.Map<Op04StructuredStatement,StructuredExpressionYield>	replacements
(package private) Expression	single
(package private) int	totalStatements
private BlockIdentifier	trueBlock
(package private) int	trueFound

Constructor Summary

Constructors

Modifier	Constructor	Description
private	ControlFlowSwitchExpressionTransformer(BlockIdentifier trueBlock, BlockIdentifier falseBlock, java.util.Map<Op04StructuredStatement,StructuredExpressionYield> replacements)

Method Summary

Modifier and Type	Method	Description
(package private) void	additionalHandling(StructuredStatement in)
(package private) AssertRewriter.ControlFlowSwitchExpressionTransformer.BreakClassification	classifyBreak(StructuredBreak in, StructuredScope scope)
StructuredStatement	transform(StructuredStatement in, StructuredScope scope)

Methods inherited from class java.lang.Object

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

Field Detail

replacements

private java.util.Map<Op04StructuredStatement,StructuredExpressionYield> replacements

failed

protected boolean failed

totalStatements

int totalStatements

single

Expression single

trueFound

int trueFound

falseFound

int falseFound

trueBlock

private BlockIdentifier trueBlock

falseBlock

private BlockIdentifier falseBlock

Constructor Detail

ControlFlowSwitchExpressionTransformer

private ControlFlowSwitchExpressionTransformer(BlockIdentifier trueBlock,
                                               BlockIdentifier falseBlock,
                                               java.util.Map<Op04StructuredStatement,StructuredExpressionYield> replacements)

Method Detail

additionalHandling

void additionalHandling(StructuredStatement in)

transform

public StructuredStatement transform(StructuredStatement in,
                                     StructuredScope scope)

Specified by:

transform in interface StructuredStatementTransformer

classifyBreak

AssertRewriter.ControlFlowSwitchExpressionTransformer.BreakClassification classifyBreak(StructuredBreak in,
                                                                                        StructuredScope scope)