Class AssertRewriter.SwitchAssertUseCollector

java.lang.Object

org.benf.cfr.reader.bytecode.analysis.opgraph.op4rewriters.matchutil.AbstractMatchResultIterator

org.benf.cfr.reader.bytecode.analysis.opgraph.op4rewriters.AssertRewriter.SwitchAssertUseCollector

All Implemented Interfaces:

MatchResultCollector

Enclosing class:

AssertRewriter

private class AssertRewriter.SwitchAssertUseCollector
extends AbstractMatchResultIterator

Constructor Summary

Constructors

Modifier	Constructor	Description
private	SwitchAssertUseCollector()

Method Summary

Modifier and Type	Method	Description
void	clear()
void	collectStatement(String name, StructuredStatement statement)
private SwitchExpression.Branch	getBranch(BlockIdentifier outer, BlockIdentifier swiBlockIdentifier, Map<Op04StructuredStatement, StructuredExpressionYield> replacements, Op04StructuredStatement statement, boolean addYieldTrue)
private boolean	getBranches(BlockIdentifier outer, BlockIdentifier swiBlockIdentifier, Block swBodyBlock, List<SwitchExpression.Branch> branches, Map<Op04StructuredStatement, StructuredExpressionYield> replacements, boolean addYieldTrue)
private Pair<Boolean, Expression>	getThrowExpression(StructuredStatement throwS)
private StructuredStatement	processSwitchAndThrow(StructuredStatement ifStm, BlockIdentifier outer, BlockIdentifier swiBlockIdentifier, Block swBodyBlock, StructuredSwitch struSwi, Op04StructuredStatement throwStm)
private StructuredStatement	processSwitchEmbeddedThrow(StructuredStatement ifStm, BlockIdentifier outer, Block swBodyBlock, Op04StructuredStatement switchStm, StructuredSwitch struSwi)
private List<Op04StructuredStatement>	tryCombineSwitch(List<Op04StructuredStatement> content, BlockIdentifier outer, BlockIdentifier swiBlockIdentifier, Block swBodyBlock)

Methods inherited from class AbstractMatchResultIterator

collectMatches

Methods inherited from class Object

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

Constructor Details

SwitchAssertUseCollector

private SwitchAssertUseCollector()

Method Details

clear

public void clear()

Specified by:

clear in interface MatchResultCollector

Overrides:

clear in class AbstractMatchResultIterator

collectStatement

public void collectStatement(String name,
 StructuredStatement statement)

Specified by:

collectStatement in interface MatchResultCollector

Overrides:

collectStatement in class AbstractMatchResultIterator

tryCombineSwitch

private List<Op04StructuredStatement> tryCombineSwitch(List<Op04StructuredStatement> content,
 BlockIdentifier outer,
 BlockIdentifier swiBlockIdentifier,
 Block swBodyBlock)

getThrowExpression

private Pair<Boolean, Expression> getThrowExpression(StructuredStatement throwS)

processSwitchAndThrow

private StructuredStatement processSwitchAndThrow(StructuredStatement ifStm,
 BlockIdentifier outer,
 BlockIdentifier swiBlockIdentifier,
 Block swBodyBlock,
 StructuredSwitch struSwi,
 Op04StructuredStatement throwStm)

getBranches

private boolean getBranches(BlockIdentifier outer,
 BlockIdentifier swiBlockIdentifier,
 Block swBodyBlock,
 List<SwitchExpression.Branch> branches,
 Map<Op04StructuredStatement, StructuredExpressionYield> replacements,
 boolean addYieldTrue)

getBranch

private SwitchExpression.Branch getBranch(BlockIdentifier outer,
 BlockIdentifier swiBlockIdentifier,
 Map<Op04StructuredStatement, StructuredExpressionYield> replacements,
 Op04StructuredStatement statement,
 boolean addYieldTrue)

processSwitchEmbeddedThrow

private StructuredStatement processSwitchEmbeddedThrow(StructuredStatement ifStm,
 BlockIdentifier outer,
 Block swBodyBlock,
 Op04StructuredStatement switchStm,
 StructuredSwitch struSwi)