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	Description
private BlockIdentifier	catchBlockIdent
private LValue	catching
private final List<ExceptionGroup.Entry>	exceptions

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
void	collectLValueAssignments(LValueAssignmentCollector<Statement> lValueAssigmentCollector)
void	collectLValueUsage(LValueUsageCollector lValueUsageCollector)
Statement	deepClone(CloneHelper cloneHelper)
private static JavaTypeInstance	determineType(List<ExceptionGroup.Entry> exceptions)
Dumper	dump(Dumper dumper)
final boolean	equivalentUnder(Object o, EquivalenceConstraint constraint)
BlockIdentifier	getCatchBlockIdent()
BytecodeLoc	getCombinedLoc()
LValue	getCreatedLValue()
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 AbstractStatement

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

Methods inherited from class Object

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

Field Details

exceptions

private final List<ExceptionGroup.Entry> exceptions

catchBlockIdent

private BlockIdentifier catchBlockIdent

catching

private LValue catching

Constructor Details

CatchStatement

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

Method Details

getCombinedLoc

public BytecodeLoc getCombinedLoc()

determineType

private static JavaTypeInstance determineType(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 List<ExceptionGroup.Entry> getExceptions()

getStructuredStatement

public StructuredStatement getStructuredStatement()

equivalentUnder

public final boolean equivalentUnder(Object o,
 EquivalenceConstraint constraint)