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

Class StructuredCatch

java.lang.Object

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

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

All Implemented Interfaces:

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

public class StructuredCatch
extends AbstractStructuredStatement

Constructor Summary

Constructors

Constructor and Description
StructuredCatch(Collection<JavaRefTypeInstance> catchTypes, Op04StructuredStatement catchBlock, LValue catching, Set<BlockIdentifier> possibleTryBlocks)

Method Summary

Modifier and Type	Method and Description
void	collectTypeUsages(TypeUsageCollector collector)
Dumper	dump(Dumper dumper)
boolean	equals(Object o)
boolean	fallsNopToNext()
List<LValue>	findCreatedHere()
List<JavaRefTypeInstance>	getCatchTypes()
BytecodeLoc	getCombinedLoc()
Set<BlockIdentifier>	getPossibleTryBlocks()
boolean	isProperlyStructured()
boolean	isRecursivelyStructured()
boolean	isRethrow()
boolean	isScopeBlock()
void	linearizeInto(List<StructuredStatement> out)
void	markCreator(LValue scopedEntity, StatementContainer<StructuredStatement> hint)
boolean	match(MatchIterator<StructuredStatement> matchIterator, MatchResultCollector matchResultCollector)
void	rewriteExpressions(ExpressionRewriter expressionRewriter)
void	traceLocalVariableScope(LValueScopeDiscoverer scopeDiscoverer)
void	transformStructuredChildren(StructuredStatementTransformer transformer, StructuredScope scope)

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

StructuredCatch

public StructuredCatch(Collection<JavaRefTypeInstance> catchTypes,
                       Op04StructuredStatement catchBlock,
                       LValue catching,
                       Set<BlockIdentifier> possibleTryBlocks)

Method Detail

collectTypeUsages

public void collectTypeUsages(TypeUsageCollector collector)

getCombinedLoc

public BytecodeLoc getCombinedLoc()

getCatchTypes

public List<JavaRefTypeInstance> getCatchTypes()

dump

public Dumper dump(Dumper dumper)

isProperlyStructured

public boolean isProperlyStructured()

Specified by:

isProperlyStructured in interface StructuredStatement

Overrides:

isProperlyStructured in class AbstractStructuredStatement

fallsNopToNext

public boolean fallsNopToNext()

Specified by:

fallsNopToNext in interface StructuredStatement

Overrides:

fallsNopToNext in class AbstractStructuredStatement

isScopeBlock

public boolean isScopeBlock()

Specified by:

isScopeBlock in interface StructuredStatement

Overrides:

isScopeBlock in class AbstractStructuredStatement

transformStructuredChildren

public void transformStructuredChildren(StructuredStatementTransformer transformer,
                                        StructuredScope scope)

linearizeInto

public void linearizeInto(List<StructuredStatement> out)

match

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

Specified by:

match in interface Matcher<StructuredStatement>

Overrides:

match in class AbstractStructuredStatement

isRethrow

public boolean isRethrow()

traceLocalVariableScope

public void traceLocalVariableScope(LValueScopeDiscoverer scopeDiscoverer)

findCreatedHere

public List<LValue> findCreatedHere()

Specified by:

findCreatedHere in interface StructuredStatement

Overrides:

findCreatedHere in class AbstractStructuredStatement

markCreator

public void markCreator(LValue scopedEntity,
                        StatementContainer<StructuredStatement> hint)

Specified by:

markCreator in interface StructuredStatement

Overrides:

markCreator in class AbstractStructuredStatement

rewriteExpressions

public void rewriteExpressions(ExpressionRewriter expressionRewriter)

getPossibleTryBlocks

public Set<BlockIdentifier> getPossibleTryBlocks()

isRecursivelyStructured

public boolean isRecursivelyStructured()

Specified by:

isRecursivelyStructured in interface StructuredStatement

Overrides:

isRecursivelyStructured in class AbstractStructuredStatement

equals

public boolean equals(Object o)

Overrides:

equals in class Object