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

Class StructuredTry

java.lang.Object

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

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

All Implemented Interfaces:

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

public class StructuredTry
extends AbstractStructuredStatement

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.List<Op04StructuredStatement>	catchBlocks
private Op04StructuredStatement	finallyBlock
private java.util.List<Op04StructuredStatement>	resourceBlock
private Op04StructuredStatement	tryBlock
private BlockIdentifier	tryBlockIdentifier

Constructor Summary

Constructors

Constructor and Description
StructuredTry(Op04StructuredStatement tryBlock, BlockIdentifier tryBlockIdentifier)

Method Summary

Modifier and Type	Method and Description
(package private) void	addCatch(Op04StructuredStatement catchStatement)
void	addResources(java.util.List<Op04StructuredStatement> resources)
void	clearCatchBlocks()
void	collectTypeUsages(TypeUsageCollector collector)
Dumper	dump(Dumper dumper)
boolean	fallsNopToNext()
java.util.List<Op04StructuredStatement>	getCatchBlocks()
BytecodeLoc	getCombinedLoc()
Op04StructuredStatement	getFinallyBlock()
Op04StructuredStatement	getInline()
java.util.List<Op04StructuredStatement>	getResources()
Op04StructuredStatement	getTryBlock()
BlockIdentifier	getTryBlockIdentifier()
boolean	hasResources()
boolean	inlineable()
private boolean	isJustTryCatchThrow()
private boolean	isPointlessTry()
boolean	isProperlyStructured()
boolean	isRecursivelyStructured()
boolean	isScopeBlock()
void	linearizeInto(java.util.List<StructuredStatement> out)
boolean	match(MatchIterator<StructuredStatement> matchIterator, MatchResultCollector matchResultCollector)
void	rewriteExpressions(ExpressionRewriter expressionRewriter)
void	setFinally(Op04StructuredStatement finallyBlock)
void	setTryBlock(Op04StructuredStatement tryBlock)
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, findCreatedHere, getBreakableBlockOrNull, getContainer, getLoc, informBlockHeirachy, isEffectivelyNOP, 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 Detail

tryBlock

private Op04StructuredStatement tryBlock

catchBlocks

private java.util.List<Op04StructuredStatement> catchBlocks

finallyBlock

private Op04StructuredStatement finallyBlock

tryBlockIdentifier

private final BlockIdentifier tryBlockIdentifier

resourceBlock

private java.util.List<Op04StructuredStatement> resourceBlock

Constructor Detail

StructuredTry

public StructuredTry(Op04StructuredStatement tryBlock,
                     BlockIdentifier tryBlockIdentifier)

Method Detail

getCombinedLoc

public BytecodeLoc getCombinedLoc()

addResources

public void addResources(java.util.List<Op04StructuredStatement> resources)

getResources

public java.util.List<Op04StructuredStatement> getResources()

hasResources

public boolean hasResources()

getTryBlock

public Op04StructuredStatement getTryBlock()

getCatchBlocks

public java.util.List<Op04StructuredStatement> getCatchBlocks()

clearCatchBlocks

public void clearCatchBlocks()

dump

public Dumper dump(Dumper dumper)

collectTypeUsages

public void collectTypeUsages(TypeUsageCollector collector)

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

addCatch

void addCatch(Op04StructuredStatement catchStatement)

setFinally

public void setFinally(Op04StructuredStatement finallyBlock)

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)

traceLocalVariableScope

public void traceLocalVariableScope(LValueScopeDiscoverer scopeDiscoverer)

isRecursivelyStructured

public boolean isRecursivelyStructured()

Specified by:

isRecursivelyStructured in interface StructuredStatement

Overrides:

isRecursivelyStructured in class AbstractStructuredStatement

getFinallyBlock

public Op04StructuredStatement getFinallyBlock()

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)

isPointlessTry

private boolean isPointlessTry()

isJustTryCatchThrow

private boolean isJustTryCatchThrow()

inlineable

public boolean inlineable()

Specified by:

inlineable in interface StructuredStatement

Overrides:

inlineable in class AbstractStructuredStatement

getTryBlockIdentifier

public BlockIdentifier getTryBlockIdentifier()

getInline

public Op04StructuredStatement getInline()

Specified by:

getInline in interface StructuredStatement

Overrides:

getInline in class AbstractStructuredStatement

setTryBlock

public void setTryBlock(Op04StructuredStatement tryBlock)