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

Class StructuredCase

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.StructuredCase

All Implemented Interfaces:

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

public class StructuredCase
extends AbstractStructuredBlockStatement

Field Summary

Fields

Modifier and Type	Field	Description
private final BlockIdentifier	blockIdentifier
private final boolean	enumSwitch
private final InferredJavaType	inferredJavaTypeOfSwitch
private List<Expression>	values

Constructor Summary

Constructors

Constructor	Description
StructuredCase(BytecodeLoc loc, List<Expression> values, InferredJavaType inferredJavaTypeOfSwitch, Op04StructuredStatement body, BlockIdentifier blockIdentifier)
StructuredCase(BytecodeLoc loc, List<Expression> values, InferredJavaType inferredJavaTypeOfSwitch, Op04StructuredStatement body, BlockIdentifier blockIdentifier, boolean enumSwitch)

Method Summary

Modifier and Type	Method	Description
void	collectTypeUsages(TypeUsageCollector collector)
Dumper	dump(Dumper dumper)
BlockIdentifier	getBlockIdentifier()
BytecodeLoc	getCombinedLoc()
private static StaticVariable	getEnumStatic(Expression expression)
List<Expression>	getValues()
boolean	isDefault()
boolean	isProperlyStructured()
void	linearizeInto(List<StructuredStatement> out)
boolean	match(MatchIterator<StructuredStatement> matchIterator, MatchResultCollector matchResultCollector)
void	rewriteExpressions(ExpressionRewriter expressionRewriter)
void	traceLocalVariableScope(LValueScopeDiscoverer scopeDiscoverer)

Methods inherited from class org.benf.cfr.reader.bytecode.analysis.structured.statement.AbstractStructuredBlockStatement

getBody, isRecursivelyStructured, transformStructuredChildren

Methods inherited from class org.benf.cfr.reader.bytecode.analysis.structured.statement.AbstractStructuredStatement

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

Methods inherited from class java.lang.Object

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

Field Details

values

private List<Expression> values

blockIdentifier

private final BlockIdentifier blockIdentifier

inferredJavaTypeOfSwitch

private final InferredJavaType inferredJavaTypeOfSwitch

enumSwitch

private final boolean enumSwitch

Constructor Details

StructuredCase

public StructuredCase(BytecodeLoc loc,
 List<Expression> values,
 InferredJavaType inferredJavaTypeOfSwitch,
 Op04StructuredStatement body,
 BlockIdentifier blockIdentifier)

StructuredCase

public StructuredCase(BytecodeLoc loc,
 List<Expression> values,
 InferredJavaType inferredJavaTypeOfSwitch,
 Op04StructuredStatement body,
 BlockIdentifier blockIdentifier,
 boolean enumSwitch)

Method Details

getCombinedLoc

public BytecodeLoc getCombinedLoc()

collectTypeUsages

public void collectTypeUsages(TypeUsageCollector collector)

Specified by:

collectTypeUsages in interface TypeUsageCollectable

Overrides:

collectTypeUsages in class AbstractStructuredBlockStatement

getEnumStatic

private static StaticVariable getEnumStatic(Expression expression)

dump

public Dumper dump(Dumper dumper)

isProperlyStructured

public boolean isProperlyStructured()

Specified by:

isProperlyStructured in interface StructuredStatement

Overrides:

isProperlyStructured in class AbstractStructuredStatement

getValues

public List<Expression> getValues()

getBlockIdentifier

public BlockIdentifier getBlockIdentifier()

linearizeInto

public void linearizeInto(List<StructuredStatement> out)

traceLocalVariableScope

public void traceLocalVariableScope(LValueScopeDiscoverer scopeDiscoverer)

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)

isDefault

public boolean isDefault()