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

Class StructuredAssignment

java.lang.Object

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

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

All Implemented Interfaces:

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

public class StructuredAssignment
extends AbstractStructuredStatement
implements BoxingProcessor

Constructor Summary

Constructors

Constructor and Description
StructuredAssignment(BytecodeLoc loc, LValue lvalue, Expression rvalue)
StructuredAssignment(BytecodeLoc loc, LValue lvalue, Expression rvalue, boolean creator)

Method Summary

Modifier and Type	Method and Description
void	applyNonArgExpressionRewriter(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags)
void	collectTypeUsages(TypeUsageCollector collector)
Dumper	dump(Dumper dumper)
boolean	equals(Object o)
List<LValue>	findCreatedHere()
BytecodeLoc	getCombinedLoc()
LValue	getLvalue()
Expression	getRvalue()
boolean	isCreator(LValue lvalue)
void	linearizeInto(List<StructuredStatement> out)
void	markCreator(LValue scopedEntity, StatementContainer<StructuredStatement> hint)
boolean	match(MatchIterator<StructuredStatement> matchIterator, MatchResultCollector matchResultCollector)
boolean	rewriteBoxing(PrimitiveBoxingRewriter boxingRewriter)
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, getBreakableBlockOrNull, getContainer, getInline, getLoc, informBlockHeirachy, inlineable, isEffectivelyNOP, isProperlyStructured, isRecursivelyStructured, isScopeBlock, setContainer, suggestName, supportsBreak, supportsContinueBreak, toString, transformStructuredChildrenInReverse

Methods inherited from class java.lang.Object

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

Constructor Detail

StructuredAssignment

public StructuredAssignment(BytecodeLoc loc,
                            LValue lvalue,
                            Expression rvalue)

StructuredAssignment

public StructuredAssignment(BytecodeLoc loc,
                            LValue lvalue,
                            Expression rvalue,
                            boolean creator)

Method Detail

getCombinedLoc

public BytecodeLoc getCombinedLoc()

Specified by:

getCombinedLoc in interface HasByteCodeLoc

isCreator

public boolean isCreator(LValue lvalue)

collectTypeUsages

public void collectTypeUsages(TypeUsageCollector collector)

Specified by:

collectTypeUsages in interface TypeUsageCollectable

dump

public Dumper dump(Dumper dumper)

Specified by:

dump in interface Dumpable

transformStructuredChildren

public void transformStructuredChildren(StructuredStatementTransformer transformer,
                                        StructuredScope scope)

Specified by:

transformStructuredChildren in interface StructuredStatement

linearizeInto

public void linearizeInto(List<StructuredStatement> out)

Specified by:

linearizeInto in interface StructuredStatement

traceLocalVariableScope

public void traceLocalVariableScope(LValueScopeDiscoverer scopeDiscoverer)

Specified by:

traceLocalVariableScope in interface StructuredStatement

markCreator

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

Specified by:

markCreator in interface StructuredStatement

Overrides:

markCreator in class AbstractStructuredStatement

findCreatedHere

public List<LValue> findCreatedHere()

Specified by:

findCreatedHere in interface StructuredStatement

Overrides:

findCreatedHere in class AbstractStructuredStatement

getLvalue

public LValue getLvalue()

getRvalue

public Expression getRvalue()

match

public boolean match(MatchIterator<StructuredStatement> matchIterator,
                     MatchResultCollector matchResultCollector)

Specified by:

match in interface Matcher<StructuredStatement>

Overrides:

match in class AbstractStructuredStatement

equals

public boolean equals(Object o)

Overrides:

equals in class Object

rewriteExpressions

public void rewriteExpressions(ExpressionRewriter expressionRewriter)

Specified by:

rewriteExpressions in interface StructuredStatement

rewriteBoxing

public boolean rewriteBoxing(PrimitiveBoxingRewriter boxingRewriter)

Specified by:

rewriteBoxing in interface BoxingProcessor

applyNonArgExpressionRewriter

public void applyNonArgExpressionRewriter(ExpressionRewriter expressionRewriter,
                                          SSAIdentifiers ssaIdentifiers,
                                          StatementContainer statementContainer,
                                          ExpressionRewriterFlags flags)

Specified by:

applyNonArgExpressionRewriter in interface BoxingProcessor