static class AssertRewriter.AssertionTrackingControlFlowSwitchExpressionTransformer extends AssertRewriter.ControlFlowSwitchExpressionTransformer
AssertRewriter.ControlFlowSwitchExpressionTransformer.BreakClassification
Modifier and Type | Field and Description |
---|---|
(package private) java.util.List<StructuredStatement> |
throwSS |
failed, falseFound, single, totalStatements, trueFound
Constructor and Description |
---|
AssertionTrackingControlFlowSwitchExpressionTransformer(BlockIdentifier trueBlock,
BlockIdentifier falseBlock,
java.util.Map<Op04StructuredStatement,StructuredExpressionYield> replacements) |
Modifier and Type | Method and Description |
---|---|
(package private) void |
additionalHandling(StructuredStatement in) |
classifyBreak, transform
java.util.List<StructuredStatement> throwSS
AssertionTrackingControlFlowSwitchExpressionTransformer(BlockIdentifier trueBlock, BlockIdentifier falseBlock, java.util.Map<Op04StructuredStatement,StructuredExpressionYield> replacements)
void additionalHandling(StructuredStatement in)
additionalHandling
in class AssertRewriter.ControlFlowSwitchExpressionTransformer