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

Class StructuredBreak

java.lang.Object

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

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

All Implemented Interfaces:

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

public class StructuredBreak
extends AbstractStructuredStatement

Field Summary

Fields

Modifier and Type	Field and Description
private BlockIdentifier	breakBlock
private boolean	localBreak

Constructor Summary

Constructors

Constructor and Description
StructuredBreak(BytecodeLoc loc, BlockIdentifier breakBlock, boolean localBreak)

Method Summary

Modifier and Type	Method and Description
void	collectTypeUsages(TypeUsageCollector collector)
Dumper	dump(Dumper dumper)
BlockIdentifier	getBreakBlock()
BytecodeLoc	getCombinedLoc()
boolean	isLocalBreak()
void	linearizeInto(java.util.List<StructuredStatement> out)
boolean	match(MatchIterator<StructuredStatement> matchIterator, MatchResultCollector matchResultCollector)
StructuredBreak	maybeTightenToLocal(java.util.Stack<Triplet<StructuredStatement,BlockIdentifier,java.util.Set<Op04StructuredStatement>>> scopes)
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, fallsNopToNext, findCreatedHere, getBreakableBlockOrNull, getContainer, getInline, getLoc, informBlockHeirachy, inlineable, isEffectivelyNOP, isProperlyStructured, isRecursivelyStructured, isScopeBlock, 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

breakBlock

private final BlockIdentifier breakBlock

localBreak

private final boolean localBreak

Constructor Detail

StructuredBreak

public StructuredBreak(BytecodeLoc loc,
                       BlockIdentifier breakBlock,
                       boolean localBreak)

Method Detail

dump

public Dumper dump(Dumper dumper)

getCombinedLoc

public BytecodeLoc getCombinedLoc()

collectTypeUsages

public void collectTypeUsages(TypeUsageCollector collector)

isLocalBreak

public boolean isLocalBreak()

getBreakBlock

public BlockIdentifier getBreakBlock()

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

traceLocalVariableScope

public void traceLocalVariableScope(LValueScopeDiscoverer scopeDiscoverer)

rewriteExpressions

public void rewriteExpressions(ExpressionRewriter expressionRewriter)

maybeTightenToLocal

public StructuredBreak maybeTightenToLocal(java.util.Stack<Triplet<StructuredStatement,BlockIdentifier,java.util.Set<Op04StructuredStatement>>> scopes)