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

Class Block

java.lang.Object

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

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

All Implemented Interfaces:

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

Direct Known Subclasses:

WildcardMatch.BlockWildcard

public class Block
extends AbstractStructuredStatement

TODO : Block implements way more functionality than it should - move into callers.

Field Summary

Fields

Modifier and Type	Field and Description
private BlockIdentifier	blockIdentifier
private java.util.LinkedList<Op04StructuredStatement>	containedStatements
private boolean	indenting

Constructor Summary

Constructors

Constructor and Description
Block(java.util.LinkedList<Op04StructuredStatement> containedStatements, boolean indenting)
Block(java.util.LinkedList<Op04StructuredStatement> containedStatements, boolean indenting, BlockIdentifier blockIdentifier)
Block(Op04StructuredStatement statement)

Method Summary

Modifier and Type	Method and Description
void	addStatement(Op04StructuredStatement stm)
boolean	alwaysDefines(LValue scopedEntity)
private boolean	canFoldUp()
void	collectTypeUsages(TypeUsageCollector collector)
void	combineInlineable()
void	combineTryCatch()
Dumper	dump(Dumper d)
void	extractLabelledBlocks()
void	flattenOthersIn()
static Block	getBlockFor(boolean indenting, StructuredStatement... statements)
java.util.List<Op04StructuredStatement>	getBlockStatements()
BlockIdentifier	getBreakableBlockOrNull()
BytecodeLoc	getCombinedLoc()
(package private) static Block	getEmptyBlock(boolean indenting)
java.util.List<Op04StructuredStatement>	getFilteredBlockStatements()
Op04StructuredStatement	getInline()
Op04StructuredStatement	getLast()
Optional<Op04StructuredStatement>	getMaybeJustOneStatement()
java.util.Set<Op04StructuredStatement>	getNextAfter(int x)
Pair<java.lang.Boolean,Op04StructuredStatement>	getOneStatementIfPresent()
boolean	inlineable()
boolean	isEffectivelyNOP()
boolean	isIndenting()
boolean	isRecursivelyStructured()
boolean	isScopeBlock()
void	linearizeInto(java.util.List<StructuredStatement> out)
void	markCreator(LValue scopedEntity, StatementContainer<StructuredStatement> hint)
boolean	match(MatchIterator<StructuredStatement> matchIterator, MatchResultCollector matchResultCollector)
boolean	removeLastContinue(BlockIdentifier block)
UnstructuredWhile	removeLastEndWhile()
void	removeLastGoto()
void	removeLastNVReturn()
void	replaceBlockStatements(java.util.Collection<Op04StructuredStatement> statements)
private void	replaceInlineSource(Op04StructuredStatement oldS, Op04StructuredStatement newS)
void	rewriteExpressions(ExpressionRewriter expressionRewriter)
void	setIndenting(boolean indenting)
boolean	statementIsLast(Op04StructuredStatement needle)
void	traceLocalVariableScope(LValueScopeDiscoverer scopeDiscoverer)
void	transformStructuredChildren(StructuredStatementTransformer transformer, StructuredScope scope)
void	transformStructuredChildrenInReverse(StructuredStatementTransformer transformer, StructuredScope scope)

Methods inherited from class org.benf.cfr.reader.bytecode.analysis.structured.statement.AbstractStructuredStatement

addLoc, canDefine, canFall, claimBlock, fallsNopToNext, findCreatedHere, getContainer, getLoc, informBlockHeirachy, isProperlyStructured, setContainer, suggestName, supportsBreak, supportsContinueBreak, toString

Methods inherited from class java.lang.Object

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

Field Detail

containedStatements

private java.util.LinkedList<Op04StructuredStatement> containedStatements

indenting

private boolean indenting

blockIdentifier

private BlockIdentifier blockIdentifier

Constructor Detail

Block

public Block(Op04StructuredStatement statement)

Block

public Block(java.util.LinkedList<Op04StructuredStatement> containedStatements,
             boolean indenting)

Block

public Block(java.util.LinkedList<Op04StructuredStatement> containedStatements,
             boolean indenting,
             BlockIdentifier blockIdentifier)

Method Detail

getCombinedLoc

public BytecodeLoc getCombinedLoc()

flattenOthersIn

public void flattenOthersIn()

addStatement

public void addStatement(Op04StructuredStatement stm)

getEmptyBlock

static Block getEmptyBlock(boolean indenting)

getBlockFor

public static Block getBlockFor(boolean indenting,
                                StructuredStatement... statements)

collectTypeUsages

public void collectTypeUsages(TypeUsageCollector collector)

removeLastContinue

public boolean removeLastContinue(BlockIdentifier block)

removeLastNVReturn

public void removeLastNVReturn()

removeLastGoto

public void removeLastGoto()

getLast

public Op04StructuredStatement getLast()

removeLastEndWhile

public UnstructuredWhile removeLastEndWhile()

getOneStatementIfPresent

public Pair<java.lang.Boolean,Op04StructuredStatement> getOneStatementIfPresent()

getFilteredBlockStatements

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

getMaybeJustOneStatement

public Optional<Op04StructuredStatement> getMaybeJustOneStatement()

inlineable

public boolean inlineable()

Specified by:

inlineable in interface StructuredStatement

Overrides:

inlineable in class AbstractStructuredStatement

getInline

public Op04StructuredStatement getInline()

Specified by:

getInline in interface StructuredStatement

Overrides:

getInline in class AbstractStructuredStatement

combineInlineable

public void combineInlineable()

replaceInlineSource

private void replaceInlineSource(Op04StructuredStatement oldS,
                                 Op04StructuredStatement newS)

extractLabelledBlocks

public void extractLabelledBlocks()

combineTryCatch

public void combineTryCatch()

isScopeBlock

public boolean isScopeBlock()

Specified by:

isScopeBlock in interface StructuredStatement

Overrides:

isScopeBlock in class AbstractStructuredStatement

transformStructuredChildren

public void transformStructuredChildren(StructuredStatementTransformer transformer,
                                        StructuredScope scope)

transformStructuredChildrenInReverse

public void transformStructuredChildrenInReverse(StructuredStatementTransformer transformer,
                                                 StructuredScope scope)

Specified by:

transformStructuredChildrenInReverse in interface StructuredStatement

Overrides:

transformStructuredChildrenInReverse in class AbstractStructuredStatement

getNextAfter

public java.util.Set<Op04StructuredStatement> getNextAfter(int x)

statementIsLast

public boolean statementIsLast(Op04StructuredStatement needle)

getBreakableBlockOrNull

public BlockIdentifier getBreakableBlockOrNull()

Specified by:

getBreakableBlockOrNull in interface StructuredStatement

Overrides:

getBreakableBlockOrNull in class AbstractStructuredStatement

isRecursivelyStructured

public boolean isRecursivelyStructured()

Specified by:

isRecursivelyStructured in interface StructuredStatement

Overrides:

isRecursivelyStructured in class AbstractStructuredStatement

getBlockStatements

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

replaceBlockStatements

public void replaceBlockStatements(java.util.Collection<Op04StructuredStatement> statements)

linearizeInto

public void linearizeInto(java.util.List<StructuredStatement> out)

traceLocalVariableScope

public void traceLocalVariableScope(LValueScopeDiscoverer scopeDiscoverer)

markCreator

public void markCreator(LValue scopedEntity,
                        StatementContainer<StructuredStatement> hint)

Specified by:

markCreator in interface StructuredStatement

Overrides:

markCreator in class AbstractStructuredStatement

alwaysDefines

public boolean alwaysDefines(LValue scopedEntity)

Specified by:

alwaysDefines in interface StructuredStatement

Overrides:

alwaysDefines in class AbstractStructuredStatement

canFoldUp

private boolean canFoldUp()

dump

public Dumper dump(Dumper d)

isIndenting

public boolean isIndenting()

setIndenting

public void setIndenting(boolean indenting)

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)

isEffectivelyNOP

public boolean isEffectivelyNOP()

Specified by:

isEffectivelyNOP in interface StructuredStatement

Overrides:

isEffectivelyNOP in class AbstractStructuredStatement