public class ReturnValueStatement extends ReturnStatement
Modifier and Type | Field and Description |
---|---|
private JavaTypeInstance |
fnReturnType |
private Expression |
rvalue |
Constructor and Description |
---|
ReturnValueStatement(BytecodeLoc loc,
Expression rvalue,
JavaTypeInstance fnReturnType) |
Modifier and Type | Method and Description |
---|---|
boolean |
canThrow(ExceptionCheck caught) |
void |
collectLValueUsage(LValueUsageCollector lValueUsageCollector) |
ReturnStatement |
deepClone(CloneHelper cloneHelper) |
Dumper |
dump(Dumper dumper) |
boolean |
equals(java.lang.Object o) |
boolean |
equivalentUnder(java.lang.Object o,
EquivalenceConstraint constraint) |
BytecodeLoc |
getCombinedLoc() |
JavaTypeInstance |
getFnReturnType() |
Expression |
getReturnValue() |
StructuredStatement |
getStructuredStatement() |
void |
replaceSingleUsageLValues(LValueRewriter lValueRewriter,
SSAIdentifiers ssaIdentifiers) |
void |
rewriteExpressions(ExpressionRewriter expressionRewriter,
SSAIdentifiers ssaIdentifiers) |
fallsToNext, outerDeepClone
addLoc, collectLocallyMutatedVariables, collectLValueAssignments, collectObjectCreation, doesBlackListLValueReplacement, getCompoundParts, getContainer, getCreatedLValue, getLoc, getRValue, getTargetStatement, isCompound, setContainer, setLifetimeHint, toString, wantsLifetimeHint
private Expression rvalue
private final JavaTypeInstance fnReturnType
public ReturnValueStatement(BytecodeLoc loc, Expression rvalue, JavaTypeInstance fnReturnType)
public ReturnStatement deepClone(CloneHelper cloneHelper)
public BytecodeLoc getCombinedLoc()
public Expression getReturnValue()
public JavaTypeInstance getFnReturnType()
public void replaceSingleUsageLValues(LValueRewriter lValueRewriter, SSAIdentifiers ssaIdentifiers)
public void rewriteExpressions(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers)
public void collectLValueUsage(LValueUsageCollector lValueUsageCollector)
public StructuredStatement getStructuredStatement()
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public final boolean equivalentUnder(java.lang.Object o, EquivalenceConstraint constraint)
public boolean canThrow(ExceptionCheck caught)
canThrow
in interface Statement
canThrow
in class AbstractStatement