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

Field Summary

Fields

Modifier and Type	Field and Description
private Op04StructuredStatement	catchBlock
private LValue	catching
private java.util.List<JavaRefTypeInstance>	catchTypes
private java.util.Set<BlockIdentifier>	possibleTryBlocks

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
void	collectTypeUsages(TypeUsageCollector collector)
Dumper	dump(Dumper dumper)
boolean	equals(java.lang.Object o)
boolean	fallsNopToNext()
java.util.List<LValue>	findCreatedHere()
java.util.List<JavaRefTypeInstance>	getCatchTypes()
BytecodeLoc	getCombinedLoc()
java.util.Set<BlockIdentifier>	getPossibleTryBlocks()
boolean	isProperlyStructured()
boolean	isRecursivelyStructured()
boolean	isRethrow()
boolean	isScopeBlock()
void	linearizeInto(java.util.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

Field Detail

catchTypes

private final java.util.List<JavaRefTypeInstance> catchTypes

catchBlock

private final Op04StructuredStatement catchBlock

catching

private final LValue catching

possibleTryBlocks

private final java.util.Set<BlockIdentifier> possibleTryBlocks

Constructor Detail

StructuredCatch

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

Method Detail

collectTypeUsages

public void collectTypeUsages(TypeUsageCollector collector)

getCombinedLoc

public BytecodeLoc getCombinedLoc()

getCatchTypes

public java.util.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(java.util.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 java.util.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 java.util.Set<BlockIdentifier> getPossibleTryBlocks()

isRecursivelyStructured

public boolean isRecursivelyStructured()

Specified by:

isRecursivelyStructured in interface StructuredStatement

Overrides:

isRecursivelyStructured in class AbstractStructuredStatement

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object