Class SyntheticAccessorRewriter

java.lang.Object

org.benf.cfr.reader.bytecode.analysis.parse.rewriters.AbstractExpressionRewriter

org.benf.cfr.reader.bytecode.analysis.opgraph.op4rewriters.SyntheticAccessorRewriter

All Implemented Interfaces:

Op04Rewriter, ExpressionRewriter

public class SyntheticAccessorRewriter
extends AbstractExpressionRewriter
implements Op04Rewriter

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private class	SyntheticAccessorRewriter.AccessorMatchCollector
private class	SyntheticAccessorRewriter.FuncMatchCollector
private class	SyntheticAccessorRewriter.VisibiliyDecreasingRewriter

Field Summary

Fields

Modifier and Type	Field	Description
private static final String	ASSIGNMENT1
private static final String	MUTATION1
private static final String	MUTATION2
private static final String	MUTATION3
private static final String	POST_DEC
private static final String	POST_INC
private static final String	PRE_DEC
private static final String	PRE_INC
private static final String	RETURN_LVALUE
private static final String	STA_FUN1
private static final String	STA_SUB1
private final DCCommonState	state
private static final String	SUPER_INVOKE
private static final String	SUPER_RETINVOKE
private final JavaTypeInstance	thisClassType
private final ExpressionRewriter	visbilityRewriter

Constructor Summary

Constructors

Constructor	Description
SyntheticAccessorRewriter(DCCommonState state, JavaTypeInstance thisClassType)

Method Summary

Modifier and Type	Method	Description
private Expression	getCastFriendArg(JavaTypeInstance otherType, LocalVariable methodArg, Expression appliedArg)
void	rewrite(Op04StructuredStatement root)
Expression	rewriteExpression(Expression expression, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags)
LValue	rewriteExpression(LValue lValue, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags)
private Expression	rewriteFunctionExpression(StaticFunctionInvokation functionInvokation)
private Expression	rewriteFunctionExpression2(StaticFunctionInvokation functionInvokation)
private Expression	tryRewriteAccessor(List<StructuredStatement> structuredStatements, JavaTypeInstance otherType, List<Expression> appliedArgs, List<LocalVariable> methodArgs)
private Expression	tryRewriteFunctionCall(List<StructuredStatement> structuredStatements, JavaTypeInstance otherType, List<Expression> appliedArgs, List<LocalVariable> methodArgs)
private static boolean	validRelationship(JavaTypeInstance type1, JavaTypeInstance type2)

Methods inherited from class AbstractExpressionRewriter

handleStatement, rewriteExpression, rewriteExpression

Methods inherited from class Object

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

Field Details

state

private final DCCommonState state

thisClassType

private final JavaTypeInstance thisClassType

visbilityRewriter

private final ExpressionRewriter visbilityRewriter

RETURN_LVALUE

private static final String RETURN_LVALUE

See Also:

• Constant Field Values

MUTATION1

private static final String MUTATION1

See Also:

• Constant Field Values

MUTATION2

private static final String MUTATION2

See Also:

• Constant Field Values

MUTATION3

private static final String MUTATION3

See Also:

• Constant Field Values

ASSIGNMENT1

private static final String ASSIGNMENT1

See Also:

• Constant Field Values

PRE_INC

private static final String PRE_INC

See Also:

• Constant Field Values

POST_INC

private static final String POST_INC

See Also:

• Constant Field Values

PRE_DEC

private static final String PRE_DEC

See Also:

• Constant Field Values

POST_DEC

private static final String POST_DEC

See Also:

• Constant Field Values

SUPER_INVOKE

private static final String SUPER_INVOKE

See Also:

• Constant Field Values

SUPER_RETINVOKE

private static final String SUPER_RETINVOKE

See Also:

• Constant Field Values

STA_SUB1

private static final String STA_SUB1

See Also:

• Constant Field Values

STA_FUN1

private static final String STA_FUN1

See Also:

• Constant Field Values

Constructor Details

SyntheticAccessorRewriter

public SyntheticAccessorRewriter(DCCommonState state,
 JavaTypeInstance thisClassType)

Method Details

rewrite

public void rewrite(Op04StructuredStatement root)

Specified by:

rewrite in interface Op04Rewriter

rewriteExpression

public Expression rewriteExpression(Expression expression,
 SSAIdentifiers ssaIdentifiers,
 StatementContainer statementContainer,
 ExpressionRewriterFlags flags)

Specified by:

rewriteExpression in interface ExpressionRewriter

Overrides:

rewriteExpression in class AbstractExpressionRewriter

rewriteExpression

public LValue rewriteExpression(LValue lValue,
 SSAIdentifiers ssaIdentifiers,
 StatementContainer statementContainer,
 ExpressionRewriterFlags flags)

Specified by:

rewriteExpression in interface ExpressionRewriter

Overrides:

rewriteExpression in class AbstractExpressionRewriter

rewriteFunctionExpression

private Expression rewriteFunctionExpression(StaticFunctionInvokation functionInvokation)

validRelationship

private static boolean validRelationship(JavaTypeInstance type1,
 JavaTypeInstance type2)

rewriteFunctionExpression2

private Expression rewriteFunctionExpression2(StaticFunctionInvokation functionInvokation)

tryRewriteAccessor

private Expression tryRewriteAccessor(List<StructuredStatement> structuredStatements,
 JavaTypeInstance otherType,
 List<Expression> appliedArgs,
 List<LocalVariable> methodArgs)

tryRewriteFunctionCall

private Expression tryRewriteFunctionCall(List<StructuredStatement> structuredStatements,
 JavaTypeInstance otherType,
 List<Expression> appliedArgs,
 List<LocalVariable> methodArgs)

getCastFriendArg

private Expression getCastFriendArg(JavaTypeInstance otherType,
 LocalVariable methodArg,
 Expression appliedArg)