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 Description private Op04StructuredStatement
catchBlock
private LValue
catching
private java.util.List<JavaRefTypeInstance>
catchTypes
private java.util.Set<BlockIdentifier>
possibleTryBlocks
-
Constructor Summary
Constructors Constructor Description StructuredCatch(java.util.Collection<JavaRefTypeInstance> catchTypes, Op04StructuredStatement catchBlock, LValue catching, java.util.Set<BlockIdentifier> possibleTryBlocks)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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
-
-
-
-
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()
-
isProperlyStructured
public boolean isProperlyStructured()
- Specified by:
isProperlyStructured
in interfaceStructuredStatement
- Overrides:
isProperlyStructured
in classAbstractStructuredStatement
-
fallsNopToNext
public boolean fallsNopToNext()
- Specified by:
fallsNopToNext
in interfaceStructuredStatement
- Overrides:
fallsNopToNext
in classAbstractStructuredStatement
-
isScopeBlock
public boolean isScopeBlock()
- Specified by:
isScopeBlock
in interfaceStructuredStatement
- Overrides:
isScopeBlock
in classAbstractStructuredStatement
-
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 interfaceMatcher<StructuredStatement>
- Overrides:
match
in classAbstractStructuredStatement
-
isRethrow
public boolean isRethrow()
-
traceLocalVariableScope
public void traceLocalVariableScope(LValueScopeDiscoverer scopeDiscoverer)
-
findCreatedHere
public java.util.List<LValue> findCreatedHere()
- Specified by:
findCreatedHere
in interfaceStructuredStatement
- Overrides:
findCreatedHere
in classAbstractStructuredStatement
-
markCreator
public void markCreator(LValue scopedEntity, StatementContainer<StructuredStatement> hint)
- Specified by:
markCreator
in interfaceStructuredStatement
- Overrides:
markCreator
in classAbstractStructuredStatement
-
rewriteExpressions
public void rewriteExpressions(ExpressionRewriter expressionRewriter)
-
getPossibleTryBlocks
public java.util.Set<BlockIdentifier> getPossibleTryBlocks()
-
isRecursivelyStructured
public boolean isRecursivelyStructured()
- Specified by:
isRecursivelyStructured
in interfaceStructuredStatement
- Overrides:
isRecursivelyStructured
in classAbstractStructuredStatement
-
equals
public boolean equals(java.lang.Object o)
- Overrides:
equals
in classjava.lang.Object
-
-