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

Class CatchStatement

java.lang.Object

org.benf.cfr.reader.bytecode.analysis.parse.statement.AbstractStatement

org.benf.cfr.reader.bytecode.analysis.parse.statement.CatchStatement

All Implemented Interfaces:

HasByteCodeLoc, DeepCloneable<Statement>, Statement, ComparableUnderEC, Dumpable

public class CatchStatement
extends AbstractStatement

Field Summary

Fields

Modifier and Type	Field and Description
private BlockIdentifier	catchBlockIdent
private LValue	catching
private java.util.List<ExceptionGroup.Entry>	exceptions

Constructor Summary

Constructors

Constructor and Description
CatchStatement(BytecodeLoc loc, java.util.List<ExceptionGroup.Entry> exceptions, LValue catching)

Method Summary

Modifier and Type	Method and Description
void	collectLValueAssignments(LValueAssignmentCollector<Statement> lValueAssigmentCollector)
void	collectLValueUsage(LValueUsageCollector lValueUsageCollector)
Statement	deepClone(CloneHelper cloneHelper)
private static JavaTypeInstance	determineType(java.util.List<ExceptionGroup.Entry> exceptions)
Dumper	dump(Dumper dumper)
boolean	equivalentUnder(java.lang.Object o, EquivalenceConstraint constraint)
BlockIdentifier	getCatchBlockIdent()
BytecodeLoc	getCombinedLoc()
LValue	getCreatedLValue()
java.util.List<ExceptionGroup.Entry>	getExceptions()
StructuredStatement	getStructuredStatement()
boolean	hasCatchBlockFor(BlockIdentifier tryBlockIdent)
void	removeCatchBlockFor(BlockIdentifier tryBlockIdent)
void	replaceSingleUsageLValues(LValueRewriter lValueRewriter, SSAIdentifiers ssaIdentifiers)
void	rewriteExpressions(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers)
void	setCatchBlockIdent(BlockIdentifier catchBlockIdent)

Methods inherited from class org.benf.cfr.reader.bytecode.analysis.parse.statement.AbstractStatement

addLoc, canThrow, collectLocallyMutatedVariables, collectObjectCreation, doesBlackListLValueReplacement, fallsToNext, getCompoundParts, getContainer, getLoc, getRValue, getTargetStatement, isCompound, outerDeepClone, setContainer, setLifetimeHint, toString, wantsLifetimeHint

Methods inherited from class java.lang.Object

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

Field Detail

exceptions

private final java.util.List<ExceptionGroup.Entry> exceptions

catchBlockIdent

private BlockIdentifier catchBlockIdent

catching

private LValue catching

Constructor Detail

CatchStatement

public CatchStatement(BytecodeLoc loc,
                      java.util.List<ExceptionGroup.Entry> exceptions,
                      LValue catching)

Method Detail

getCombinedLoc

public BytecodeLoc getCombinedLoc()

determineType

private static JavaTypeInstance determineType(java.util.List<ExceptionGroup.Entry> exceptions)

deepClone

public Statement deepClone(CloneHelper cloneHelper)

removeCatchBlockFor

public void removeCatchBlockFor(BlockIdentifier tryBlockIdent)

hasCatchBlockFor

public boolean hasCatchBlockFor(BlockIdentifier tryBlockIdent)

dump

public Dumper dump(Dumper dumper)

getCatchBlockIdent

public BlockIdentifier getCatchBlockIdent()

setCatchBlockIdent

public void setCatchBlockIdent(BlockIdentifier catchBlockIdent)

replaceSingleUsageLValues

public void replaceSingleUsageLValues(LValueRewriter lValueRewriter,
                                      SSAIdentifiers ssaIdentifiers)

rewriteExpressions

public void rewriteExpressions(ExpressionRewriter expressionRewriter,
                               SSAIdentifiers ssaIdentifiers)

collectLValueUsage

public void collectLValueUsage(LValueUsageCollector lValueUsageCollector)

collectLValueAssignments

public void collectLValueAssignments(LValueAssignmentCollector<Statement> lValueAssigmentCollector)

Specified by:

collectLValueAssignments in interface Statement

Overrides:

collectLValueAssignments in class AbstractStatement

getCreatedLValue

public LValue getCreatedLValue()

Specified by:

getCreatedLValue in interface Statement

Overrides:

getCreatedLValue in class AbstractStatement

getExceptions

public java.util.List<ExceptionGroup.Entry> getExceptions()

getStructuredStatement

public StructuredStatement getStructuredStatement()

equivalentUnder

public final boolean equivalentUnder(java.lang.Object o,
                                     EquivalenceConstraint constraint)