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 Object
implements StructuredStatementTransformer

Nested Class Summary

Nested Classes

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

Field Summary

Fields

Modifier and Type	Field	Description
protected boolean	failed
private BlockIdentifier	falseBlock
(package private) int	falseFound
private 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, 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 Object

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

Field Details

replacements

private 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 Details

ControlFlowSwitchExpressionTransformer

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

Method Details

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)