| Package | Description |
|---|---|
| org.benf.cfr.reader.bytecode.analysis.opgraph.op4rewriters |
| Modifier and Type | Field and Description |
|---|---|
private java.util.Map<Op04StructuredStatement,StructuredExpressionYield> |
AssertRewriter.ControlFlowSwitchExpressionTransformer.replacements |
| Modifier and Type | Method and Description |
|---|---|
private SwitchExpression.Branch |
AssertRewriter.SwitchAssertUseCollector.getBranch(BlockIdentifier outer,
BlockIdentifier swiBlockIdentifier,
java.util.Map<Op04StructuredStatement,StructuredExpressionYield> replacements,
Op04StructuredStatement statement,
boolean addYieldTrue) |
private boolean |
AssertRewriter.SwitchAssertUseCollector.getBranches(BlockIdentifier outer,
BlockIdentifier swiBlockIdentifier,
Block swBodyBlock,
java.util.List<SwitchExpression.Branch> branches,
java.util.Map<Op04StructuredStatement,StructuredExpressionYield> replacements,
boolean addYieldTrue) |
| Constructor and Description |
|---|
AssertionTrackingControlFlowSwitchExpressionTransformer(BlockIdentifier trueBlock,
BlockIdentifier falseBlock,
java.util.Map<Op04StructuredStatement,StructuredExpressionYield> replacements) |
ControlFlowSwitchExpressionTransformer(BlockIdentifier trueBlock,
BlockIdentifier falseBlock,
java.util.Map<Op04StructuredStatement,StructuredExpressionYield> replacements) |