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) |