Class StructuredReturn

java.lang.Object

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

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

All Implemented Interfaces:

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

public class StructuredReturn
extends AbstractStructuredStatement
implements BoxingProcessor

Field Summary

Fields

Modifier and Type	Field	Description
private final JavaTypeInstance	fnReturnType
private Expression	value

Constructor Summary

Constructors

Constructor	Description
StructuredReturn(BytecodeLoc loc)
StructuredReturn(BytecodeLoc loc, Expression value, JavaTypeInstance fnReturnType)

Method Summary

Modifier and Type	Method	Description
void	applyNonArgExpressionRewriter(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags)
boolean	canFall()
void	collectTypeUsages(TypeUsageCollector collector)
Dumper	dump(Dumper dumper)
boolean	equals(Object obj)
BytecodeLoc	getCombinedLoc()
Expression	getValue()
void	linearizeInto(List<StructuredStatement> out)
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 AbstractStructuredStatement

addLoc, alwaysDefines, canDefine, claimBlock, fallsNopToNext, findCreatedHere, getBreakableBlockOrNull, getContainer, getInline, getLoc, informBlockHeirachy, inlineable, isEffectivelyNOP, isProperlyStructured, isRecursivelyStructured, isScopeBlock, markCreator, setContainer, suggestName, supportsBreak, supportsContinueBreak, toString, transformStructuredChildrenInReverse

Methods inherited from class Object

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

Field Details

value

private Expression value

fnReturnType

private final JavaTypeInstance fnReturnType

Constructor Details

StructuredReturn

public StructuredReturn(BytecodeLoc loc)

StructuredReturn

public StructuredReturn(BytecodeLoc loc,
 Expression value,
 JavaTypeInstance fnReturnType)

Method Details

getCombinedLoc

public BytecodeLoc getCombinedLoc()

Specified by:

getCombinedLoc in interface HasByteCodeLoc

collectTypeUsages

public void collectTypeUsages(TypeUsageCollector collector)

Specified by:

collectTypeUsages in interface TypeUsageCollectable

dump

public Dumper dump(Dumper dumper)

Specified by:

dump in interface Dumpable

getValue

public Expression getValue()

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

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

rewriteExpressions

public void rewriteExpressions(ExpressionRewriter expressionRewriter)

Specified by:

rewriteExpressions in interface StructuredStatement

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

canFall

public boolean canFall()

Specified by:

canFall in interface StructuredStatement

Overrides:

canFall in class AbstractStructuredStatement

match

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

Specified by:

match in interface Matcher<StructuredStatement>

Overrides:

match in class AbstractStructuredStatement