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

Constructor Summary

Constructors

Constructor and 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 and Description
void	collectTypeUsages(TypeUsageCollector collector)
Dumper	dump(Dumper dumper)
BlockIdentifier	getBlockIdentifier()
BytecodeLoc	getCombinedLoc()
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

Constructor Detail

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 Detail

getCombinedLoc

public BytecodeLoc getCombinedLoc()

collectTypeUsages

public void collectTypeUsages(TypeUsageCollector collector)

Specified by:

collectTypeUsages in interface TypeUsageCollectable

Overrides:

collectTypeUsages in class AbstractStructuredBlockStatement

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