static class AssertRewriter.ControlFlowSwitchExpressionTransformer extends java.lang.Object implements StructuredStatementTransformer
Modifier and Type | Class and Description |
---|---|
(package private) static class |
AssertRewriter.ControlFlowSwitchExpressionTransformer.BreakClassification |
Modifier and Type | Field and 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 |
Modifier | Constructor and Description |
---|---|
private |
ControlFlowSwitchExpressionTransformer(BlockIdentifier trueBlock,
BlockIdentifier falseBlock,
java.util.Map<Op04StructuredStatement,StructuredExpressionYield> replacements) |
Modifier and Type | Method and Description |
---|---|
(package private) void |
additionalHandling(StructuredStatement in) |
(package private) AssertRewriter.ControlFlowSwitchExpressionTransformer.BreakClassification |
classifyBreak(StructuredBreak in,
StructuredScope scope) |
StructuredStatement |
transform(StructuredStatement in,
StructuredScope scope) |
private java.util.Map<Op04StructuredStatement,StructuredExpressionYield> replacements
protected boolean failed
int totalStatements
Expression single
int trueFound
int falseFound
private BlockIdentifier trueBlock
private BlockIdentifier falseBlock
private ControlFlowSwitchExpressionTransformer(BlockIdentifier trueBlock, BlockIdentifier falseBlock, java.util.Map<Op04StructuredStatement,StructuredExpressionYield> replacements)
void additionalHandling(StructuredStatement in)
public StructuredStatement transform(StructuredStatement in, StructuredScope scope)
transform
in interface StructuredStatementTransformer
AssertRewriter.ControlFlowSwitchExpressionTransformer.BreakClassification classifyBreak(StructuredBreak in, StructuredScope scope)