Class StructuredSwitch

java.lang.Object

org.benf.cfr.reader.bytecode.analysis.structured.statement.AbstractStructuredStatement

org.benf.cfr.reader.bytecode.analysis.structured.statement.AbstractStructuredBlockStatement

org.benf.cfr.reader.bytecode.analysis.structured.statement.StructuredSwitch

All Implemented Interfaces:

HasByteCodeLoc, Matcher<StructuredStatement>, BoxingProcessor, StructuredStatement, Dumpable, TypeUsageCollectable

public class StructuredSwitch
extends AbstractStructuredBlockStatement
implements BoxingProcessor

Field Summary

Fields

Modifier and Type	Field	Description
private final BlockIdentifier	blockIdentifier
private final boolean	safeExpression
private Expression	switchOn

Constructor Summary

Constructors

Constructor	Description
StructuredSwitch(BytecodeLoc loc, Expression switchOn, Op04StructuredStatement body, BlockIdentifier blockIdentifier)
StructuredSwitch(BytecodeLoc loc, Expression switchOn, Op04StructuredStatement body, BlockIdentifier blockIdentifier, boolean safeExpression)

Method Summary

Modifier and Type	Method	Description
void	applyNonArgExpressionRewriter(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags)
void	collectTypeUsages(TypeUsageCollector collector)
Dumper	dump(Dumper dumper)
BlockIdentifier	getBlockIdentifier()
BlockIdentifier	getBreakableBlockOrNull()
BytecodeLoc	getCombinedLoc()
Expression	getSwitchOn()
boolean	isOnlyEmptyDefault()
boolean	isProperlyStructured()
boolean	isSafeExpression()
boolean	isScopeBlock()
void	linearizeInto(List<StructuredStatement> out)
boolean	match(MatchIterator<StructuredStatement> matchIterator, MatchResultCollector matchResultCollector)
boolean	rewriteBoxing(PrimitiveBoxingRewriter boxingRewriter)
void	rewriteExpressions(ExpressionRewriter expressionRewriter)
boolean	supportsBreak()
void	traceLocalVariableScope(LValueScopeDiscoverer scopeDiscoverer)

Methods inherited from class AbstractStructuredBlockStatement

getBody, isRecursivelyStructured, transformStructuredChildren

Methods inherited from class AbstractStructuredStatement

addLoc, alwaysDefines, canDefine, canFall, claimBlock, fallsNopToNext, findCreatedHere, getContainer, getInline, getLoc, informBlockHeirachy, inlineable, isEffectivelyNOP, markCreator, setContainer, suggestName, supportsContinueBreak, toString, transformStructuredChildrenInReverse

Methods inherited from class Object

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

Field Details

switchOn

private Expression switchOn

blockIdentifier

private final BlockIdentifier blockIdentifier

safeExpression

private final boolean safeExpression

Constructor Details

StructuredSwitch

public StructuredSwitch(BytecodeLoc loc,
 Expression switchOn,
 Op04StructuredStatement body,
 BlockIdentifier blockIdentifier,
 boolean safeExpression)

StructuredSwitch

public StructuredSwitch(BytecodeLoc loc,
 Expression switchOn,
 Op04StructuredStatement body,
 BlockIdentifier blockIdentifier)

Method Details

getCombinedLoc

public BytecodeLoc getCombinedLoc()

Specified by:

getCombinedLoc in interface HasByteCodeLoc

getSwitchOn

public Expression getSwitchOn()

collectTypeUsages

public void collectTypeUsages(TypeUsageCollector collector)

Specified by:

collectTypeUsages in interface TypeUsageCollectable

Overrides:

collectTypeUsages in class AbstractStructuredBlockStatement

dump

public Dumper dump(Dumper dumper)

Specified by:

dump in interface Dumpable

getBreakableBlockOrNull

public BlockIdentifier getBreakableBlockOrNull()

Specified by:

getBreakableBlockOrNull in interface StructuredStatement

Overrides:

getBreakableBlockOrNull in class AbstractStructuredStatement

supportsBreak

public boolean supportsBreak()

Specified by:

supportsBreak in interface StructuredStatement

Overrides:

supportsBreak in class AbstractStructuredStatement

isProperlyStructured

public boolean isProperlyStructured()

Specified by:

isProperlyStructured in interface StructuredStatement

Overrides:

isProperlyStructured in class AbstractStructuredStatement

isScopeBlock

public boolean isScopeBlock()

Specified by:

isScopeBlock in interface StructuredStatement

Overrides:

isScopeBlock in class AbstractStructuredStatement

rewriteBoxing

public boolean rewriteBoxing(PrimitiveBoxingRewriter boxingRewriter)

Specified by:

rewriteBoxing in interface BoxingProcessor

applyNonArgExpressionRewriter

public void applyNonArgExpressionRewriter(ExpressionRewriter expressionRewriter,
 SSAIdentifiers ssaIdentifiers,
 StatementContainer statementContainer,
 ExpressionRewriterFlags flags)

Specified by:

applyNonArgExpressionRewriter in interface BoxingProcessor

getBlockIdentifier

public BlockIdentifier getBlockIdentifier()

linearizeInto

public void linearizeInto(List<StructuredStatement> out)

Specified by:

linearizeInto in interface StructuredStatement

traceLocalVariableScope

public void traceLocalVariableScope(LValueScopeDiscoverer scopeDiscoverer)

Specified by:

traceLocalVariableScope in interface StructuredStatement

match

public boolean match(MatchIterator<StructuredStatement> matchIterator,
 MatchResultCollector matchResultCollector)

Specified by:

match in interface Matcher<StructuredStatement>

Overrides:

match in class AbstractStructuredStatement

rewriteExpressions

public void rewriteExpressions(ExpressionRewriter expressionRewriter)

Specified by:

rewriteExpressions in interface StructuredStatement

isOnlyEmptyDefault

public boolean isOnlyEmptyDefault()

isSafeExpression

public boolean isSafeExpression()